title: Computability and Non-monotone induction

abstract: Non-monotone inductive definitions were studied in the late 1960's and early 1970's with the aim of understanding connections between the complexity of the formulas defining the induction steps and the size of the ordinals measuring the duration of the inductions. In general, any type 2 functional will generate an inductive process, and in this paper we will view non-monotone induction as a functional of type 3. We investigate the associated computation theory inherited from the Kleene schemes and we investigate the nature of the associated companion of sets with codes computable in non-monotone induction. The interest in this functional is motivated from observing that constructions via non-monotone induction appear as natural in classical analysis in its original form. There are two groups of results: We establish strong closure properties of the least ordinal without a code computable in non-monotone induction, and we provide a characterisation of the class of functionals of type 3 computable from non-monotone induction, a characterisation in terms of sequential operators working in transfinite time. We will also see that the full power of non-monotone induction is required when this principle is used to construct functionals witnessing the compactness of the Cantor space and of closed, bounded intervals.


title: Homology versus homotopy in fibrations and in limits

abstract: Motivated by prominent problems like the Hilali conjecture Yamaguchi--Yokura recently proposed certain estimates on the relations of the dimensions of rational homotopy and rational cohomology groups of fibre, base and total spaces in a fibration of rationally elliptic spaces. In this article we prove these estimates in the category of formal elliptic spaces and, in general, whenever the total space in addition has positive Euler characteristic or has the rational homotopy type of a homogeneous manifold (respectively of a known example) of positive sectional curvature. Additionally, we provide general estimates approximating the conjectured ones. Moreover, we suggest to study families of rationally elliptic spaces under certain asymptotics, and we discuss the conjectured estimates from this perspective for two-stage spaces.


title: Audio Captioning using Gated Recurrent Units

abstract: Audio captioning is a recently proposed task for automatically generating a textual description of a given audio clip. In this study, a novel deep network architecture with audio embeddings is presented to predict audio captions. Within the aim of extracting audio features in addition to log Mel energies, VGGish audio embedding model is used to explore the usability of audio embeddings in the audio captioning task. The proposed architecture encodes audio and text input modalities separately and combines them before the decoding stage. Audio encoding is conducted through Bi-directional Gated Recurrent Unit (BiGRU) while GRU is used for the text encoding phase. Following this, we evaluate our model by means of the newly published audio captioning performance dataset, namely Clotho, to compare the experimental results with the literature. Our experimental results show that the proposed BiGRU-based deep model outperforms the state of the art results.


title: Singularity confinement in delay-differential Painlev\'e equations

abstract: We study singularity confinement phenomena in examples of delay-differential Painlev\'e equations, which involve shifts and derivatives with respect to a single independent variable. We propose a geometric interpretation of our results in terms of mappings between jet spaces, defining certain singularities analogous to those of interest in the singularity analysis of discrete systems, and what it means for them to be confined. For three previously studied examples of delay-differential Painlev\'e equations, we describe all such singularities and show they are confined in the sense of our geometric description.


title: Stokes phenomenon and reflection equations

abstract: In this paper, we study the Stokes phenomenon of the cyclotomic Knizhnik-Zamolodchikov equation, and prove that its two types of Stokes matrices satisfy the Yang-Baxter and reflection equations respectively. We then discuss its isomonodromy deformation, and its relations with cyclotomic associators, twists, and quantum symmetric pairs.


title: Detection of prostate cancer in whole-slide images through end-to-end training with image-level labels

abstract: Prostate cancer is the most prevalent cancer among men in Western countries, with 1.1 million new diagnoses every year. The gold standard for the diagnosis of prostate cancer is a pathologists' evaluation of prostate tissue. To potentially assist pathologists deep-learning-based cancer detection systems have been developed. Many of the state-of-the-art models are patch-based convolutional neural networks, as the use of entire scanned slides is hampered by memory limitations on accelerator cards. Patch-based systems typically require detailed, pixel-level annotations for effective training. However, such annotations are seldom readily available, in contrast to the clinical reports of pathologists, which contain slide-level labels. As such, developing algorithms which do not require manual pixel-wise annotations, but can learn using only the clinical report would be a significant advancement for the field. In this paper, we propose to use a streaming implementation of convolutional layers, to train a modern CNN (ResNet-34) with 21 million parameters end-to-end on 4712 prostate biopsies. The method enables the use of entire biopsy images at high-resolution directly by reducing the GPU memory requirements by 2.4 TB. We show that modern CNNs, trained using our streaming approach, can extract meaningful features from high-resolution images without additional heuristics, reaching similar performance as state-of-the-art patch-based and multiple-instance learning methods. By circumventing the need for manual annotations, this approach can function as a blueprint for other tasks in histopathological diagnosis. The source code to reproduce the streaming models is available at https://github.com/DIAGNijmegen/pathology-streaming-pipeline .


title: The MESS of the CMB

abstract: We analyze cosmic microwave background (CMB) data taking into account the effects of a momentum dependent effective sound speed (MESS). This approach allows to study the effects of primordial entropy in a model independent way, and its implementation requires a minimal modification of existing CMB fitting numerical codes developed for single scalar field models. We adopt a phenomenological approach, and study the effects a local variation of the MESS around the scale where other analysis have shown some deviation from an approximately scale invariant curvature perturbation spectrum. We obtain a substantial improvement of the fit with respect to a model without MESS, showing that primordial entropy modeled by MESS can be an explanation of these deviations.


title: Classical spin liquid or extended critical range in h-YMnO$_3$?

abstract: Inelastic neutron experiments on the classical triangular-lattice geometrically frustrated antiferromagnet h-YMnO$_3$ reveal diffuse, gapless magnetic excitations present both below and far above the ordering temperature, $T_N$. The correlation length of the excitations increases as the temperature approaches zero, bearing strong resemblance to critical scattering. We model the scattering as critical spin-spin correlations in a two-dimensional magnetic ground state, and we speculate that this may provide a general framework to understand features typically attributed to classical spin liquids.


title: xAct Implementation of the Theory of Cosmological Perturbation in Bianchi I Spacetimes

abstract: This paper presents a computational algorithm to derive the theory of linear gauge invariant perturbations on anisotropic cosmological spacetimes of the Bianchi I type. Our code is based on the tensor algebra packages xTensor and xPert, within the computational infrastructure of xAct written in Mathematica. The algorithm is based on a Hamiltonian, or phase space formulation, and it provides an efficient and transparent way of isolating the gauge invariant degrees of freedom in the perturbation fields and to obtain the Hamiltonian generating their dynamics. The restriction to Friedmann--Lema\^itre--Robertson--Walker spacetimes is straightforward.


title: All-Linear Multistate Magnetic Switching Induced by Electrical Current

abstract: We present an alternative mechanism to control the domain wall motion, whose directions are manipulated by the amplitude of electrical currents when modulating the ratio of D/A (constants of Dzyaloshinskii-Moriya interaction over exchange interaction). To confirm this mechanism, we observe this type of domain wall motion and demonstrate linear magnetic switching without hysteresis effect via adjusting the D/A of Ta/Pt/Co/Ta multilayer device with ion implantations. We further find field-free biased and chirally controllable multistate switching at the lateral interface of ion exposed and unexposed area, which is due to the current induced Neel wall motion and a strong exchange coupling at this interface.


title: Single-machine scheduling with an external resource

abstract: This paper studies the complexity of single-machine scheduling with an external resource, which is rented for a non-interrupted period. Jobs that need this external resource are executed only when the external resource is available. There is a cost associated with the scheduling of jobs and a cost associated with the duration of the renting period of the external resource. We look at four classes of problems with an external resource: a class of problems where the renting period is budgeted and the scheduling cost needs to be minimized, a class of problems where the scheduling cost is budgeted and the renting period needs to be minimized, a class of two-objective problems where both, the renting period and the scheduling cost, are to be minimized, and a class of problems where a linear combination of the scheduling cost and the renting period is minimized. We provide a thorough complexity analysis (NP-hardness proofs and (pseudo-)polynomial algorithms) for different members of these four classes.


title: Controlling the nonlinear relaxation of quantized propagating magnons in nanodevices

abstract: Relaxation of linear magnetization dynamics is well described by the viscous Gilbert damping processes. However, for strong excitations, nonlinear damping processes such as the decay via magnon-magnon interactions emerge and trigger additional relaxation channels. Here, we use space- and time-resolved microfocused Brillouin light scattering spectroscopy and micromagnetic simulations to investigate the nonlinear relaxation of strongly driven propagating spin waves in yttrium iron garnet nanoconduits. We show that the nonlinear magnon relaxation in this highly quantized system possesses intermodal features, i.e., magnons scatter to higher-order quantized modes through a cascade of scattering events. We further show how to control such intermodal dissipation processes by quantization of the magnon band in single-mode devices, where this phenomenon approaches its fundamental limit. Our study extends the knowledge about nonlinear propagating spin waves in nanostructures which is essential for the construction of advanced spin-wave elements as well as the realization of Bose-Einstein condensates in scaled systems.


title: A symmetric Bloch-Okounkov theorem

abstract: The algebra of so-called shifted symmetric functions on partitions has the property that for all elements a certain generating series, called the $q$-bracket, is a quasimodular form. More generally, if a graded algebra $A$ of functions on partitions has the property that the $q$-bracket of every element is a quasimodular form of the same weight, we call $A$ a quasimodular algebra. We introduce a new quasimodular algebra consisting of symmetric polynomials in the part sizes and multiplicities.


title: The activity of native vacuolar proton-ATPase in an oscillating electric field -- demystifying an apparent effect of music on a biomolecule

abstract: The effect of an oscillating electric field generated from music on yeast vacuolar proton-ATPase (V-ATPase) activity in its native environment is reported. An oscillating electric field is generated by electrodes that are immersed into a dispersion of yeast vacuolar membrane vesicles natively hosting a high concentration of active V-ATPase. The substantial difference in the ATP hydrolysing activity of V-ATPase under the most stimulating and inhibiting music is unprecedented. Since the topic, i.e. an effect of music on biomolecules, is very attractive for non-scientific, esoteric mystification, we provide a rational explanation for the observed new phenomenon. Good correlation is found between changes in the specific activity of the enzyme and the combined intensity of certain frequency bands of the Fourier spectra of the music clips. Most prominent identified frequencies are harmonically related to each other and to the estimated rotation rate of the enzyme. These results lead to the conclusion that the oscillating electric field interferes with periodic trans-membrane charge motions in the working enzyme.


title: Generation of Complex Road Networks Using a Simplified Logical Description for the Validation of Automated Vehicles

abstract: Simulation is a valuable building block for the verification and validation of automated driving functions (ADF). When simulating urban driving scenarios, simulation maps are one important component. Often, the generation of those road networks is a time consuming and manual effort. Furthermore, typically many variations of a distinct junction or road section are demanded to ensure that an ADF can be validated in the process of releasing those functions to the public. Therefore, in this paper, we present a prototypical solution for a logical road network description which is easy to maintain and modify. The concept aims to be non-redundant so that changes of distinct quantities do not affect other places in the code and thus the variation of maps is straightforward. In addition, the simple definition of junctions is a focus of the work. Intersecting roads are defined separately, are then set in relation and the junction is finally generated automatically. The idea is to derive the description from a commonly used, standardized format for simulation maps in order to generate this format from the introduced logical description. Consequently, we developed a command-line tool that generates the standardized simulation map format OpenDRIVE.


title: Joint performance analysis of ages of information in a multi-source pushout server

abstract: Age of information (AoI) has been widely accepted as a measure quantifying freshness of status information in real-time status update systems. In many of such systems, multiple sources share a limited network resource and therefore the AoIs defined for the individual sources should be correlated with each other. However, there are not found any results studying the correlation of two or more AoIs in a status update system with multiple sources. In this work, we consider a multi-source system sharing a common service facility and provide a framework to investigate joint performance of the multiple AoIs. We then apply our framework to a simple pushout server with multiple sources and derive a closed-form formula of the joint Laplace transform of the AoIs in the case with independent M/G inputs. We further show some properties of the correlation coefficient of AoIs in the two-source system.


title: Experimental setups for XPS measurements beyond the instrumental lateral resolution limit

abstract: The lateral resolution of an X-ray photoelectron spectroscopy instrument, which is equipped with a focused X-ray beam, is limited by the nominal X-ray beam diameter and the long tail intensity distri-bution of the X-ray beam. The long tail intensity distribution of the X-ray beam impedes to perform a measurement with good lateral resolution and low detection limits at the same time. Two experimental setups are described which allow examining sample structures that are smaller than the X-ray beam dimensions. The first method uses differential sample charging on partly non-conductive samples by low energy electron flooding. The spectra of the non-conductive sample areas are shifted towards lower binding energy. That way, the surface compositions of conductive and non-conductive sample areas are estimated independently. The second method utilizes the rather limited dimensions of the energy analyser acceptance volume. Here only the sample is placed inside the energy analyser acceptance volume. That way, signals from the illuminated sample contribute exclusively to the measured photoelectrons intensity, independent form the sample size.


title: The method of averaging for the Kapitza-Whitney pendulum

abstract: A generalization of the classical Kapitza pendulum is considered: an inverted planar mathematical pendulum with a vertically vibrating pivot point in a time-periodic horizontal force field. We study the existence of forced oscillations in the system. It is shown that there always exists a periodic solution along which the rod of the pendulum never becomes horizontal, i.e. the pendulum never falls, provided the period of vibration and the period of horizontal force are commensurable. We also present a sufficient condition for the existence of at least two different periodic solutions without falling. We show numerically that there exist stable periodic solutions without falling.


title: A Demonstration of Quantum Key Distribution with Entangled Photons for the Undergraduate Laboratory

abstract: Now that fundamental quantum principles of indeterminacy and measurement have become the basis of new technologies that provide secrecy between two communicating parties, there is a need to provide teaching laboratories that illustrate how these technologies work. In this article we describe a laboratory exercise in which students perform quantum key distribution with single photons, and see how the secrecy of the communication is ensured by the principles of quantum superposition and state projection. We used a table-top apparatus, similar to those used in correlated-photon undergraduate laboratories, to implement the Bennett-Brassard-84 protocol with polarization-entangled photons. Our experiment shows how the communication between two parties is disrupted by an eavesdropper. We use a simple quartz plate to mimic how an eavesdropper intercepts, measures, and resends the photons used in the communication, and we analyze the state of the light to show how the eavesdropper changes it.


title: Strongly correlated states of light in chiral chains of three-level quantum emitters

abstract: We study the correlated transport of photons through a chain of three-level emitters that are coupled chirally to a photonic mode of a waveguide. It is found that this system can transfer a classical input into a strongly correlated state of light in a unitary manner, i.e. without the necessity of nonlinear photon losses. In particular, we shows that the collective interaction with the emitter ensemble leads to the emergence of highly antibunched light with long-range correlations upon crossing a critical length of the chain. By operating close to conditions of electromagnetically induced transparency of the three-level medium, the high degree of antibunching and photon transmission can be maintained in the presence of moderate losses. These features, combined with the robustness against number fluctuations, suggest a promising mechanism for single-photon generation and may open the door to exploring correlated quantum many-body states of light.


title: Galerkin finite element methods for the numerical solution of two classical-Boussinesq type systems over variable bottom topography

abstract: We consider two `Classical' Boussinesq type systems modelling two-way propagation of long surface waves in a finite channel with variable bottom topography. Both systems are derived from the 1-d Serre-Green-Naghdi (SGN) system; one of them is valid for stronger bottom variations, and coincides with Peregrine's system, and the other is valid for smaller bottom variations. We discretize in the spatial variable simple initial-boundary-value problems (ibvp's) for both systems using standard Galerkin-finite element methods and prove $L^2$ error estimates for the ensuing semidiscrete approximations. We couple the schemes with the 4th order-accurate, explicit, classical Runge-Kutta time-stepping procedure and use the resulting fully discrete methods in numerical simulations of dispersive wave propagation over variable bottoms with several kinds of boundary conditions, including absorbing ones. We describe in detail the changes that solitary waves undergo when evolving under each system over a variety of variable-bottom environments. We assess the efficacy of both systems in approximating these flows by comparing the results of their simulations with each other, with simulations of the SGN-system, and with available experimental data from the literature.


title: Laser-induced Electron-Transfer in the Dissociative Multiple Ionization of Argon Dimers

abstract: We report on an experimental and theoretical study of the ionization-fragmentation dynamics of argon dimers in intense few-cycle laser pulses with a tagged carrier-envelope phase. We find that a field-driven electron transfer process from one argon atom across the system boundary to the other argon atom triggers sub-cycle electron-electron interaction dynamics in the neighboring atom. This attosecond electron-transfer process between distant entities and its implications manifest themselves as a distinct phase-shift between the measured asymmetry of electron emission curves of the $\text{Ar}^{+}+\text{Ar}^{2+}$ and $\text{Ar}^{2+}+\text{Ar}^{2+}$ fragmentation channels. Our work discloses a strong-field route to controlling the dynamics in molecular compounds through the excitation of electronic dynamics on a distant molecule by driving inter-molecular electron-transfer processes.


title: Contextual RNN-T For Open Domain ASR

abstract: End-to-end (E2E) systems for automatic speech recognition (ASR), such as RNN Transducer (RNN-T) and Listen-Attend-Spell (LAS) blend the individual components of a traditional hybrid ASR system - acoustic model, language model, pronunciation model - into a single neural network. While this has some nice advantages, it limits the system to be trained using only paired audio and text. Because of this, E2E models tend to have difficulties with correctly recognizing rare words that are not frequently seen during training, such as entity names. In this paper, we propose modifications to the RNN-T model that allow the model to utilize additional metadata text with the objective of improving performance on these named entity words. We evaluate our approach on an in-house dataset sampled from de-identified public social media videos, which represent an open domain ASR task. By using an attention model and a biasing model to leverage the contextual metadata that accompanies a video, we observe a relative improvement of about 16% in Word Error Rate on Named Entities (WER-NE) for videos with related metadata.


title: A measurement of the Hubble constant from Type II supernovae

abstract: Progressive increases in the precision of the Hubble-constant measurement via Cepheid-calibrated Type Ia supernovae (SNe Ia) have shown a discrepancy of $\sim 4.4\sigma$ with the current value inferred from Planck satellite measurements of the cosmic microwave background radiation and the standard $\Lambda$CDM cosmological model. This disagreement does not appear to be due to known systematic errors and may therefore be hinting at new fundamental physics. Although all of the current techniques have their own merits, further improvement in constraining the Hubble constant requires the development of as many independent methods as possible. In this work, we use SNe II as standardisable candles to obtain an independent measurement of the Hubble constant. Using 7 SNe II with host-galaxy distances measured from Cepheid variables or the tip of the red giant branch, we derive H$_0= 75.8^{+5.2}_{-4.9}$ km s$^{-1}$ Mpc$^{-1}$ (statistical errors only). Our value favours that obtained from the conventional distance ladder (Cepheids + SNe Ia) and exhibits a difference of 8.4 km s$^{-1}$ Mpc$^{-1}$ from the Planck $+\Lambda$CDM value. Adding an estimate of the systematic errors (2.8 km s$^{-1}$ Mpc$^{-1}$) changes the $\sim 1.7\sigma$ discrepancy with Planck $+\Lambda$CDM to $\sim 1.4\sigma$. Including the systematic errors and performing a bootstrap simulation, we confirm that the local H$_0$ value exceeds the value from the early Universe with a confidence level of 95%. As in this work we only exchange SNe II for SNe Ia to measure extragalactic distances, we demonstrate that there is no evidence that SNe Ia are the source of the H$_0$ tension.


title: Accelerating Copolymer Inverse Design using AI Gaming algorithm

abstract: There exists a broad class of sequencing problems, for example, in proteins and polymers that can be formulated as a heuristic search algorithm that involve decision making akin to a computer game. AI gaming algorithms such as Monte Carlo tree search (MCTS) gained prominence after their exemplary performance in the computer Go game and are decision trees aimed at identifying the path (moves) that should be taken by the policy to reach the final winning or optimal solution. Major challenges in inverse sequencing problems are that the materials search space is extremely vast and property evaluation for each sequence is computationally demanding. Reaching an optimal solution by minimizing the total number of evaluations in a given design cycle is therefore highly desirable. We demonstrate that one can adopt this approach for solving the sequencing problem by developing and growing a decision tree, where each node in the tree is a candidate sequence whose fitness is directly evaluated by molecular simulations. We interface MCTS with MD simulations and use a representative example of designing a copolymer compatibilizer, where the goal is to identify sequence specific copolymers that lead to zero interfacial energy between two immiscible homopolymers. We apply the MCTS algorithm to polymer chain lengths varying from 10-mer to 30-mer, wherein the overall search space varies from 210 (1024) to 230 (~1 billion). In each case, we identify a target sequence that leads to zero interfacial energy within a few hundred evaluations demonstrating the scalability and efficiency of MCTS in exploring practical materials design problems with exceedingly vast chemical/material search space. Our MCTS-MD framework can be easily extended to several other polymer and protein inverse design problems, in particular, for cases where sequence-property data is either unavailable and/or is resource intensive.


title: Extreme Points and Factorizability for New Classes of Unital Quantum Channels

abstract: We introduce and study two new classes of unital quantum channels. The first class describes a 2-parameter family of channels given by completely positive (CP) maps $M_3({\bf C}) \mapsto M_3({\bf C})$ which are both unital and trace-preserving. Almost every member of this family is factorizable and extreme in the set of CP maps which are both unital and trace-preserving, but is not extreme in either the set of unital CP maps or the set of trace-preserving CP maps. We also study a large class of maps which generalize the Werner-Holevo channel for $d = 3$ in the sense that they are defined in terms of partial isometries of rank $d-1$. Moreover, we extend this to maps whose Kraus operators have the form $t |e_j \rangle \langle e_j | \oplus V $ with $V \in M_{d-1} ({\bf C}) $ unitary and $t \in (-1,1)$. We show that almost every map in this class is extreme in both the set of unital CP maps and the set of trace-preserving CP maps. We analyze in detail a particularly interesting subclass which is extreme unless $t = -1/(d-1)$. For $d = 3$, this includes a pair of channels which have a dual factorization in the sense that they can be obtained by taking the partial trace over different subspaces after using the same unitary conjugation in $M_3({\bf C}) \otimes M_3({\bf C})$.


title: Advection kinetics induced self assembly of colloidal nanoflakes into microscale floral structures

abstract: This article explores the governing role of the internal hydrodynamics and advective transport within sessile colloidal droplets on the self assembly of nanostructures to form floral patterns. Water acetone binary fluid and Bi2O3 nanoflakes based complex fluids are experimented with. Microliter sessile droplets are allowed to vaporize and the dry out patterns are examined using scanning electron microscopy. The presence of distributed self assembled rose like structures is observed. The population density, structure and shape of the floral structures are noted to be dependent on the binary fluid composition and nanomaterial concentration. Detailed microscopic particle image velocimetry analysis is undertaken to qualitatively and quantitatively describe the solutal Marangoni advection within the evaporating droplets. It has been shown that the kinetics, regime and location of the internal advection are responsible factors towards the hydrodynamics influenced clustering, aggregation and self-assembly of the nanoflakes. In addition, the size of the nanostructures and the complex fluids.


title: Entropy-Regularized $2$-Wasserstein Distance between Gaussian Measures

abstract: Gaussian distributions are plentiful in applications dealing in uncertainty quantification and diffusivity. They furthermore stand as important special cases for frameworks providing geometries for probability measures, as the resulting geometry on Gaussians is often expressible in closed-form under the frameworks. In this work, we study the Gaussian geometry under the entropy-regularized 2-Wasserstein distance, by providing closed-form solutions for the distance and interpolations between elements. Furthermore, we provide a fixed-point characterization of a population barycenter when restricted to the manifold of Gaussians, which allows computations through the fixed-point iteration algorithm. As a consequence, the results yield closed-form expressions for the 2-Sinkhorn divergence. As the geometries change by varying the regularization magnitude, we study the limiting cases of vanishing and infinite magnitudes, reconfirming well-known results on the limits of the Sinkhorn divergence. Finally, we illustrate the resulting geometries with a numerical study.


title: Non-linear homomorphisms of algebras of functions are induced by thick morphisms

abstract: In 2014, Voronov introduced the notion of thick morphisms of (super)manifolds as a tool for constructing $L_{\infty}$-morphisms of homotopy Poisson algebras. Thick morphisms generalise ordinary smooth maps, but are not maps themselves. Nevertheless, they induce pull-backs on $C^{\infty}$ functions. These pull-backs are in general non-linear maps between the algebras of functions which are so-called 'non-linear homomorphisms'. By definition, this means that their differentials are algebra homomorphisms in the usual sense. The following conjecture was formulated: an arbitrary non-linear homomorphism of algebras of smooth functions is generated by some thick morphism. We prove here this conjecture in the class of formal functionals. In this way, we extend the well-known result for smooth maps of manifolds and algebra homomorphisms of $C^{\infty}$ functions and, more generally, provide an analog of classical 'functional-algebraic duality' in the non-linear setting.


title: Some Remarks on Hausdorff Measurability of Lipschitz Images in Metric Spaces

abstract: In this short note, we show that, in any given metric space, every Lipschitz open-map image of every subset of a given metric space whose boundary is Hausdorff-null is Hausdorff-measurable with respect to the same dimension. The main results are connected with a number of familiar concepts in other branches such as complex analysis, functional analysis, and topology.


title: Completeness in quasi-pseudometric spaces

abstract: The aim of this paper is to discus the relations between various notions of sequential completeness and the corresponding notions of completeness by nets or by filters in the setting of quasi-metric spaces. We propose a new definition of right $K$-Cauchy net in a quasi-metric space for which the corresponding completeness is equivalent to the sequential completeness. In this way we complete some results of R.~A. Stoltenberg, Proc. London Math. Soc. \textbf{17} (1967), 226--240, and V.~Gregori and J.~Ferrer, Proc. Lond. Math. Soc., III Ser., \textbf{49} (1984), 36.


title: Is there a wave excitation in the Thalamus?

abstract: This paper proposes that the thalamus is the site of a wave excitation, whose function is to represent the locations of things around the animal. Neurons couple to the wave as transmitters and receivers. The wave acts as an analogue representation of local space. This has benefits over a purely neural representation of space. Several lines of evidence support this hypothesis; both theoretical, concerning efficient Bayesian inference in the brain, and empirical, concerning the neuro-anatomy of the thalamus. Across all species, the most basic function of the brain is to coordinate movements in space. To represent positions in space only by neural firing rates would be complex and inefficient. It is possible that that the brain represents 3D space in a direct and natural way, by a 3D wave


title: Space and time via Topological and Tense cylindric algebras

abstract: Let $\alpha$ be an arbritary ordinal, and $2<n<\omega$. In \cite{3} accepted for publication in Quaestiones Mathematicae, we studied using algebraic logic, interpolation, amalgamation using $\alpha$ many variables for topological logic with $\alpha$ many variables briefly $\sf TopL_{\alpha}$. This is a sequel to \cite{3}; the second part on modal cylindric algebras, where we study algebraically other properties of $\sf TopL_{\alpha}$. Modal cylindric algebras are cylindric algebras of infinite dimension expanded with unary modalities inheriting their semantics from a unimodal logic $\sf L$ such as $\sf K5$ or $\sf S4$. Using the methodology of algebraic logic, we study topological (when $\sf L=S4$), in symbols $\sf TCA_{\alpha}$. We study completeness and omitting types $\sf OTT$s for $\sf TopL_{\omega}$ and $\sf TenL_{\omega}$, by proving several representability results for locally finite such algebras. Furthermore, we study the notion of atom-canonicity for both ${\sf TCA}_{n}$ and ${\sf TenL}_n$, a well known persistence property in modal logic, in connection to $\sf OTT$ for ${\sf TopL}_n$ and ${\sf TeLCA}_n$, respectively. We study representability, omitting types, interpolation and complexity isssues (such as undecidability) for topological cylindric algebras. In a sequel to this paper, we introduce temporal cyindric algebras and point out the way how to amalgamate algebras of space (topological algebars) and algebras of time (temporal algebras) forming topological-temporal cylindric algebras that lend themselves to encompassing spacetime gemetries, in a purely algebraic manner.


title: Absence of superconducting dome at the charge-density-wave quantum phase transition in 2H-NbSe2

abstract: Superconductivity is often found in a dome around quantum critical points, i.e. 2nd-order quantum phase transitions. Here, we show that an enhancement of superconductivity is avoided at the critical pressure of the charge-density-wave (CDW) state in NbSe$_2$. We present comprehensive high-pressure Hall effect and magnetic susceptibility measurements of the CDW and superconducting state in NbSe$_2$. Initially, the 2nd-order CDW transition is suppressed smoothly but it drops to zero abruptly at PCDW = 4.4 GPa thus indicating a change to 1st order whilstthe superconducting transition temperature Tc rises continuously up to PCDW but is constant above. The putative 1st-order nature of the CDW transition is suggested as the cause for the absence of a superconducting dome at PCDW. Indeed, we show that the suppression of the superconducting state at low pressures is due to the loss of density of states inside the CDW phase whilst the initial suppression of the CDW state is accounted for by the stiffening of the underlying bare phonon mode.


title: Generation of Differentially Private Heterogeneous Electronic Health Records

abstract: Electronic Health Records (EHRs) are commonly used by the machine learning community for research on problems specifically related to health care and medicine. EHRs have the advantages that they can be easily distributed and contain many features useful for e.g. classification problems. What makes EHR data sets different from typical machine learning data sets is that they are often very sparse, due to their high dimensionality, and often contain heterogeneous (mixed) data types. Furthermore, the data sets deal with sensitive information, which limits the distribution of any models learned using them, due to privacy concerns. For these reasons, using EHR data in practice presents a real challenge. In this work, we explore using Generative Adversarial Networks to generate synthetic, heterogeneous EHRs with the goal of using these synthetic records in place of existing data sets for downstream classification tasks. We will further explore applying differential privacy (DP) preserving optimization in order to produce DP synthetic EHR data sets, which provide rigorous privacy guarantees, and are therefore shareable and usable in the real world. The performance (measured by AUROC, AUPRC and accuracy) of our model's synthetic, heterogeneous data is very close to the original data set (within 3 - 5% of the baseline) for the non-DP model when tested in a binary classification task. Using strong $(1, 10^{-5})$ DP, our model still produces data useful for machine learning tasks, albeit incurring a roughly 17% performance penalty in our tested classification task. We additionally perform a sub-population analysis and find that our model does not introduce any bias into the synthetic EHR data compared to the baseline in either male/female populations, or the 0-18, 19-50 and 51+ age groups in terms of classification performance for either the non-DP or DP variant.


title: Compact, charged boson-stars, -shells in the $\mathbb{C}P^N$ gravitating nonlinear sigma model

abstract: We study $U(1)$ gauged gravitating compact $Q$-ball, $Q$-shell solutions in a nonlinear sigma model with the target space $\mathbb{C}P^N$. The models with odd integer $N$ and a special potential can be parameterized by $N$-th complex scalar fields and they support compact solutions. Implementing the $U(1)$ gauge field in the model, the behavior of the solutions become complicated than the global model. Especially, they exhibit branch, i.e., two independent solutions with same shooting parameter. The energy of the solutions in the first branch behaves as $E\sim Q^{5/6}$ for small $Q$, where $Q$ stands for the $U(1)$ Noether charge. For the large $Q$, it gradually deviates from the scaling $E\sim Q^{5/6}$ and, for the $Q$-shells it is $E\sim Q^{7/6}$, which forms the second branch. A coupling with gravity allows for harboring of the Schwarzschild black holes for the $Q$-shell solutions, forming the charged boson shells. The space-time then consist of a charged black hole in the interior of the shell, surrounded by a $Q$-shell, and the outside becomes a Reissner-Nordstr\"om space-time. These solutions inherit the scaling behavior of the flat space-time.


title: Imitation of spin density wave order in Cu$_3$Nb$_2$O$_8$

abstract: Spin density waves, based on modulated local moments, are usually associated with metallic materials, but have recently been reported in insulators which display coupled magnetic and structural order parameters. We discuss one such example, the multiferroic Cu$_3$Nb$_2$O$_8$, which is reported to undergo two magnetic phase transitions, first to a spin density wave phase at $T_N \approx 26.5K$, and then to a helicoidal structure coupled to an electric polarization below $T_2 \approx 24K$ [R. D. Johnson, et al., Phys. Rev. Lett., 107, 137205 (2011)] which breaks the crystallographic inversion symmetry. We apply spherical polarimetry to confirm the low-temperature magnetic structure, yet only observe a single magnetic phase transition to helicoidal order. We argue that the reported spin density wave originates from a decoupling of the components of the magnetic order parameter, as allowed by symmetry and driven by thermal fluctuations. This provides a mechanism for the magnetic, but not nuclear, structure to break inversion symmetry thereby creating an intermediate phase where the structure imitates a spin density wave. As the temperature is reduced, this intermediate structure destabilizes the crystal such that a structural chirality is induced, as reflected by the emergence of the electric polarization, and the imitation spin density wave relaxes into a generic helicoid. This provides a situation where the magnetic structure breaks inversion symmetry while the crystal structure remains centrosymmetric.


title: A kinematic analysis of the CO clouds toward a reflection nebula NGC 2023 observed with the Nobeyama 45 m telescope; Further evidence for a cloud-cloud collision in the Orion region

abstract: We have analyzed new CO($J$ = 1-0) data in the region of a reflection nebula NGC 2023 with a particular focus on the detailed kinematical properties of the molecular gas. The results show that there are two velocity components which indicate signatures of dynamical interaction revealed at a high resolution of 19$''$ (= 0.04 pc). Based on the results we propose a hypothesis that two clouds collided with each other and triggered the formation of the B1.5 star HD 37903 in addition to 20 lower mass stars in two small clusters with a size of 2 pc. Although the previous study favored a scheme of triggering by the HII region (e.g., Mookerjea et al. 2009), the present results show that the effect of the HII region is limited only to the surface of the molecular cloud, and does not contribute to the gas compression and star formation. The present results lend support for the dominant role of cloud-cloud collision in forming high mass stars in addition to $\sim$20 lower mass stars, which are also likely formed by the collision. The present case suggests all the high mass stars in the Orion region are formed by cloud-cloud collision.


title: Learning Neural Light Transport

abstract: In recent years, deep generative models have gained significance due to their ability to synthesize natural-looking images with applications ranging from virtual reality to data augmentation for training computer vision models. While existing models are able to faithfully learn the image distribution of the training set, they often lack controllability as they operate in 2D pixel space and do not model the physical image formation process. In this work, we investigate the importance of 3D reasoning for photorealistic rendering. We present an approach for learning light transport in static and dynamic 3D scenes using a neural network with the goal of predicting photorealistic images. In contrast to existing approaches that operate in the 2D image domain, our approach reasons in both 3D and 2D space, thus enabling global illumination effects and manipulation of 3D scene geometry. Experimentally, we find that our model is able to produce photorealistic renderings of static and dynamic scenes. Moreover, it compares favorably to baselines which combine path tracing and image denoising at the same computational budget.


title: Universal Pieces of Holographic Entanglement Entropy and Holographic Subregion Complexity

abstract: We propose that the definition of holographic subregion complexity (HSC) needs a slight modification for supergravity solutions with warped anti-de Sitter (AdS) factors. Such warp factors can arise due to the nontrivial dilaton profile, for example, in $AdS_6$ solutions of type IIA supergravity. This modified definition ensures that the universal piece of the HSC is proportional to that of the holographic entanglement entropy, as is the case for supergravity solutions without warp factors. This also means that the leading behaviour at large $N$ is the same for both these quantities, as we show for some well-known supergravity solutions (with and without warp factors) in various dimensions. We also show that this relation between the universal pieces suggests "universal" relations between field theoretical analogue of HSC and the sphere partition function or Weyl $a$-anomaly in odd or even dimensions, respectively.


title: Acoustic Anomaly Detection for Machine Sounds based on Image Transfer Learning

abstract: In industrial applications, the early detection of malfunctioning factory machinery is crucial. In this paper, we consider acoustic malfunction detection via transfer learning. Contrary to the majority of current approaches which are based on deep autoencoders, we propose to extract features using neural networks that were pretrained on the task of image classification. We then use these features to train a variety of anomaly detection models and show that this improves results compared to convolutional autoencoders in recordings of four different factory machines in noisy environments. Moreover, we find that features extracted from ResNet based networks yield better results than those from AlexNet and Squeezenet. In our setting, Gaussian Mixture Models and One-Class Support Vector Machines achieve the best anomaly detection performance.


title: On the representation of linear functionals on hyper-ideals of multilinear operators

abstract: A standard technique in infinite dimensional holomorphy, which produced several useful results, uses the Borel transform to represent linear functionals on certain spaces of multilinear operators between Banach spaces as multilinear operators. In this paper we develop a technique to represent linear functionals, as linear operators, on spaces of multilinear operators that are beyond the scope of the standard technique. Concrete applications to some well studied classes of multilinear operators, including the class of compact multilinear operators, and to one new class are provided. We can see, in particular, that sometimes our representations hold under conditions less restrictive than those of the related classical ones.


title: No Miracle in Gravity Portals

abstract: The idea of dark matter particles coupled only gravitationally is minimalist yet viable. Assuming an additional $Z_2$-breaking linear coupling of scalar curvature to the dark matter scalar (gravity portal) Refs. arXiv:1603.03696 and arXiv:1611.00725 claimed a strong parametric growth of the dark matter particle decay rate with its mass, which implies pronounced phenomenological signatures for the model. This peculiarity was attributed by the authors to the enhancement due to the presence of longitudinal gauge bosons in the final state. Quite unfortunately there were overlooked cancellations in the tree-level amplitudes. There is no miracle: all perturbative decay rates are suppressed by the strong coupling scale.


title: Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform

abstract: In this paper we show that inference in 2-variable Markov logic networks (MLNs) with cardinality and function constraints is domain-liftable. To obtain this result we use existing domain-lifted algorithms for weighted first-order model counting (Van den Broeck et al, KR 2014) together with discrete Fourier transform of certain distributions associated to MLNs.


title: The speed of a biased random walk on a Galton-Watson tree is analytic

abstract: We prove that the speed of a biased random walk on a supercritical Galton-Watson tree conditioned to survive is analytic within the ballistic regime. This extends the previous work arXiv:1906.07913 in which it was shown that the speed is differentiable within the range of bias for which a central limit theorem holds.


title: Artificial Intelligence-based Clinical Decision Support for COVID-19 -- Where Art Thou?

abstract: The COVID-19 crisis has brought about new clinical questions, new workflows, and accelerated distributed healthcare needs. While artificial intelligence (AI)-based clinical decision support seemed to have matured, the application of AI-based tools for COVID-19 has been limited to date. In this perspective piece, we identify opportunities and requirements for AI-based clinical decision support systems and highlight challenges that impact "AI readiness" for rapidly emergent healthcare challenges.


title: Extracting the multimodal fingerprint of urban transportation networks

abstract: Urban mobility increasingly relies on multimodality, combining the use of bicycle paths, streets, and rail networks. These different modes of transportation are well described by multiplex networks. Here we propose the overlap census method which extracts a multimodal profile from a city's multiplex transportation network. We apply this method to 15 cities, identify clusters of cities with similar profiles, and link this feature to the level of sustainable mobility of each cluster. Our work highlights the importance of evaluating all the transportation systems of a city together to adequately identify and compare its potential for sustainable, multimodal mobility.


title: Effect of Oxygen Saturation on AFM-WFM-HTSC Transition Temperatures in RuSr2(Eu1.5Ce0.5)Cu2O10-{\delta} Ceramic Samples

abstract: The effect of annealing in high pressure oxygen atmosphere on superconducting transition temperatures for ceramic samples of magnetic superconductor europium based 1222 ruthenocuprate was studied. It was shown that the properties of the samples are consistent with the behavior of granular superconducting system. As a result of oxygen saturation the superconducting transition temperatures become higher. Particularly, the shift of superconducting transition temperature for the intergranular medium is 9.2 K and for the matter within the granules 6.8 K. This difference is supposed due to the mechanism of oxygen diffusion along the grain boundaries. In the temperature range between 135 K and 350 K the behavior of resistance obeyed the Mott law of variable range hopping for three dimensional case.


title: A Gradient-thresholding Algorithm for Sparse Regularization

abstract: Inverse problems arise in a wide spectrum of applications in fields ranging from engineering to scientific computation. Connected with the rise of interest in inverse problems is the development and analysis of regularization methods, such as Tikhonov-type regularization methods or iterative regularization methods, which are a necessity in most of the inverse problems. In the last few decades, regularization methods motivating sparsity has been the focus of research, due to the high dimensionalty of the real-life data, and $\mathcal{L}^1$-regularization methods (such as LASSO or FISTA) has been in its center (due to their computational simplicity). In this paper we propose a new (semi-) iterative regularization method which is not only simpler than the mentioned algorithms but also yields better results, in terms of accuracy and sparsity of the recovered solution. Furthermore, we also present a very effective and practical stopping criterion to choose an appropriate regularization parameter (here, it's iteration index) so as to recover a regularized (sparse) solution. To illustrate the computational efficiency of this algorithm we apply it to numerically solve the image deblurring problem and compare our results with certain standard regularization methods, like total variation, FISTA, LSQR etc.


title: Evolutionary Matrix-Game Dynamics Under Imitation in Heterogeneous Populations

abstract: Decision-making individuals often imitate their highest-earning fellows rather than optimize their own utilities, due to bounded rationality and incomplete information. Perpetual fluctuations between decisions have been reported as the dominant asymptotic outcome of imitative behaviors, yet little attempt has been made to characterize them, particularly in heterogeneous populations. We study a finite well-mixed heterogeneous population of individuals choosing between the two strategies, cooperation and defection, and earning based on their payoff matrices that can be unique to each individual. At each time step, an arbitrary individual becomes active to update her decision by imitating the highest earner in the population. We show that almost surely the dynamics reach either an equilibrium state or a minimal positively invariant set, a fluctuation set, in the long run. In addition to finding all equilibria, for the first time, we characterize the fluctuation sets, provide necessary and sufficient conditions for their existence, and approximate their basins of attraction. We also find that exclusive populations of individuals playing coordination or prisoner's dilemma games always equilibrate, implying that cycles and non-convergence in imitative populations are due to individuals playing anticoordination games. Moreover, we show that except for the two extreme equilibria where all individuals play the same strategy, almost all other equilibria are unstable as long as the population is heterogeneous. Our results theoretically explain earlier reported simulation results and shed new light on the boundedly rational nature of imitation behaviors.


title: Algebraic Vector Spaces

abstract: We show that the definition of an algebraic basis for a vector space allows the construction of an isomorphism with the one here called Algebraic Vector Space. Although the concept does not bring anything new, we mention some of the problems that the language established here can inspire.


title: Spread of Influence in Graphs

abstract: Consider a graph $G$ and an initial configuration where each node is black or white. Assume that in each round all nodes simultaneously update their color based on a predefined rule. One can think of graph $G$ as a social network, where each black/white node represents an individual who holds a positive/negative opinion regarding a particular topic. In the $r$-threshold (resp. $\alpha$-threshold) model, a node becomes black if at least $r$ of its neighbors (resp. $\alpha$ fraction of its neighbors) are black, and white otherwise. The $r$-monotone (resp. $\alpha$-monotone) model is the same as the $r$-threshold (resp. $\alpha$-threshold) model, except that a black node remains black forever. What is the number of rounds that the process needs to stabilize? How many nodes must be black initially so that black color takes over or survives? Our main goal in the present paper is to address these two questions


title: Capital and Labor Income Pareto Exponents across Time and Space

abstract: We estimate capital and labor income Pareto exponents across 475 country-year observations that span 52 countries over half a century (1967-2018). We document two stylized facts: (i) capital income is more unequally distributed than labor income in the tail; namely, the capital exponent (1-3, median 1.46) is smaller than labor (2-5, median 3.35), and (ii) capital and labor exponents are nearly uncorrelated. To explain these findings, we build an incomplete market model with job ladders and capital income risk that gives rise to a capital income Pareto exponent smaller than but nearly unrelated to the labor exponent. Our results suggest the importance of distinguishing income and wealth inequality.


title: Visible pump -- mid infrared pump -- broadband probe: development and characterization of a three-pulse setup for single-shot ultrafast spectroscopy at 50 kHz

abstract: We report here an experimental setup to perform three-pulse pump-probe measurements over a wide wavelength and temperature range. By combining two pump pulses in the visible (650-900 nm) and mid-IR (5-20 $\mu$m) range, with a broadband supercontinuum white-light probe, our apparatus enables both the combined selective excitation of different material degrees of freedom and a full time-dependent reconstruction of the non-equilibrium dielectric function of the sample. We describe here the optical setup, the cryogenic sample environment and the custom-made acquisition electronics capable of referenced single-pulse detection of broadband spectra at the maximum repetition rate of 50 kHz, achieving a sensitivity of the order of 10$^{-4}$ over an integration time of 1 s. We demonstrate the performance of the setup by reporting data on mid-IR pump, optical push and broadband probe in a single-crystal of Bi$_2$Sr$_2$Y$_{0.08}$Ca$_{0.92}$Cu$_2$O$_{8+\delta}$ across the superconducting and pseudogap phases.

categories: physics.optics cond-mat.supr-con physics.chem-ph physics.ins-det


title: Swampland Constraints on No-Boundary Quantum Cosmology

abstract: The Hartle-Hawking no-boundary proposal describes the quantum creation of the universe. To have a non-negligible probability to obtain a classical expanding universe, eternal inflation is required, which is severely constrained by Swampland conjectures such as the refined de Sitter conjecture and the distance conjecture. We discuss this issue in detail and demonstrate the incompatibility. We show that the dimensionless parameters in the refined de Sitter conjecture should be bounded from above by a positive power of the scalar potential to realize the classical expanding universe. In other words, the probability of the classical expanding universe is extremely small under the Swampland conjectures unless the parameters are much smaller than unity. If they are order unity, on the other hand, the saddle-point solution itself ceases to exist implying a genuinely quantum universe.


title: Time-Division Energy Beamforming for Multiuser Wireless Power Transfer with Non-Linear Energy Harvesting

abstract: Energy beamforming has emerged as a promising technique for enhancing the energy transfer efficiency of wireless power transfer (WPT). However, the performance of conventional energy beamforming may seriously degrade due to the non-linear radio frequency (RF) to direct current (DC) conversion at energy receivers (ERs). To tackle this issue, this letter proposes a new time-division energy beamforming, in which different energy beamforming matrices (of high ranks in general) are time shared to exploit the "convex-concave" shape of the RF-DC power relation at ERs. By considering a particular time duration for WPT, we maximize the minimum harvested DC energy among all ERs, by jointly optimizing the energy beamforming matrices and the corresponding time allocation. In order to solve the non-convex min-DC-energy maximization problem, we propose an efficient solution by using the techniques of alternating optimization and successive convex approximation (SCA). Numerical results show that the proposed time-division energy beamforming design indeed outperforms the conventional multi-beam and time-division-multiple-access (TDMA)-based energy transmissions.


title: Tensorized Transformer for Dynamical Systems Modeling

abstract: The identification of nonlinear dynamics from observations is essential for the alignment of the theoretical ideas and experimental data. The last, in turn, is often corrupted by the side effects and noise of different natures, so probabilistic approaches could give a more general picture of the process. At the same time, high-dimensional probabilities modeling is a challenging and data-intensive task. In this paper, we establish a parallel between the dynamical systems modeling and language modeling tasks. We propose a transformer-based model that incorporates geometrical properties of the data and provide an iterative training algorithm allowing the fine-grid approximation of the conditional probabilities of high-dimensional dynamical systems.


title: Computed Origami Tomography

abstract: In this paper, we provide assembly instructions for an easy to build experimental setup in order to gain practical experience with tomography. In view of this, this paper can be seen as a complementary work to excellent mathematical textbooks at an undergraduate level concerned with the basic mathematical principles of tomography. Since the setup uses light for tomographic imaging, the investigated objects need to be light transparent, like origami figures. In case the reader wants to experiment with computational tomographic reconstructions without assembling the device, we provide a database of several objects together with their tomographic measurements and a publicly available software. Moreover, recent advances in Cryo-imaging enabled three-dimensional high-resolution visualization of single particles, such as for instance viruses. To exemplify, and experience, single particle Cryo-electron microscopy we provide an advanced assembly, which we use to generate data simulating a Cryo-recording. We also discuss some of the major practical difficulties for reconstructing particles from Cryo-microscopic data.


title: Synchronization in Digital Twins for Industrial Control Systems

abstract: Digital twins, which are a new concept in industrial control systems (ICS), play a key role in realizing the vision of a smart factory, and they can have different effective use cases. With digital twins, we have virtual replicas of physical systems so that they precisely mirror the internal behavior of the physical systems. Hence, synchronization is necessary to keep the states of digital twins in sync with those of their physical counterparts. Otherwise, their behavior may be different from each other, and it can lead to wrong decisions about the system that can have catastrophic consequences. In this paper, we propose three different architectures for digital twins, and then by investigating their ability to follow the physical system's behavior, we will determine the best architecture, whose output has the lowest error compared with the physical system's output.


title: Two paths towards circulation time derivative (Maxwell's $\mathfrak E$ revisited)

abstract: The time derivative of the circulation of a vector field $\boldsymbol{A}$ over a moving and deforming closed curve, $\frac {\mathrm{d}}{\mathrm{d} t}\oint \boldsymbol{A} \cdot \mathrm{d} \boldsymbol{r}$, is computed in two ways, with and without bringing the time derivative under the integral sign. As a by-product, the computations reveal that the conceptualization of Faraday's law of electromagnetic induction may depend on which of the two methods is employed. The discussion presented provides an unexpected argument in favor of Maxwell's mysterious choice for his electromotive intensity $\mathfrak E$, made in Article 598 of his Treatise.


title: The Conformal Group Revisited

abstract: Since 100 years or so, it has been usually accepted that the " conformal group " could be defined in an arbitrary dimension n as the group of transformations preserving a non degenerate flat metric up to a nonzero invertible point depending factor called " conformal factor ". However, when n > 2, it is a finite dimensional Lie group of transformations with n translations, n(n-1)/2 rotations, 1 dilatation and n nonlinear transformations called " elations " , that is a total of (n+1)(n+2)/2 transformations. Because of the Michelson-Morley experiment, the conformal group of space-time with 15 parameters is well known as the biggest group of invariance of the constitutive law of electromagnetism (EM) in vacuum, even though the two sets of field and induction Maxwell equations are respectively invariant by any local invertible transformation. As this last generic number is also well defined and becomes equal to 3 for n=1 or 6 for n=2, the purpose of this paper is to use modern mathematical tools such as the Spencer operator on systems of OD or PD equations, both with its restriction to their symbols leading to the Spencer -cohomology, in order to provide a unique striking definition that could be valid for any n. The concept of a " finite type " system is crucial for such a new definition.


title: Gauge transformation of scalar induced gravitational waves

abstract: The gauge dependence of the scalar induced gravitational waves (SIGWs) generated at the second order imposes a challenge to the discussion of the secondary gravitational waves generated by scalar perturbations. We provide a general formula that is valid in any gauge for the calculation of SIGWs and the relationship for SIGWs calculated in various gauges under the coordinate transformation. The formula relating SIGWs in the Newtonian gauge to other gauges is used to calculate SIGWs in six different gauges. We find that the Newtonian gauge, the uniform curvature gauge, the synchronous gauge and the uniform expansion gauge yield the same result for the energy density of SIGWs. We also identify and eliminate the pure gauge modes that exist in the synchronous gauge. In the total matter gauge and the comoving orthogonal gauge, the energy density of SIGWs increases as $\eta^2$. While in the uniform density gauge, the energy density of SIGWs increases as $\eta^6$.


title: Sparsified Linear Programming for Zero-Sum Equilibrium Finding

abstract: Computational equilibrium finding in large zero-sum extensive-form imperfect-information games has led to significant recent AI breakthroughs. The fastest algorithms for the problem are new forms of counterfactual regret minimization [Brown and Sandholm, 2019]. In this paper we present a totally different approach to the problem, which is competitive and often orders of magnitude better than the prior state of the art. The equilibrium-finding problem can be formulated as a linear program (LP) [Koller et al., 1994], but solving it as an LP has not been scalable due to the memory requirements of LP solvers, which can often be quadratically worse than CFR-based algorithms. We give an efficient practical algorithm that factors a large payoff matrix into a product of two matrices that are typically dramatically sparser. This allows us to express the equilibrium-finding problem as a linear program with size only a logarithmic factor worse than CFR, and thus allows linear program solvers to run on such games. With experiments on poker endgames, we demonstrate in practice, for the first time, that modern linear program solvers are competitive against even game-specific modern variants of CFR in solving large extensive-form games, and can be used to compute exact solutions unlike iterative algorithms like CFR.


title: Exact inference for a class of non-linear hidden Markov models on general state spaces

abstract: Exact inference for hidden Markov models requires the evaluation of all distributions of interest - filtering, prediction, smoothing and likelihood - with a finite computational effort. This article provides sufficient conditions for exact inference for a class of hidden Markov models on general state spaces given a set of discretely collected indirect observations linked non linearly to the signal, and a set of practical algorithms for inference. The conditions we obtain are concerned with the existence of a certain type of dual process, which is an auxiliary process embedded in the time reversal of the signal, that in turn allows to represent the distributions and functions of interest as finite mixtures of elementary densities or products thereof. We describe explicitly how to update recursively the parameters involved, yielding qualitatively similar results to those obtained with Baum--Welch filters on finite state spaces. We then provide practical algorithms for implementing the recursions, as well as approximations thereof via an informed pruning of the mixtures, and we show superior performance to particle filters both in accuracy and computational efficiency. The code for optimal filtering, smoothing and parameter inference is made available in the Julia package DualOptimalFiltering.


title: A Minimal 7-Fold Rhombic Tiling

abstract: A study of 7-fold tilings that use a set of three proto-rhombs in a substitution scheme to tile a large area. A set is discovered that is thought to be the most minimal or smallest one. The scheme uses 11 proto-rhombs to tile the next generation of inflated tiles. The general form of 7-fold substitutions is shown and the role of the 7-fold magic number phi is derived. The figures include a number of newly discovered 7-fold tilings.


title: Solar UV$-$B$/$A radiation is highly effective in inactivating SARS$-$CoV$-$2

abstract: Solar UV$-$C photons do not reach Earth's surface, but are known to be endowed with germicidal properties that are also effective on viruses. The effect of softer UV$-$B and UV$-$A photons, which copiously reach the Earth's surface, on viruses are instead little studied, particularly on single$-$stranded RNA viruses. Here we combine our measurements of the action spectrum of Covid$-$19 in response to UV light, Solar irradiation measurements on Earth during the SARS$-$CoV$-$2 pandemics, worldwide recorded Covid$-$19 mortality data and our 'Solar$-$Pump' diffusive model of epidemics to show that (a) UV$-$B$/$A photons have a powerful virucidal effect on the single$-$stranded RNA virus Covid$-$19 and that (b) the Solar radiation that reaches temperate regions of the Earth at noon during summers, is sufficient to inactivate 63\perc of virions in open$-$space concentrations (1.5 x 103 TCID50$/$mL, higher than typical aerosol) in less than 2 min. We conclude that the characteristic seasonality imprint displayed world$-$wide by the SARS$-$Cov$-$2 mortality time$-$series throughout the diffusion of the outbreak (with temperate regions showing clear seasonal trends and equatorial regions suffering, on average, a systematically lower mortality), might have been efficiently set by the different intensity of UV$-$B$/$A Solar radiation hitting different Earth's locations at different times of the year. Our results suggest that Solar UV$-$B$/$A play an important role in planning strategies of confinement of the epidemics, which should be worked out and set up during spring$/$summer months and fully implemented during low$-$solar$-$irradiation periods.


title: Three-Body Inertia Tensor

abstract: We derive a general formula for the inertia tensor of a three-body system. By employing three independent Lagrange undetermined multipliers to express the vectors corresponding to the sides in terms of the position vectors of the vertices, we present the general covariant expression for the inertia tensor of the three particles of different masses. If $m_a/a=m_b/b=m_c/c=\rho$, then the center of mass coincides with the incenter of the triangle and the moment of inertia about the normal axis passing the center of mass is $I=\rho abc$, where $m_a$, $m_b$, and $m_c$ are the masses of the particles at $A$, $B$, and $C$, respectively, and $a$, $b$, and $c$ are the lengths of the line segments $\overline{BC}$, $\overline{CA}$, and $\overline{AB}$, respectively. The derivation and the corresponding results are closely related to the famous Heron's formula for the area of a triangle.


title: C-trees and a coherent presentation for the plactic monoid of type C

abstract: In this article we introduce the $\mathbb{N}-$decorated plactic monoid of type $C$, denoted $Pl^\mathbb{N}(C_n)$, via a finite convergent presentation $ACol$, with generating set $ACol(C_n)$ consisting of admissible columns, and an element $\epsilon$. By Squier's coherent completion theorem, this presentation is extended into a coherent presentation by identifying a family of generating confluences, i.e. generating $3-$cells. Here the generating $3-$cells are critical branchings on words of length $3$. We adapt the notions of crystal structure to $ACol(C_n)^\ast$ , and show that the shape of $3-$cells is preserved by the action of Kashiwara operators. Thus we reduce the study of the coherent presentation to only describing the generating $3-$cells whose source is a word of highest weight. We then introduce combinatorial objects called $C-$trees which parameterize the words of highest weight in $ACol(C_n)^\ast$. The $C-$trees allow for simplifying calculations with the insertion algorithm in type $C$, as introduced in by Lecouvey, and we prove that the generating $3-$cells in $ACol$ are of shape at most $(4,3)$. As a consequence, we show that the column presentation of $Pl(C_n)$, as introduced by Hage, has generating $3-$cells of shape at most $(4,3)$. This contrasts the situation in type $A$, where the $3-$cells in the column presentation of $Pl(A_n)$ are of shape at most $(3,3)$.


title: Nearly Gorenstein cyclic quotient singularities

abstract: We investigate the nearly Gorenstein property among $d$-dimensional cyclic quotient singularities $\Bbbk[[x_1,\dots,x_d]]^G$, where $\Bbbk$ is an algebraically closed field and $G\subseteq{\rm GL}(d,\Bbbk)$ is a finite small cyclic group whose order is invertible in $\Bbbk$. We prove a necessary and sufficient condition to be nearly Gorenstein that also allows us to find several new classes of such rings.


title: Doubly Multiplicative Error Models with Long- and Short-run Components

abstract: We suggest the Doubly Multiplicative Error class of models (DMEM) for modeling and forecasting realized volatility, which combines two components accommodating low-, respectively, high-frequency features in the data. We derive the theoretical properties of the Maximum Likelihood and Generalized Method of Moments estimators. Two such models are then proposed, the Component-MEM, which uses daily data for both components, and the MEM-MIDAS, which exploits the logic of MIxed-DAta Sampling (MIDAS). The empirical application involves the S&P 500, NASDAQ, FTSE 100 and Hang Seng indices: irrespective of the market, both DMEM's outperform the HAR and other relevant GARCH-type models.


title: Analytic expressions for the Cumulative Distribution Function of the Composed Error Term in Stochastic Frontier Analysis with Truncated Normal and Exponential Inefficiencies

abstract: In the stochastic frontier model, the composed error term consists of the measurement error and the inefficiency term. A general assumption is that the inefficiency term follows a truncated normal or exponential distribution. In a wide variety of models evaluating the cumulative distribution function of the composed error term is required. This work introduces and proves four representation theorems for these distributions - two for each distributional assumptions. These representations can be utilized for a fast and accurate evaluation.


title: Optimal Sensor Placement in Power Grids: Power Domination, Set Covering, and the Neighborhoods of Zero Forcing Forts

abstract: To monitor electrical activity throughout the power grid and mitigate outages, sensors known as phasor measurement units can installed. Due to implementation costs, it is desirable to minimize the number of sensors deployed while ensuring that the grid can be effectively monitored. This optimization problem motivates the graph theoretic power dominating set problem. In this paper, we propose a novel integer program for identifying minimum power dominating sets by formulating a set cover problem. This problem's constraints correspond to neighborhoods of zero forcing forts; we study their structural properties and show they can be separated, allowing the proposed model to be solved via row generation. The proposed and existing methods are compared in several computational experiments in which the proposed method consistently exhibits an order of magnitude improvement in runtime performance.


title: A semi-analytical energy response model for low-energy events in JUNO

abstract: The Jiangmen Underground Neutrino Observatory (JUNO) is a next-generation neutrino experiment under construction in China expected to be completed in 2022. As the main goal it aims to determine the neutrino mass ordering with 3-4 $\sigma$ significance using a 20 kton liquid scintillator detector. It will measure the oscillated energy spectrum of electron anti-neutrinos from two nuclear power plants at about 53 km baseline with an unprecedented energy resolution of 3% at 1 MeV. A requirement of the JUNO experiment is the knowledge of the energy non-linearity of the detector with a sub-percent precision. As the light yield of the liquid scintillator is not fully linear to the energy of the detected particle and dependent on the particle type, a model for this light yield is presented in this paper. Based on an energy non-linearity model of electrons, this article provides the conversion to the more complex energy response of positrons and gammas. This conversion uses a fast and simple algorithm to calculate the spectrum of secondary electrons generated by a gamma, which is introduced here and made open access to potential users. It is also discussed how the positron non-linearity can be obtained from the detector calibration with gamma sources using the results presented in this article.


title: Robust Fixed-Order Controller Design for Uncertain Systems with Generalized Common Lyapunov Strictly Positive Realness Characterization

abstract: This paper investigates the design of a robust fixed-order controller for single-input-single-output (SISO) polytopic systems with interval uncertainties, with the aim that the closed-loop stability is appropriately ensured and the performance specifications on sensitivity shaping are conformed in a specific finite frequency range. Utilizing the notion of generalized common Lyapunov strictly positive realness (CL-SPRness), the equivalence between strictly positive realness (SPRness) and strictly bounded realness (SBRness) is established; and then the specifications on robust stability and performance are transformed into the SPRness of newly constructed systems and further characterized in the framework of linear matrix inequality (LMI) conditions. The proposed methodology avoids the tedious yet mandatory evaluations of the specifications on all vertices of the uncertain polytopic system in an explicit form. Instead, solving five LMIs exclusively suffices for ensuring the robust stability and performance regardless of the number of vertices, and thus the typically heavy computational burden is considerably alleviated. It is also noteworthy that the proposed methodology additionally provides the necessary and sufficient conditions for this robust controller design with the consideration of a prescribed finite frequency range, and therefore significantly less conservatism is attained in the system performance.


title: Sponge Examples: Energy-Latency Attacks on Neural Networks

abstract: The high energy costs of neural network training and inference led to the use of acceleration hardware such as GPUs and TPUs. While this enabled us to train large-scale neural networks in datacenters and deploy them on edge devices, the focus so far is on average-case performance. In this work, we introduce a novel threat vector against neural networks whose energy consumption or decision latency are critical. We show how adversaries can exploit carefully crafted $\boldsymbol{sponge}~\boldsymbol{examples}$, which are inputs designed to maximise energy consumption and latency. We mount two variants of this attack on established vision and language models, increasing energy consumption by a factor of 10 to 200. Our attacks can also be used to delay decisions where a network has critical real-time performance, such as in perception for autonomous vehicles. We demonstrate the portability of our malicious inputs across CPUs and a variety of hardware accelerator chips including GPUs, and an ASIC simulator. We conclude by proposing a defense strategy which mitigates our attack by shifting the analysis of energy consumption in hardware from an average-case to a worst-case perspective.


title: The contact mappings of a flat $(2,3,5)$-distribution

abstract: Let $\Omega$ and $\Omega'$ be open subsets of a flat $(2,3,5)$-distribution. We show that a $C^1$-smooth contact mapping $f : \Omega \to \Omega'$ is a $C^\infty$-smooth contact mapping. Ultimately, this is a consequence of the rigidity of the associated stratified Lie group (the Tanaka prolongation of the Lie algebra is of finite-type). The conclusion is reached through a careful study of some differential identities satisfied by components of the Pansu-derivative of a $C^1$-smooth contact mapping.


title: Visual Transfer for Reinforcement Learning via Wasserstein Domain Confusion

abstract: We introduce Wasserstein Adversarial Proximal Policy Optimization (WAPPO), a novel algorithm for visual transfer in Reinforcement Learning that explicitly learns to align the distributions of extracted features between a source and target task. WAPPO approximates and minimizes the Wasserstein-1 distance between the distributions of features from source and target domains via a novel Wasserstein Confusion objective. WAPPO outperforms the prior state-of-the-art in visual transfer and successfully transfers policies across Visual Cartpole and two instantiations of 16 OpenAI Procgen environments.


title: A Machine-Learning-Based Importance Sampling Method to Compute Rare Event Probabilities

abstract: We develop a novel computational method for evaluating the extreme excursion probabilities arising from random initialization of nonlinear dynamical systems. The method uses excursion probability theory to formulate a sequence of Bayesian inverse problems that, when solved, yields the biasing distribution. Solving multiple Bayesian inverse problems can be expensive; more so in higher dimensions. To alleviate the computational cost, we build machine-learning-based surrogates to solve the Bayesian inverse problems that give rise to the biasing distribution. This biasing distribution can then be used in an importance sampling procedure to estimate the extreme excursion probabilities.


title: Economic Properties of Multi-Product Supply Chains

abstract: We interpret multi-product supply chains (SCs) as coordinated markets; under this interpretation, a SC optimization problem is a market clearing problem that allocates resources and associated economic values (prices) to different stakeholders that bid into the market (suppliers, consumers, transportation, and processing technologies). The market interpretation allows us to establish fundamental properties that explain how physical resources (primal variables) and associated economic values (dual variables) flow in the SC. We use duality theory to explain why incentivizing markets by forcing stakeholder participation (e.g., by imposing demand satisfaction or service provision constraints) yields artificial price behavior, inefficient allocations, and economic losses. To overcome these issues, we explore market incentive mechanisms that use bids; here, we introduce the concept of a stakeholder graph (a product-based representation of a supply chain) and show that this representation allows us to naturally determine minimum bids that activate the market. These results provide guidelines to design SC formulations that properly remunerate stakeholders and to design policy that foster market transactions. The results are illustrated using an urban waste management problem for a city of 100,000 residents.


title: The FRB-SGR Connection

abstract: The discovery that the Galactic SGR 1935$+$2154 emitted FRB 200428 simultaneous with a gamma-ray flare demonstrated the common source and association of these phenomena. If FRB radio emission is the result of coherent curvature radiation, the net charge of the radiating "bunches" or waves may be inferred from the radiated fields, independent of the mechanism by which the bunches are produced. A statistical argument indicates that the radiating bunches must have a Lorentz factor $\gtrapprox 10$. The observed radiation frequencies indicate that their phase velocity (pattern speed) corresponds to Lorentz factors $\gtrapprox 100$. Coulomb repulsion implies that the electrons making up these bunches may have yet larger Lorentz factors, limited by their incoherent curvature radiation. These electrons also Compton scatter the soft gamma-rays of the SGR. In FRB 200428 the power radiated coherently at radio frequencies exceeded that of Compton scattering, but in more luminous SGR outbursts Compton scattering dominates, precluding the acceleration of energetic electrons. This explains the absence of a FRB associated with the giant 27 December 2004 outburst of SGR 1806$-$20. SGR with luminosity $\gtrsim 10^{42}$ ergs/s do not emit FRB, while those of lesser luminosity can do so. "Superbursts" like FRB 200428 are produced when narrowly collimated FRB are aligned with the line of sight; they are unusual, but not rare, and "cosmological" FRB may be superbursts.


title: Existence, Uniqueness and Asymptotic Behavior of Regular Time-Periodic Viscous Flow around a Moving Body: Rotational Case

abstract: We show existence and uniqueness for small data of regular time-periodic solutions to the Navier-Stokes problem in the exterior of a rigid body, $\mathscr B$, that moves by time-periodic translational motion of the same period along a constant direction, $\bfe_1$, and spins with constant angular velocity $\bfomega$ parallel to $\bfe_1$. We also study the spatial asymptotic behavior of such solutions and show, in particular, that if $\mathscr B$ has a net motion characterized by a non-zero average translational velocity $\bar{\bfxi}$, then the solution exhibit a wake-like behavior in the direction $-\bar{\bfxi}$ entirely analogous to that of a steady-state flow around a body that moves with velocity $\bar{\bfxi}$ and angular velocity $\bfomega$.


title: On subset sum problem in branch groups

abstract: We consider a group-theoretic analogue of the classic subset sum problem. In this brief note, we show that the subset sum problem is NP-complete in the first Grigorchuk group. More generally, we show NP-hardness of that problem in weakly regular branch groups, which implies NP-completeness if the group is, in addition, contracting.


title: Application of Optimization and Simulation to Musical Composition that Emerges Dynamically during Ensemble Singing Performance

abstract: This paper presents and tests a new approach to composing for ensemble singing performance: reality opera. In the performance of such a composition, emotions of the singers are real and emerge as a consequence of their interactions and reaction and to a dynamic narrative. This paper gives background and motivation for the form, based on three key concepts, incorporating the use of technology. Then proposed techniques for creating reality opera are instantiated in an example, which is performed and a behavioral analysis done of performer reactions, leading to support for the feasibility of the reality opera concept.


title: Analyzing Differentiable Fuzzy Implications

abstract: Combining symbolic and neural approaches has gained considerable attention in the AI community, as it is often argued that the strengths and weaknesses of these approaches are complementary. One such trend in the literature are weakly supervised learning techniques that employ operators from fuzzy logics. In particular, they use prior background knowledge described in such logics to help the training of a neural network from unlabeled and noisy data. By interpreting logical symbols using neural networks (or grounding them), this background knowledge can be added to regular loss functions, hence making reasoning a part of learning. In this paper, we investigate how implications from the fuzzy logic literature behave in a differentiable setting. In such a setting, we analyze the differences between the formal properties of these fuzzy implications. It turns out that various fuzzy implications, including some of the most well-known, are highly unsuitable for use in a differentiable learning setting. A further finding shows a strong imbalance between gradients driven by the antecedent and the consequent of the implication. Furthermore, we introduce a new family of fuzzy implications (called sigmoidal implications) to tackle this phenomenon. Finally, we empirically show that it is possible to use Differentiable Fuzzy Logics for semi-supervised learning, and show that sigmoidal implications outperform other choices of fuzzy implications.


title: AP20-OLR Challenge: Three Tasks and Their Baselines

abstract: This paper introduces the fifth oriental language recognition (OLR) challenge AP20-OLR, which intends to improve the performance of language recognition systems, along with APSIPA Annual Summit and Conference (APSIPA ASC). The data profile, three tasks, the corresponding baselines, and the evaluation principles are introduced in this paper. The AP20-OLR challenge includes more languages, dialects and real-life data provided by Speechocean and the NSFC M2ASR project, and all the data is free for participants. The challenge this year still focuses on practical and challenging problems, with three tasks: (1) cross-channel LID, (2) dialect identification and (3) noisy LID. Based on Kaldi and Pytorch, recipes for i-vector and x-vector systems are also conducted as baselines for the three tasks. These recipes will be online-published, and available for participants to configure LID systems. The baseline results on the three tasks demonstrate that those tasks in this challenge are worth paying more efforts to achieve better performance.


title: A Primal-Dual SGD Algorithm for Distributed Nonconvex Optimization

abstract: The distributed nonconvex optimization problem of minimizing a global cost function formed by a sum of $n$ local cost functions by using local information exchange is considered. This problem is an important component of many machine learning techniques with data parallelism, such as deep learning and federated learning. We propose a distributed primal--dual stochastic gradient descent (SGD) algorithm, suitable for arbitrarily connected communication networks and any smooth (possibly nonconvex) cost functions. We show that the proposed algorithm achieves the linear speedup convergence rate $\mathcal{O}(1/\sqrt{nT})$ for general nonconvex cost functions and the linear speedup convergence rate $\mathcal{O}(1/(nT))$ when the global cost function satisfies the Polyak--{\L}ojasiewicz (P--{\L}) condition, where $T$ is the total number of iterations. We also show that the output of the proposed algorithm with constant parameters linearly converges to a neighborhood of a global optimum. We demonstrate through numerical experiments the efficiency of our algorithm in comparison with the baseline centralized SGD and recently proposed distributed SGD algorithms.


title: Machine learning techniques applied for detection of nanoparticles on surfaces using Coherent Fourier Scatterometry

abstract: We present an efficient machine learning framework for detection and classification of nanoparticles on surfaces that are detected in the far-field with Coherent Fourier Scatterometry (CFS). We study silicon wafers contaminated with spherical polystyrene (PSL) nanoparticles (with diameters down to $\lambda/8$). Starting from the raw data, the proposed framework does the pre-processing and particle search. Further, the unsupervised clustering algorithms, such as K-means and DBSCAN, are customized to be used to define the groups of signals that are attributed to a single scatterer. Finally, the particle count versus particle size histogram is generated. The challenging cases of the high density of scatterers, noise and drift in the dataset are treated. We take advantage of the prior information on the size of the scatterers to minimize the false-detections and as a consequence, provide higher discrimination ability and more accurate particle counting. Numerical and real experiments are conducted to demonstrate the performance of the proposed search and cluster-assessment techniques. Our results illustrate that the proposed algorithm can detect surface contaminants correctly and effectively.


title: COVID-19 diagnosis by routine blood tests using machine learning

abstract: Physicians taking care of patients with coronavirus disease (COVID-19) have described different changes in routine blood parameters. However, these changes, hinder them from performing COVID-19 diagnosis. We constructed a machine learning predictive model for COVID-19 diagnosis. The model was based and cross-validated on the routine blood tests of 5,333 patients with various bacterial and viral infections, and 160 COVID-19-positive patients. We selected operational ROC point at a sensitivity of 81.9% and specificity of 97.9%. The cross-validated area under the curve (AUC) was 0.97. The five most useful routine blood parameters for COVID19 diagnosis according to the feature importance scoring of the XGBoost algorithm were MCHC, eosinophil count, albumin, INR, and prothrombin activity percentage. tSNE visualization showed that the blood parameters of the patients with severe COVID-19 course are more like the parameters of bacterial than viral infection. The reported diagnostic accuracy is at least comparable and probably complementary to RT-PCR and chest CT studies. Patients with fever, cough, myalgia, and other symptoms can now have initial routine blood tests assessed by our diagnostic tool. All patients with a positive COVID-19 prediction would then undergo standard RT-PCR studies to confirm the diagnosis. We believe that our results present a significant contribution to improvements in COVID-19 diagnosis.


title: A stochastic kinetic scheme for multi-scale plasma transport with uncertainty quantification

abstract: In this paper, a physics-oriented stochastic kinetic scheme will be developed that includes random inputs from both flow and electromagnetic fields via a hybridization of stochastic Galerkin and collocation methods. Based on the BGK-type relaxation model of the multi-component Boltzmann equation, a scale-dependent kinetic central-upwind flux function is designed in both physical and particle velocity space, and the governing equations in the discrete temporal-spatial-random domain are constructed. By solving Maxwell's equations with the wave-propagation method, the evolutions of ions, electrons and electromagnetic field are coupled throughout the simulation. We prove that the scheme is formally asymptotic-preserving in the Vlasov, magnetohydrodynamical, and neutral Euler regimes with the inclusion of random variables. Therefore, it can be used for the study of multi-scale and multi-physics plasma system under the effects of uncertainties, and provide scale-adaptive physical solutions under different ratios among numerical cell size, particle mean free path and gyroradius (or time step, local particle collision time and plasma period). Numerical experiments including one-dimensional Landau Damping, the two-stream instability and the Brio-Wu shock tube problem with one- to three-dimensional velocity settings, and each under stochastic initial conditions with one-dimensional uncertainty, will be presented to validate the scheme.


title: Strange mesons in strong magnetic fields

abstract: The masses of the strange mesons ($K$, $K^*$ and $\phi$) are investigated in the presence of strong magnetic fields. The changes in the masses of these mesons arise from the mixing of the pseusdoscalar and vector mesons in the presence of a magnetic field. For the charged mesons, these mass modifications are in addition to the contributions from the lowest Landau energy levels to their masses. The decay widths, $\phi \rightarrow K\bar K$ and $K^* \rightarrow K\pi$, in the presence of the magnetic field are studied using a field theoretic model of composite hadrons with constituent quarks/antiquarks. The model uses the free Dirac Hamiltonian in terms of the constituent quark fields as the light quark antiquark pair creation term and explicit constructions for the meson states in terms of the constituent quarks and anitiquarks to study the decay processes. The study of the masses and decay widths of the strange mesons in strong magnetic fields can have observable consequences on the production of the open and hidden strange mesons in the peripheral ultra high energy collisions at LHC, where the created magnetic field can be huge.


title: Hierarchy of magnon entanglement in antiferromagnets

abstract: Continuous variable entanglement between magnon modes in Heisenberg antiferromagnet with Dzyaloshinskii-Moryia (DM) interaction is examined. Different bosonic modes are identified, which allows to establish a hierarchy of magnon entanglement in the ground state. We argue that entanglement between magnon modes is determined by a simple lattice specific factor, together with the ratio of the strengths of the DM and Heisenberg exchange interactions, and that magnon entanglement can be detected by means of quantum homodyne techniques. As an illustration of the relevance of our findings for possible entanglement experiments in the solid state, a typical antiferromagnet with the perovskite crystal structure is considered, and it is shown that long wave length magnon modes have the highest degree of entanglement.