title: Binary extended formulations and sequential convexification

abstract: A binarization of a bounded variable $x$ is a linear formulation with variables $x$ and additional binary variables $y_1,\dots, y_k$, so that integrality of $x$ is implied by the integrality of $y_1,\dots, y_k$. A binary extended formulation of a polyhedron $P$ is obtained by adding to the original description of $P$ binarizations of some of its variables. In the context of mixed-integer programming, imposing integrality on 0/1 variables rather than on general integer variables has interesting convergence properties and has been studied both from the theoretical and from the practical point of view. We propose a notion of \emph{natural} binarizations and binary extended formulations, encompassing all the ones studied in the literature. We give a simple characterization of the vertices of such formulations, which allows us to study their behavior with respect to sequential convexification. %0/1 disjunctions. In particular, given a binary extended formulation and % a binarization $B$ of one of its variables $x$, we study a parameter that measures the progress made towards ensuring the integrality of $x$ via application of sequential convexification. We formulate this parameter, which we call rank, as the solution of a set covering problem and express it exactly for the classical binarizations from the literature.


title: Refined Transformation Approach for Stabilization of MIMO System by Pole Placement

abstract: The paper presents a distinctive and straightforward technique for stabilization of multi-variable systems. The idea is to decouple the system state matrix depending on different inputs and outputs. Refined special canonical transformations are described for the design of controller and observer for a single-input and single-output (SISO) case and are extended to multi-input multi-output (MIMO) systems. These transformations help in the stabilization of the error dynamics of the observer and in placing the closed loop poles of the system. The idea is not only in the transformations taken but also how the gain matrices are selected which simplifies the computation.


title: Predicting COVID-19 Spread from Large-Scale Mobility Data

abstract: To manage the COVID-19 epidemic effectively, decision-makers in public health need accurate forecasts of case numbers. A potential near real-time predictor of future case numbers is human mobility; however, research on the predictive power of mobility is lacking. To fill this gap, we introduce a novel model for epidemic forecasting based on mobility data, called mobility marked Hawkes model. The proposed model consists of three components: (1) A Hawkes process captures the transmission dynamics of infectious diseases. (2) A mark modulates the rate of infections, thus accounting for how the reproduction number R varies across space and time. The mark is modeled using a regularized Poisson regression based on mobility covariates. (3) A correction procedure incorporates new cases seeded by people traveling between regions. Our model was evaluated on the COVID-19 epidemic in Switzerland. Specifically, we used mobility data from February through April 2020, amounting to approximately 1.5 billion trips. Trip counts were derived from large-scale telecommunication data, i.e., cell phone pings from the Swisscom network, the largest telecommunication provider in Switzerland. We compared our model against various state-of-the-art baselines in terms of out-of-sample root mean squared error. We found that our model outperformed the baselines by 15.52%. The improvement was consistently achieved across different forecast horizons between 5 and 21 days. In addition, we assessed the predictive power of conventional point of interest data, confirming that telecommunication data is superior. To the best of our knowledge, our work is the first to predict the spread of COVID-19 from telecommunication data. Altogether, our work contributes to previous research by developing a scalable early warning system for decision-makers in public health tasked with controlling the spread of infectious diseases.


title: Experiments with graph convolutional networks for solving the vertex $p$-center problem

abstract: In the last few years, graph convolutional networks (GCN) have become a popular research direction in the machine learning community to tackle NP-hard combinatorial optimization problems (COPs) defined on graphs. While the obtained results are usually still not competitive with problem-specific solution approaches from the operations research community, GCNs often lead to improvements compared to previous machine learning approaches for classical COPs such as the traveling salesperson problem (TSP). In this work we present a preliminary study on using GCNs for solving the vertex p-center problem (PCP), which is another classic COP on graphs. In particular, we investigate whether a successful model based on end-to-end training for the TSP can be adapted to a PCP, which is defined on a similar 2D Euclidean graph input as the usually used version of the TSP. However, the objective of the PCP has a min-max structure which could lead to many symmetric optimal, i.e., ground-truth solutions and other potential difficulties for learning. Our obtained preliminary results show that indeed a direct transfer of network architecture ideas does not seem to work too well. Thus we think that the PCP could be an interesting benchmark problem for new ideas and developments in the area of GCNs.


title: Towards Efficient Cross-Modal Visual Textual Retrieval using Transformer-Encoder Deep Features

abstract: Cross-modal retrieval is an important functionality in modern search engines, as it increases the user experience by allowing queries and retrieved objects to pertain to different modalities. In this paper, we focus on the image-sentence retrieval task, where the objective is to efficiently find relevant images for a given sentence (image-retrieval) or the relevant sentences for a given image (sentence-retrieval). Computer vision literature reports the best results on the image-sentence matching task using deep neural networks equipped with attention and self-attention mechanisms. They evaluate the matching performance on the retrieval task by performing sequential scans of the whole dataset. This method does not scale well with an increasing amount of images or captions. In this work, we explore different preprocessing techniques to produce sparsified deep multi-modal features extracting them from state-of-the-art deep-learning architectures for image-text matching. Our main objective is to lay down the paths for efficient indexing of complex multi-modal descriptions. We use the recently introduced TERN architecture as an image-sentence features extractor. It is designed for producing fixed-size 1024-d vectors describing whole images and sentences, as well as variable-length sets of 1024-d vectors describing the various building components of the two modalities (image regions and sentence words respectively). All these vectors are enforced by the TERN design to lie into the same common space. Our experiments show interesting preliminary results on the explored methods and suggest further experimentation in this important research direction.


title: Learning Football Body-Orientation as a Matter of Classification

abstract: Orientation is a crucial skill for football players that becomes a differential factor in a large set of events, especially the ones involving passes. However, existing orientation estimation methods, which are based on computer-vision techniques, still have a lot of room for improvement. To the best of our knowledge, this article presents the first deep learning model for estimating orientation directly from video footage. By approaching this challenge as a classification problem where classes correspond to orientation bins, and by introducing a cyclic loss function, a well-known convolutional network is refined to provide player orientation data. The model is trained by using ground-truth orientation data obtained from wearable EPTS devices, which are individually compensated with respect to the perceived orientation in the current frame. The obtained results outperform previous methods; in particular, the absolute median error is less than 12 degrees per player. An ablation study is included in order to show the potential generalization to any kind of football video footage.


title: Nonlinear control of photonic higher-order topological bound states in the continuum

abstract: Higher-order topological insulators (HOTIs) are recently discovered topological phases, possessing symmetry-protected corner states with fractional charges. An unexpected connection between these states and the seemingly unrelated phenomenon of bound states in the continuum (BICs) was recently unveiled. When nonlinearity is added to a HOTI system, a number of fundamentally important questions arise. For example, how does nonlinearity couple higher-order topological BICs with the rest of the system, including continuum states? In fact, thus far BICs in nonlinear HOTIs have remained unexplored. Here, we demonstrate the interplay of nonlinearity, higher-order topology, and BICs in a photonic platform. We observe topological corner states which, serendipitously, are also BICs in a laser-written second-order topological lattice. We further demonstrate nonlinear coupling with edge states at a low nonlinearity, transitioning to solitons at a high nonlinearity. Theoretically, we calculate the analog of the Zak phase in the nonlinear regime, illustrating that a topological BIC can be actively tuned by both focusing and defocusing nonlinearities. Our studies are applicable to other nonlinear HOTI systems, with promising applications in emerging topology-driven devices.


title: Genericity of well-posed vector optimization problems

abstract: In this paper we consider well-posedness properties of vector optimization problems with objective function $f: X \to Y$ where $X$ and $Y$ are Banach spaces and $Y$ is partially ordered by a closed convex pointed cone with nonempty interior. The vector well-posedness notion considered in this paper is the one due to Dentcheva and Helbig, which is a natural extension of Tykhonov well-posedness for scalar optimization problems. When a scalar optimization problem is considered it is possible to prove that under some assumptions the set of functions for which the related optimzation problem is well-posed is dense or even more in "big" i.e. contains a dense $G_{\delta}$ set (these results are called genericity results). The aim of this paper is to extend these genericity results to vector optimization problems.


title: The existence and regularity theory for abstract semilinear time-fractional evolution equations

abstract: In this paper, we investigate abstract time-fractional evolution equations with nonlinear perturbations. We construct solutions of Lipschitz perturbation problems in arbitrary large time interval independent of the Lipschitz constants. We will extend well-known results for standard evolution equations such as the blow-up alternative, to the time-fractional evolution equations. We also prove the differentiability with respect to time of the solution when the perturbation is sufficiently smooth. The differentiability enables us to use the maximum principle. The theory on general Banach spaces enables us to deduce space regularity result easily.


title: Torus equivariant algebraic models and compact realization

abstract: Let $T$ be a compact torus. We prove that, up to equivariant rational equivalence, the category of $T$-simply connected, $T$-finite type $T$-spaces with finitely many isotropy types is completely described by certain finite systems of commutative differential graded algebras with consistent choices of degree $2$ cohomology classes. We show that the algebraic systems corresponding to finite $T$-CW-complexes are exactly those which satisfy the necessary condition imposed by the Borel localization theorem along with certain finiteness conditions. We derive an algebraic characterization of when an algebra over a polyonmial ring is realized as the rational equivariant cohomology of a finite $T$-CW-complex. As further applications we prove that any GKM graph cohomology is realized by a finite $T$-CW-complex and classify equivariant cohomology algebras of finite $S^1$-CW-complexes with discrete fixed points.


title: SU(N) gauge theories in 3+1 dimensions: glueball spectrum, string tensions and topology

abstract: We calculate the low-lying glueball spectrum, some string tensions and some properties of topology and the running coupling for SU(N) lattice gauge theories in 3+1 dimensions. We do so for N = 2,3,...12, using lattice simulations with the Wilson plaquette action, and for glueball states in all the representations of the cubic rotation group, for both values of parity and charge conjugation. We extrapolate these results to the continuum limit of each theory and then to N=infinity. For a number of these states we are able to identify their continuum spins with very little ambiguity. We calculate the fundamental string tension and k=2 string tension and investigate the N dependence of the ratio. Using the string tension as the scale, we calculate the running of a lattice coupling and confirm that g(a)**2 varies as 1/N for constant physics as N->oo. We fit our calculated values of the string tension with the 3-loop beta-function, and extract a value for Lambda-MSbar, in units of the string tension, for all our values of N, including SU(3). We calculate the topological charge Q for N=2,..,6 where it fluctuates sufficiently for a plausible estimate of the continuum topological susceptibility. We also calculate the renormalisation of the lattice topological charge, ZQ(beta), for all our SU(N) gauge theories, using a standard definition of the charge, and we provide interpolating formulae, which may be useful in estimating the renormalisation of the lattice theta parameter. We provide quantitative results for how the topological charge `freezes' with decreasing lattice spacing and with increasing N, and show how we cicumvent this issue in our calculations.


title: Scientific Computing in the Cavendish Laboratory and the pioneering women Computors

abstract: The use of computers and the role of women in radio astronomy and X-ray crystallography research at the Cavendish Laboratory between 1949 and 1975 have been investigated. We recorded examples of when computers were used, what they were used for and who used them from hundreds of papers published during these years. The use of the EDSAC, EDSAC 2 and TITAN computers was found to increase considerably over this time-scale and they were used for a diverse range of applications. The majority of references to computer operators and programmers referred to women, 57% for astronomy and 62% for crystallography, in contrast to a very small proportion, 4% and 13% respectively, of female authors of papers.


title: On the consistency of (partially-)massless matter couplings in de Sitter space

abstract: We study the consistency of the cubic couplings of a (partially-)massless spinning field to two scalars in $\left(d+1\right)$-dimensional de Sitter space. Gauge invariance of observables with external (partially)-massless spinning fields translates into Ward-Takahashi identities on the boundary. Using the Mellin-Barnes representation for boundary correlators in momentum space, we give a systematic study of Ward-Takahashi identities for tree-level 3- and 4-point processes involving a single external (partially-)massless field of arbitrary integer spin-$J$. 3-point Ward-Takahashi identities constrain the mass of the scalar fields to which a (partially-)massless spin-$J$ field can couple. 4-point Ward-Takahashi identities then constrain the corresponding cubic couplings. For massless spinning fields, we show that Weinberg's flat space results carry over to $\left(d+1\right)$-dimensional de Sitter space: For spins $J=1,2$ gauge-invariance implies charge-conservation and the equivalence principle while, assuming locality, higher-spins $J>2$ cannot couple consistently to scalar matter. This result also applies to anti-de Sitter space. For partially-massless fields, restricting for simplicity to those of depth-2, we show that there is no consistent coupling to scalar matter in local theories. Along the way we give a detailed account of how contact amplitudes with and without derivatives are represented in the Mellin-Barnes representation. Various new explicit expressions for 3- and 4-point functions involving (partially-)massless fields and conformally coupled scalars in dS$_4$ are given.


title: On the embedding of left-symmetric algebras into differential perm-algebras

abstract: Given an associative algebra satisfying the left commutativity identity $abc=bac$ (Perm-algebra) with a derivation $d$, the new operation $a\circ b = a d(b)$ is left-symmetric (pre-Lie). We derive necessary and sufficient conditions for a left-symmetric algebra to be embeddable into a differential Perm-algebra.


title: Natural Statistics of Network Activations and Implications for Knowledge Distillation

abstract: In a matter that is analog to the study of natural image statistics, we study the natural statistics of the deep neural network activations at various layers. As we show, these statistics, similar to image statistics, follow a power law. We also show, both analytically and empirically, that with depth the exponent of this power law increases at a linear rate. As a direct implication of our discoveries, we present a method for performing Knowledge Distillation (KD). While classical KD methods consider the logits of the teacher network, more recent methods obtain a leap in performance by considering the activation maps. This, however, uses metrics that are suitable for comparing images. We propose to employ two additional loss terms that are based on the spectral properties of the intermediate activation maps. The proposed method obtains state of the art results on multiple image recognition KD benchmarks.


title: Rate-Splitting Multiple Access in Cache-Aided Cloud-Radio Access Networks

abstract: Rate-splitting multiple access (RSMA) has been recognized as a promising physical layer strategy for 6G. Motivated by ever increasing popularity of cache-enabled content delivery in wireless communications, this paper proposes an innovative multigroup multicast transmission scheme based on RSMA for cache-aided cloud-radio access networks (C-RAN). Our proposed scheme not only exploits the properties of content-centric communications and local caching at the base stations (BSs), but also incorporates RSMA to better manage interference in multigroup multicast transmission with statistical channel state information (CSI) known at the central processor (CP) and the BSs. At the RSMA-enabled cloud CP, the message of each multicast group is split into a private and a common part with the former private part being decoded by all users in the respective group and the latter common part being decoded by multiple users from other multicast groups. Common message decoding is done for the purpose of mitigating the interference. In this work, we jointly optimize the clustering of BSs and the precoding with the aim of maximizing the minimum rate among all multicast groups to guarantee fairness serving all groups. The problem is a mixed-integer non-linear stochastic program (MINLSP), which is solved by a practical algorithm we proposed including a heuristic clustering algorithm for assigning a set of BSs to serve each user followed by an efficient iterative algorithm that combines the sample average approximation (SAA) and weighted minimum mean square error (WMMSE) to solve the stochastic non-convex sub-problem of precoder design. Numerical results show the explicit max-min rate gain of our proposed transmission scheme compared to the state-of-the-art trivial interference processing methods. Therefore, we conclude that RSMA is a promising technique for cache-aided C-RAN.


title: Impact of magnetic domains on magnetic flux concentrators

abstract: The impact of magnetic domains in magnetic flux concentrators is studied using the simulation software MuMax3. First, the simulation parameters are validated using experimental results from magnetic force microscopy; second the simulation output is benchmarked with the one obtained using Comsol Multiphysics. Finally, the impact of magnetic domain is assessed, showing how micromagnetic effects can become relevant, if not dominant, when scaling the gap between the MFC and the sensor.


title: Markov Localisation using Heatmap Regression and Deep Convolutional Odometry

abstract: In the context of self-driving vehicles there is strong competition between approaches based on visual localisation and LiDAR. While LiDAR provides important depth information, it is sparse in resolution and expensive. On the other hand, cameras are low-cost and recent developments in deep learning mean they can provide high localisation performance. However, several fundamental problems remain, particularly in the domain of uncertainty, where learning based approaches can be notoriously over-confident. Markov, or grid-based, localisation was an early solution to the localisation problem but fell out of favour due to its computational complexity. Representing the likelihood field as a grid (or volume) means there is a trade off between accuracy and memory size. Furthermore, it is necessary to perform expensive convolutions across the entire likelihood volume. Despite the benefit of simultaneously maintaining a likelihood for all possible locations, grid based approaches were superseded by more efficient particle filters and Monte Carlo Localisation (MCL). However, MCL introduces its own problems e.g. particle deprivation. Recent advances in deep learning hardware allow large likelihood volumes to be stored directly on the GPU, along with the hardware necessary to efficiently perform GPU-bound 3D convolutions and this obviates many of the disadvantages of grid based methods. In this work, we present a novel CNN-based localisation approach that can leverage modern deep learning hardware. By implementing a grid-based Markov localisation approach directly on the GPU, we create a hybrid CNN that can perform image-based localisation and odometry-based likelihood propagation within a single neural network. The resulting approach is capable of outperforming direct pose regression methods as well as state-of-the-art localisation systems.


title: Quantum-Optical Spectrometry in Relativistic Laser-Plasma Interactions Using the High-Harmonic Generation Process: A Proposal

abstract: Quantum-optical spectrometry is a recently developed shot-to-shot photon correlation-based method, namely using a quantum spectrometer (QS), that has been used to reveal the quantum optical nature of intense laser-matter interactions and connect the research domains of quantum optics (QO) and strong laser-field physics (SLFP). The method provides the probability of absorbing photons from a driving laser field towards the generation of a strong laser-field interaction product, such as high-order harmonics. In this case, the harmonic spectrum is reflected in the photon number distribution of the infrared (IR) driving field after its interaction with the high harmonic generation medium. The method was implemented in non-relativistic interactions using high harmonics produced by the interaction of strong laser pulses with atoms and semiconductors. Very recently, it was used for the generation of non-classical light states in intense laser-atom interaction, building the basis for studies of quantum electrodynamics in strong laser-field physics and the development of a new class of non-classical light sources for applications in quantum technology. Here, after a brief introduction of the QS method, we will discuss how the QS can be applied in relativistic laser-plasma interactions and become the driving factor for initiating investigations on relativistic quantum electrodynamics.


title: Hybrid Deep Neural Network for Brachial Plexus Nerve Segmentation in Ultrasound Images

abstract: Ultrasound-guided regional anesthesia (UGRA) can replace general anesthesia (GA), improving pain control and recovery time. This method can be applied on the brachial plexus (BP) after clavicular surgeries. However, identification of the BP from ultrasound (US) images is difficult, even for trained professionals. To address this problem, convolutional neural networks (CNNs) and more advanced deep neural networks (DNNs) can be used for identification and segmentation of the BP nerve region. In this paper, we propose a hybrid model consisting of a classification model followed by a segmentation model to segment BP nerve regions in ultrasound images. A CNN model is employed as a classifier to precisely select the images with the BP region. Then, a U-net or M-net model is used for the segmentation. Our experimental results indicate that the proposed hybrid model significantly improves the segmentation performance over a single segmentation model.


title: Fault-Tolerant Labeling and Compact Routing Schemes

abstract: The paper presents fault-tolerant (FT) labeling schemes for general graphs, as well as, improved FT routing schemes. For a given $n$-vertex graph $G$ and a bound $f$ on the number of faults, an $f$-FT connectivity labeling scheme is a distributed data structure that assigns each of the graph edges and vertices a short label, such that given the labels of the vertices $s$ and $t$, and at most $f$ failing edges $F$, one can determine if $s$ and $t$ are connected in $G \setminus F$. The primary complexity measure is the length of the individual labels. Since their introduction by [Courcelle, Twigg, STACS '07], compact FT labeling schemes have been devised only for a limited collection of graph families. In this work, we fill in this gap by proposing two (independent) FT connectivity labeling schemes for general graphs, with a nearly optimal label length. This serves the basis for providing also FT approximate distance labeling schemes, and ultimately also routing schemes. Our main results for an $n$-vertex graph and a fault bound $f$ are: -- There is a randomized FT connectivity labeling scheme with a label length of $O(f+\log n)$ bits, hence optimal for $f=O(\log n)$. This scheme is based on the notion of cycle space sampling [Pritchard, Thurimella, TALG '11]. -- There is a randomized FT connectivity labeling scheme with a label length of $O(\log^3 n)$ bits (independent of the number of faults $f$). This scheme is based on the notion of linear sketches of [Ahn et al., SODA '12]. -- For $k\geq 1$, there is a randomized routing scheme that routes a message from $s$ to $t$ in the presence of a set $F$ of faulty edges, with stretch $O(|F|^2 k)$ and routing tables of size $\tilde{O}(f^3 n^{1/k})$. This significantly improves over the state-of-the-art bounds by [Chechik, ICALP '11], providing the first scheme with sub-linear FT labeling and routing schemes for general graphs.


title: Face-masks save us from SARS-CoV-2 transmission

abstract: We present results on the infection risk from SARS-CoV-2 under different scenarios based on measured particle size-dependent mask penetration, measured total inward leakage, measured human aerosol emission for sizes from 10nm to 1mm, and re-hydration on inhalation. Well-mixed room models significantly underestimate the risk of infection for short and direct exposure. To this end, we estimate the upper bound for infection risk with the susceptible in the infectious exhalation cloud or wearing masks by having the masked susceptible inhale the entire exhalation of a masked infectious. Social distances without a mask, even at 3m between speaking individuals results in an upper bound of 90\% for risk of infection after a few minutes. If both wear a surgical mask, the risk of infection for the person speaking remains below 26\% even after 60 minutes. When both the infectious and susceptible wear a well-fitting FFP2 mask, the upper bound for risk is reduced by a factor of 60 compared to surgical masks. In both cases, face leakage is very important. For FFP2 masks, leakage is low in the nasal region and directed upward, which can be further reduced significantly by applying double-sided medical tape there. Considering that the calculated upper bound greatly overestimates the risk of infection, and the fact that with a poorly worn mask even the upper bound we calculated is very low, we conclude that wearing a mask, even with some leakage, provides excellent third party and self-protection.


title: DLA-Net: Learning Dual Local Attention Features for Semantic Segmentation of Large-Scale Building Facade Point Clouds

abstract: Semantic segmentation of building facade is significant in various applications, such as urban building reconstruction and damage assessment. As there is a lack of 3D point clouds datasets related to the fine-grained building facade, we construct the first large-scale building facade point clouds benchmark dataset for semantic segmentation. The existing methods of semantic segmentation cannot fully mine the local neighborhood information of point clouds. Addressing this problem, we propose a learnable attention module that learns Dual Local Attention features, called DLA in this paper. The proposed DLA module consists of two blocks, including the self-attention block and attentive pooling block, which both embed an enhanced position encoding block. The DLA module could be easily embedded into various network architectures for point cloud segmentation, naturally resulting in a new 3D semantic segmentation network with an encoder-decoder architecture, called DLA-Net in this work. Extensive experimental results on our constructed building facade dataset demonstrate that the proposed DLA-Net achieves better performance than the state-of-the-art methods for semantic segmentation.


title: A global view on star formation: The GLOSTAR Galactic Plane Survey. I. Overview and first results for the Galactic longitude range 28{\deg} < l < 36{\deg}

abstract: Surveys of the Milky Way at various wavelengths have changed our view of star formation in our Galaxy considerably in recent years. In this paper we give an overview of the GLOSTAR survey, a new survey covering large parts (145 square degrees) of the northern Galactic plane using the Karl G. Jansky Very Large Array (JVLA) in the frequency range 4-8 GHz and the Effelsberg 100-m telescope. This provides for the first time a radio survey covering all angular scales down to 1.5 arcsecond, similar to complementary near-IR and mid-IR galactic plane surveys. We outline the main goals of the survey and give a detailed description of the observations and the data reduction strategy. In our observations we covered the radio continuum in full polarization, as well as the 6.7 GHz methanol maser line, the 4.8~GHz formaldehyde line, and seven radio recombination lines. The observations were conducted in the most compact D configuration of the VLA and in the more extended B configuration. This yielded spatial resolutions of 18" and 1.5" for the two configurations, respectively. We also combined the D configuration images with the Effelsberg 100-m data to provide zero spacing information, and we jointly imaged the D- and B-configuration data for optimal sensitivity of the intermediate spatial ranges. Here we show selected results for the first part of the survey, covering the range of 28 deg <l<36 deg and |b|< 1 deg, including the full low-resolution continuum image, examples of high-resolution images of selected sources, and the first results from the spectral line data.


title: The third law of thermodynamics, non-extensivity, and energy definition in black hole physics

abstract: Working in the framework of generalized statistics, the problem of establishing the third law of thermodynamics in the black hole physics is studied by focusing on Schwarzschild black hole which easily and clearly exposes the violation of this law in the common approach based on Bekenstein entropy. Additionally, it is addressed that some inconsistencies between the predictions of quantum field theory and thermodynamics about the black hole temperature may be reconciled by using the thermodynamics laws in order to broaden energy definition. It claims that thermodynamics should be employed as a powerful tool in looking for more comprehensive energy definitions in high-energy physics, still mysterious.


title: Large-scale, Dynamic and Distributed Coalition Formation with Spatial and Temporal Constraints

abstract: The Coalition Formation with Spatial and Temporal constraints Problem (CFSTP) is a multi-agent task allocation problem in which few agents have to perform many tasks, each with its deadline and workload. To maximize the number of completed tasks, the agents need to cooperate by forming, disbanding and reforming coalitions. The original mathematical programming formulation of the CFSTP is difficult to implement, since it is lengthy and based on the problematic Big-M method. In this paper, we propose a compact and easy-to-implement formulation. Moreover, we design D-CTS, a distributed version of the state-of-the-art CFSTP algorithm. Using public London Fire Brigade records, we create a dataset with $347588$ tasks and a test framework that simulates the mobilization of firefighters in dynamic environments. In problems with up to $150$ agents and $3000$ tasks, compared to DSA-SDP, a state-of-the-art distributed algorithm, D-CTS completes $3.79\% \pm [42.22\%, 1.96\%]$ more tasks, and is one order of magnitude more efficient in terms of communication overhead and time complexity. D-CTS sets the first large-scale, dynamic and distributed CFSTP benchmark.


title: The influence of the symmetry of identical particles on flight times

abstract: In this work, our purpose is to show how the symmetry of identical particles can influence the time evolution of free particles in the nonrelativistic and relativistic domains. For this goal, we consider a system of either two distinguishable or indistinguishable (bosons and fermions) particles. Two classes of initial conditions have been studied: different initial locations with the same momenta, and the same locations with different momenta. The flight time distribution of particles arriving at a `screen' is calculated in each case. Fermions display broader distributions as compared with either distinguishable particles or bosons, leading to earlier and later arrivals for all the cases analyzed here. The symmetry of the wave function seems to speed up or slow down propagation of particles. Due to the cross terms, certain initial conditions lead to bimodality in the fermionic case. Within the nonrelativistic domain and when the short-time survival probability is analyzed, if the cross term becomes important, one finds that the decay of the overlap of fermions is faster than for distinguishable particles which in turn is faster than for bosons. These results are of interest in the short time limit since they imply that the well-known quantum Zeno effect would be stronger for bosons than for fermions.Fermions also arrive earlier than bosons when they are scattered by a delta barrier. Furthermore, the particle symmetry does not affect the mean tunneling flight time and it is given by the phase time for the distinguishable particle.


title: Parallel edges in ribbon graphs and interpolating behavior of partial-duality polynomials

abstract: Recently, Gross, Mansour and Tucker introduced the partial-twuality polynomials. In this paper, we find that when there are enough parallel edges, any multiple graph is a negative answer to the problem 8.7 in their paper [European J. Combin. 95 (2021), 103329]: Is the restricted-orientable partial-Petrial polynomial of an arbitrary ribbon graph even-interpolating? In addition, we also find a counterexample to the conjecture 8.1 of Gross, Mansour and Tucker: If the partial-dual genus polynomial is neither an odd nor an even polynomial, then it is interpolating.


title: An Idempotent Cryptarithm

abstract: Notice that the square of $9376$ is $87909376$ which has as its rightmost four digits $9376$. To generalize this remarkable fact, we show that, for each integer $n\ge 2$, there exists at least one and at most two positive integers $x$ with exactly $n$-digits in base-$10$ (meaning the leftmost or $n^{\text{th}}$ digit from the right is non-zero) such that squaring the integer results in an integer whose rightmost $n$ digits form the integer $x$. We then generalize the argument to prove that, in an arbitrary number base $B\ge 2$ with exactly $m$ distinct prime factors, an upper bound is $2^m -2$ and a lower bound is $2^{m-1}-1$ for the number of such $n$-digit positive integers. For $n=1$, there are exactly $2^m -1$ solutions, including $1$ and excluding $0$.


title: The Landau and Non-cutoff Boltzmann Equation in Union of Cubes

abstract: The existence and stability of collisional kinetic equation, especially non-cutoff Boltzmann equation, in bounded domain with physical boundary condition is longstanding open problem. This work proves the global stability of the Landau equation and non-cutoff Boltzmann equation in union of cubes with the specular reflection boundary condition when an initial datum is near Maxwellian. Moreover, the solution enjoys exponential large-time decay in bounded domain. Our method is based on that fact that normal derivatives in cubes is also derivatives along axis, which allows us to obtain high-order derivative estimates.


title: A review of matrix SIR Arino epidemic models

abstract: Many of the models used nowadays in mathematical epidemiology, in particular in COVID-19 research, belong to a certain sub-class of compartmental models whose classes may be divided into three "(x, y, z)" groups, which we will call respectively "susceptible/entrance, diseased, and output" (in the classic SIR case, there is only one class of each type). Roughly, the ODE dynamics of these models contain only linear terms, with the exception of products between x and y terms. It has long been noticed that the basic reproduction number R has a very simple formula (3.3) in terms of the matrices which define the model, and an explicit first integral formula (3.8) is also available. These results can be traced back at least to [ABvdD+07] and [Fen07], respectively, and may be viewed as the "basic laws of SIR-type epidemics"; however many papers continue to reprove them in particular instances (by the next-generation matrix method or by direct computations, which are unnecessary). This motivated us to redraw the attention to these basic laws and provide a self-contained reference of related formulas for (x, y, z) models. We propose to rebaptize the class to which they apply as matrix SIR epidemic models, abbreviated as SYR, to emphasize the similarity to the classic SIR case. For the case of one susceptible class, we propose to use the name SIR-PH, due to a simple probabilistic interpretation as SIR models where the exponential infection time has been replaced by a PH-type distribution. We note that to each SIR-PH model, one may associate a scalar quantity Y(t) which satisfies "classic SIR relations", see (3.8). In the case of several susceptible classes, this generalizes to (5.10); in a future paper, we will show that (3.8), (5.10) may be used to obtain approximate control policies which compare well with the optimal control of the original model.


title: A kinetic theory for quantum information transport

abstract: In this work we build a theoretical framework for the transport of information in quantum systems. This is a framework aimed at describing how out of equilibrium open quantum systems move information around their state space, using an approach inspired by transport theories. The main goal is to build new mathematical tools, together with physical intuition, to improve our understanding of non-equilibrium phenomena in quantum systems. In particular, we are aiming at unraveling the interplay between dynamical properties and information-theoretic features. The main rationale here is to have a framework that can imitate, and potentially replicate, the decades-long history of success of transport theories in modeling non-equilibrium phenomena.


title: Radio Detection of PSR J1813-1749 in HESS J1813-178: The Most Scattered Pulsar Known

abstract: The 44.7 ms X-ray pulsar in the supernova remnant G12.82-0.02/HESS J1813-178 has the second highest spin-down luminosity of known pulsars in the Galaxy, with E-dot=5.6e37 erg/s. Using the Green Bank Telescope, we have detected radio pulsations from PSR J1813-1749 at 4.4-10.2 GHz. The pulse is highly scattered, with an exponential decay timescale \tau longer than that of any other pulsar at these frequencies. A point source detected at this position by Dzib et al. in several observations with the Jansky Very Large Array can be attributed to the pulsed emission. The steep dependence of \tau on observing frequency explains why all previous pulsation searches at lower frequencies failed (\tau~0.25 s at 2 GHz). The large dispersion measure, DM=1087 pc/cc, indicates a distance of either 6.2 or 12 kpc according to two widely used models of the electron density distribution in the Galaxy. These disfavor a previously suggested association with a young stellar cluster at the closer distance of 4.8 kpc. The high X-ray measured column density of ~1e23/cm^2 also supports a large distance. If at d~12 kpc, HESS J1813-178 would be one of the most luminous TeV sources in the Galaxy.


title: Decision Concept Lattice vs. Decision Trees and Random Forests

abstract: Decision trees and their ensembles are very popular models of supervised machine learning. In this paper we merge the ideas underlying decision trees, their ensembles and FCA by proposing a new supervised machine learning model which can be constructed in polynomial time and is applicable for both classification and regression problems. Specifically, we first propose a polynomial-time algorithm for constructing a part of the concept lattice that is based on a decision tree. Second, we describe a prediction scheme based on a concept lattice for solving both classification and regression tasks with prediction quality comparable to that of state-of-the-art models.


title: Privacy and Confidentiality in Process Mining -- Threats and Research Challenges

abstract: Privacy and confidentiality are very important prerequisites for applying process mining in order to comply with regulations and keep company secrets. This paper provides a foundation for future research on privacy-preserving and confidential process mining techniques. Main threats are identified and related to an motivation application scenario in a hospital context as well as to the current body of work on privacy and confidentiality in process mining. A newly developed conceptual model structures the discussion that existing techniques leave room for improvement. This results in a number of important research challenges that should be addressed by future process mining research.


title: Analysis of Vision-based Abnormal Red Blood Cell Classification

abstract: Identification of abnormalities in red blood cells (RBC) is key to diagnosing a range of medical conditions from anaemia to liver disease. Currently this is done manually, a time-consuming and subjective process. This paper presents an automated process utilising the advantages of machine learning to increase capacity and standardisation of cell abnormality detection, and its performance is analysed. Three different machine learning technologies were used: a Support Vector Machine (SVM), a classical machine learning technology; TabNet, a deep learning architecture for tabular data; U-Net, a semantic segmentation network designed for medical image segmentation. A critical issue was the highly imbalanced nature of the dataset which impacts the efficacy of machine learning. To address this, synthesising minority class samples in feature space was investigated via Synthetic Minority Over-sampling Technique (SMOTE) and cost-sensitive learning. A combination of these two methods is investigated to improve the overall performance. These strategies were found to increase sensitivity to minority classes. The impact of unknown cells on semantic segmentation is demonstrated, with some evidence of the model applying learning of labelled cells to these anonymous cells. These findings indicate both classical models and new deep learning networks as promising methods in automating RBC abnormality detection.


title: On the KLM properties of a fuzzy DL with Typicality

abstract: The paper investigates the properties of a fuzzy logic of typicality. The extension of fuzzy logic with a typicality operator was proposed in recent work to define a fuzzy multipreference semantics for Multilayer Perceptrons, by regarding the deep neural network as a conditional knowledge base. In this paper, we study its properties. First, a monotonic extension of a fuzzy ALC with typicality is considered (called ALC^FT) and a reformulation the KLM properties of a preferential consequence relation for this logic is devised. Most of the properties are satisfied, depending on the reformulation and on the fuzzy combination functions considered. We then strengthen ALC^FT with a closure construction by introducing a notion of faithful model of a weighted knowledge base, which generalizes the notion of coherent model of a conditional knowledge base previously introduced, and we study its properties.


title: A Question of Time: Revisiting the Use of Recursive Filtering for Temporal Calibration of Multisensor Systems

abstract: We examine the problem of time delay estimation, or temporal calibration, in the context of multisensor data fusion. Differences in processing intervals and other factors typically lead to a relative delay between measurement updates from disparate sensors. Correct (optimal) data fusion demands that the relative delay must either be known in advance or identified online. There have been several recent proposals in the literature to determine the delay using recursive, causal filters such as the extended Kalman filter (EKF). We carefully review this formulation and show that there are fundamental issues with the structure of the EKF (and related algorithms) when the delay is included in the filter state vector as a parameter to be estimated. These structural issues, in turn, leave recursive filters prone to bias and inconsistency. Our theoretical analysis is supported by simulation studies that demonstrate the implications in terms of filter performance; although tuning of the filter noise variances may reduce the chance of inconsistency or divergence, the underlying structural concerns remain. We offer brief suggestions for ways to maintain the computational efficiency of recursive filtering for temporal calibration while avoiding the drawbacks of the standard filtering algorithms.


title: Impact of astrophysical binary coalescence timescales on the rate of lensed gravitational wave events

abstract: The expected event rate of lensed gravitational wave sources scales with the merger rate at redshift $z\geq 1$, where the optical depth for lensing is high. It is commonly assumed that the merger rate of the astrophysical compact objects is closely connected with the star formation rate, which peaks around redshift $z\sim 2$. However, a major source of uncertainty is the delay time between the formation and merger of compact objects. We explore the impact of delay time on the lensing event rate. We show that as the delay time increases, the peak of the merger rate of gravitational wave sources gets deferred to a lower redshift. This leads to a reduction in the event rate of the lensed events which are detectable by the gravitational wave detectors. We show that for a delay time of around $10$ Gyr or larger, the lensed event rate can be less than one per year for the design sensitivity of LIGO/Virgo. We also estimate the merger rate for lensed sub-threshold for different delay time scenarios, finding that for larger delay times the number of lensed sub-threshold events is reduced, whereas for small-delay time models they are significantly more frequent. This analysis shows for the first time that lensing is a complementary probe to explore different formation channels of binary systems by exploiting the lensing event rate from the well-detected events and sub-threshold events which are measurable using the network of gravitational wave detectors.

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.HE


title: Relational Reasoning Networks

abstract: Neuro-symbolic methods integrate neural architectures, knowledge representation and reasoning. However, they have been struggling at both dealing with the intrinsic uncertainty of the observations and scaling to real-world applications. This paper presents Relational Reasoning Networks (R2N), a novel end-to-end model that performs relational reasoning in the latent space of a deep learner architecture, where the representations of constants, ground atoms and their manipulations are learned in an integrated fashion. Unlike flat architectures like Knowledge Graph Embedders, which can only represent relations between entities, R2Ns define an additional computational structure, accounting for higher-level relations among the ground atoms. The considered relations can be explicitly known, like the ones defined by logic formulas, or defined as unconstrained correlations among groups of ground atoms. R2Ns can be applied to purely symbolic tasks or as a neuro-symbolic platform to integrate learning and reasoning in heterogeneous problems with both symbolic and feature-based represented entities. The proposed model overtakes the limitations of previous neuro-symbolic methods that have been either limited in terms of scalability or expressivity. The proposed methodology is shown to achieve state-of-the-art results in different experimental settings.


title: Improving Conditional Coverage via Orthogonal Quantile Regression

abstract: We develop a method to generate prediction intervals that have a user-specified coverage level across all regions of feature-space, a property called conditional coverage. A typical approach to this task is to estimate the conditional quantiles with quantile regression -- it is well-known that this leads to correct coverage in the large-sample limit, although it may not be accurate in finite samples. We find in experiments that traditional quantile regression can have poor conditional coverage. To remedy this, we modify the loss function to promote independence between the size of the intervals and the indicator of a miscoverage event. For the true conditional quantiles, these two quantities are independent (orthogonal), so the modified loss function continues to be valid. Moreover, we empirically show that the modified loss function leads to improved conditional coverage, as evaluated by several metrics. We also introduce two new metrics that check conditional coverage by looking at the strength of the dependence between the interval size and the indicator of miscoverage.


title: On a conjecture of Iizuka

abstract: For a given odd positive integer $n$ and an odd prime $p$, we construct an infinite family of quadruples of imaginary quadratic fields $\mathbb{Q}(\sqrt{d})$, $\mathbb{Q}(\sqrt{d+1})$, $\mathbb{Q}(\sqrt{d+4})$ and $\mathbb{Q}(\sqrt{d+4p^2})$ with $d\in \mathbb{Z}$ such that the class number of each of them is divisible by $n$. Subsequently, we show that there is an infinite family of quintuples of imaginary quadratic fields $\mathbb{Q}(\sqrt{d})$, $\mathbb{Q}(\sqrt{d+1})$, $\mathbb{Q}(\sqrt{d+4})$, $\mathbb{Q}(\sqrt{d+36})$ and $\mathbb{Q}(\sqrt{d+100})$ with $d\in \mathbb{Z}$ whose class numbers are all divisible by $n$. Our results provide a complete proof of Iizuka's conjecture (in fact a generalization of it) for the case $m=1$. Our results also affirmatively answer a weaker version of (a generalization of) Iizuka's conjecture for $m\geq 4$.


title: Distance and Position Estimation in Visible Light Systems with RGB LEDs

abstract: In this manuscript, distance and position estimation problems are investigated for visible light positioning (VLP) systems with red-green-blue (RGB) light emitting diodes (LEDs). The accuracy limits on distance and position estimation are calculated in terms of the Cramer-Rao lower bound (CRLB) for three different scenarios. Scenario~1 and Scenario~2 correspond to synchronous and asynchronous systems, respectively, with known channel attenuation formulas at the receiver. In Scenario~3, a synchronous system is considered but channel attenuation formulas are not known at the receiver. The derived CRLB expressions reveal the relations among distance/position estimation accuracies in the considered scenarios and lead to intuitive explanations for the benefits of using RGB LEDs. In addition, maximum likelihood (ML) estimators are derived in all scenarios, and it is shown that they can achieve close performance to the CRLBs in some cases for sufficiently high source optical powers.


title: Strong approximation of Bessel processes

abstract: We consider the path approximation of Bessel processes and develop a new and efficient algorithm. This study is based on a recent work by the authors, on the path approximation of the Brownian motion, and on the construction of specific own techniques. It is part of the family of the so-called $\varepsilon$-strong approximations. More precisely, our approach constructs jointly the sequences of exit times and corresponding exit positions of some well-chosen domains, the construction of these domains being an important step. Based on this procedure, we emphasize an algorithm which is easy to implement. Moreover, we can develop the method for any dimension. We treat separately the integer dimension case and the non integer framework, each situation requiring appropriate techniques. In particular, for both situations, we show the convergence of the scheme and provide the control of the efficiency with respect to the small parameter $\varepsilon$. We expand the theoretical part by a series of numerical developments.


title: A DMI guide to magnets micro-world

abstract: Dzyaloshinskii-Moriya interaction, DMI in short, represents an antisymmetric type of magnetic interactions that favour orthogonal orientation of spins and competes with Heisenberg exchange. Being introduced to explain weak ferromagnetism in antiferromagnets without an inversion center between magnetic atoms such an anisotropic interaction can be used to analyze other non-trivial magnetic structures of technological importance including spin spirals and skyrmions. Despite the fact that the corresponding DMI contribution to the magnetic energy of the system has a very compact form of the vector product of spins, the determination of DMI from first-principles electronic structure is a very challenging methodological and technical problem whose solution opens a door into the fascinating microscopic world of complex magnetic materials. In this paper we review a few such methods developed by us for calculating DMI and their applications to study the properties of real materials.


title: Computing Least and Greatest Fixed Points in Absorptive Semirings

abstract: We present two methods to algorithmically compute both least and greatest solutions of polynomial equation systems over absorptive semirings (with certain completeness and continuity assumptions), such as the tropical semiring. Both methods require a polynomial number of semiring operations, including semiring addition, multiplication and an infinitary power operation. Our main result is a closed-form solution for least and greatest fixed points based on the fixed-point iteration. The proof builds on the notion of (possibly infinite) derivation trees; a careful analysis of the shape of these trees allows us to collapse the fixed-point iteration to a linear number of steps. The second method is an iterative symbolic computation in the semiring of generalized absorptive polynomials, largely based on results on Kleene algebras.


title: Sub-Character Tokenization for Chinese Pretrained Language Models

abstract: Tokenization is fundamental to pretrained language models (PLMs). Existing tokenization methods for Chinese PLMs typically treat each character as an indivisible token. However, they ignore the unique feature of the Chinese writing system where additional linguistic information exists below the character level, i.e., at the sub-character level. To utilize such information, we propose sub-character (SubChar for short) tokenization. Specifically, we first encode the input text by converting each Chinese character into a short sequence based on its glyph or pronunciation, and then construct the vocabulary based on the encoded text with sub-word segmentation. Experimental results show that SubChar tokenizers have two main advantages over existing tokenizers: 1) They can tokenize inputs into much shorter sequences, thus improving the computational efficiency. 2) Pronunciation-based SubChar tokenizers can encode Chinese homophones into the same transliteration sequences and produce the same tokenization output, hence being robust to homophone typos. At the same time, models trained with SubChar tokenizers perform competitively on downstream tasks. We release our code and models at https://github.com/thunlp/SubCharTokenization to facilitate future work.


title: On moments of downward passage times for spectrally negative L\'evy processes

abstract: The existence of moments of first downward passage times of a spectrally negative L\'evy process is governed by the general dynamics of the L\'evy process, i.e. whether the L\'evy process is drifting to $+\infty$, $-\infty$ or oscillates. Whenever the L\'evy process drifts to $+\infty$, we prove that the $\kappa$-th moment of the first passage time (conditioned to be finite) exists if and only if the $(\kappa+1)$-th moment of the L\'evy jump measure exists. This generalises a result shown earlier by Delbaen for Cram\'er-Lundberg risk processes \cite{Delbaen1990}. Whenever the L\'evy process drifts to $-\infty$, we prove that all moments of the first passage time exist, while for an oscillating L\'evy process we derive conditions for non-existence of the moments and in particular we show that no integer moments exist.


title: A note on the network coloring game: A randomized distributed $(\Delta +1)$-coloring algorithm

abstract: The network coloring game has been proposed in the literature of social sciences as a model for conflict-resolution circumstances. The players of the game are the vertices of a graph with $n$ vertices and maximum degree $\Delta$. The game is played over rounds, and in each round all players simultaneously choose a color from a set of available colors. Players have local information of the graph: they only observe the colors chosen by their neighbors and do not communicate or cooperate with one another. A player is happy when she has chosen a color that is different from the colors chosen by her neighbors, otherwise she is unhappy, and a configuration of colors for which all players are happy is a proper coloring of the graph. It has been shown in the literature that, when the players adopt a particular greedy randomized strategy, the game reaches a proper coloring of the graph within $O(\log(n))$ rounds, with high probability, provided the number of colors available to each player is at least $\Delta+2$. In this note we show that a modification of the aforementioned greedy strategy yields likewise a proper coloring of the graph, provided the number of colors available to each player is at least $\Delta+1$, and results in a simple randomized distributed algorithm for the $(\Delta+1)$-coloring problem..


title: Visualizing band structure hybridization and superlattice effects in twisted MoS$_2$/WS$_2$ heterobilayers

abstract: A mismatch of atomic registries between single-layer transition metal dichalcogenides (TMDs) in a two dimensional van der Waals heterostructure produces a moir\'e superlattice with a periodic potential, which can be fine-tuned by introducing a twist angle between the materials. This approach is promising both for controlling the interactions between the TMDs and for engineering their electronic band structures, yet direct observation of the changes to the electronic structure introduced with varying twist angle has so far been missing. Here, we probe heterobilayers comprised of single-layer MoS$_2$ and WS$_2$ with twist angles of $(2.0 \pm 0.5)^{\circ}$, $(13.0 \pm 0.5)^{\circ}$, and $(20.0 \pm 0.5)^{\circ}$ and investigate the differences in their electronic band structure using micro-focused angle-resolved photoemission spectroscopy. We find strong interlayer hybridization between MoS$_2$ and WS$_2$ electronic states at the $\bar{\mathrm{\Gamma}}$-point of the Brillouin zone, leading to a transition from a direct bandgap in the single-layer to an indirect gap in the heterostructure. Replicas of the hybridized states are observed at the centre of twist angle-dependent moir\'e mini Brillouin zones. We confirm that these replica features arise from the inherent moir\'e potential by comparing our experimental observations with density functional theory calculations of the superlattice dispersion. Our direct visualization of these features underscores the potential of using twisted heterobilayer semiconductors to engineer hybrid electronic states and superlattices that alter the electronic and optical properties of 2D heterostructures.


title: Single-Pixel Compressive Imaging in Shift-Invariant Spaces via Exact Wavelet Frames

abstract: This paper introduces a novel framework for single-pixel imaging via compressive sensing (CS) in shift-invariant (SI) spaces by exploiting the sparsity property of a wavelet representation. We reinterpret the acquisition procedure of a single-pixel camera as filtering of the observed signal with continuous-domain functions that lie in an SI subspace spanned by the integer shifts of the box function. The signal is modeled by an arbitrary SI generator whose special case is the box function, which, as we show in the paper, is conventionally used in single-pixel imaging. We propose to use separable B-spline generators which are intuitively complemented by sparsity-inducing spline wavelets. The SI models of the acquisition and the underlying signal lead to an exact discretization of an inherently continuous-domain inverse problem to a finite-dimensional problem of CS type. By solving the CS optimization problem, a parametric representation of the signal is obtained. Such a representation offers many practical advantages in image processing applications. We propose an efficient matrix-free implementation of the framework and conduct it on the standard test images and real-world measurement data. Experimental results show that the proposed framework achieves a significant improvement of the reconstruction quality relative to the conventional discretization in CS setups. MATLAB implementation of the method described in this paper has been made publicly available on https://github.com/retiro/compressive_imaging_in_si_spaces.


title: Time Division Multiplexing: From a Co-Prime Sampling Point of View

abstract: Co-prime sampling is a strategy for acquiring the signal below the Nyquist rate. The prototype and extended co-prime samplers require two low rate sub-samplers. One of the sub-samplers in the extended co-prime scheme is not utilized for every alternate co-prime period. Therefore, this paper proposes a time multiplexing strategy to utilize the vacant slots. It describes the deviation from the existing theory. Closed-form expressions for weight functions are provided. Acquisition of two signals is described with three samplers as well as two samplers. A generalized structure is also proposed with an extremely sparse co-prime sampling strategy.


title: Global existence and blow-up of solutions to porous medium equation and pseudo-parabolic equation, I. Stratified Groups

abstract: In this paper, we prove a global existence and blow-up of the positive solutions to the initial-boundary value problem of the nonlinear porous medium equation and the nonlinear pseudo-parabolic equation on the stratified Lie groups. Our proof is based on the concavity argument and the Poincar\'e inequality, established in [38] for stratified groups.


title: Electric field measurements made on a robotic platform

abstract: This presentation reports the first known data from a field mill mounted on a ground-based robotic platform. The robot's motor and electrostatic charging of its wheels do not perturb the field mill data, and electric field varies smoothly whilst the robot is moving. Test measurements under a charged polystyrene plate are reduced in variability by a factor of 2 compared to a hand-held field mill. This technology has potential for autonomous measurements in inaccessible or hazardous environments.


title: Extended relativistic non-equilibrium thermostatics of stellar structures with radiation pressure

abstract: We establish the extended formalism for description of the static spherically symmetric relativistic non-equilibrium stellar systems in the formation of which the radiation pressure plays the key role. The main concept of this extended formalism inherits the ideas, on which the Israel-Stewart causal thermodynamics is based, but now the unit spacelike four-vector, indicated by the term director, is exploited in addition to the unit timelike medium velocity four-vector. An application of the extended formalism is considered; we analyze the profiles of the non-equilibrium pressure and temperature as the functions of guiding parameters introduced phenomenologically.


title: Comparing simulations and experiments of positive streamers in air: steps toward model validation

abstract: We compare simulations and experiments of single positive streamer discharges in air at 100 mbar, aiming towards model validation. Experimentally, streamers are generated in a plate-plate geometry with a protruding needle. We are able to capture the complete time evolution of reproducible single-filament streamers with a ns gate-time camera. A 2D axisymmetric drift-diffusion-reaction fluid model is used to simulate streamers under conditions closely matching those of the experiments. Streamer velocities, radii and light emission profiles are compared between model and experiment. Good qualitative agreement is observed between the experimental and simulated optical emission profiles, and for the streamer velocity and radius during the entire evolution. Quantitatively, the simulated streamer velocity is about 20% to 30% lower at the same streamer length, and the simulated radius is about 1 mm (20% to 30%) smaller. The effect of various parameters on the agreement between model and experiment is studied, such as the used transport data, the background ionization level, the photoionization rate, the gas temperature, the voltage rise time and the voltage boundary conditions. An increase in gas temperature due to the 50 Hz experimental repetition frequency could probably account for some of the observed discrepancies.


title: Nora: The Well-Being Coach

abstract: The current pandemic has forced people globally to remain in isolation and practice social distancing, which creates the need for a system to combat the resulting loneliness and negative emotions. In this paper we propose Nora, a virtual coaching platform designed to utilize natural language understanding in its dialogue system and suggest other recommendations based on user interactions. It is intended to provide assistance and companionship to people undergoing self-quarantine or work-from-home routines. Nora helps users gauge their well-being by detecting and recording the user's emotion, sentiment, and stress. Nora also recommends various workout, meditation, or yoga exercises to users in support of developing a healthy daily routine. In addition, we provide a social community inside Nora, where users can connect and share their experiences with others undergoing a similar isolation procedure. Nora can be accessed from anywhere via a web link and has support for both English and Mandarin.


title: WebMIaS on Docker: Deploying Math-Aware Search in a Single Line of Code

abstract: Math informational retrieval (MIR) search engines are absent in the wide-spread production use, even though documents in the STEM fields contain many mathematical formulae, which are sometimes more important than text for understanding. We have developed and open-sourced the WebMIaS MIR search engine that has been successfully deployed in the European Digital Mathematics Library (EuDML). However, its deployment is difficult to automate due to the complexity of this task. Moreover, the solutions developed so far to tackle this challenge are imperfect in terms of speed, maintenance, and robustness. In this paper, we will describe the virtualization of WebMIaS using Docker that solves all three problems and allows anyone to deploy containerized WebMIaS in a single line of code. The publicly available Docker image will also help the community push the development of math-aware search engines in the ARQMath workshop series.


title: Curating Covid-19 data in Links

abstract: Curated scientific databases play an important role in the scientific endeavour and support is needed for the significant effort that goes into their creation and maintenance. This demonstration and case study illustrate how curation support has been developed in the Links cross-tier programming language, a functional, strongly typed language with language-integrated query and support for temporal databases. The chosen case study uses weekly released Covid-19 fatality figures from the Scottish government which exhibit updates to previously released data. This data allows the capture and query of update provenance in our prototype. This demonstration will highlight the potential for language-integrated support for curation to simplify and streamline prototyping of web-applications in support of scientific databases


title: An introduction to network analysis for studies of medication use

abstract: Background: Network Analysis (NA) is a method that has been used in various disciplines such as Social sciences and Ecology for decades. So far, NA has not been used extensively in studies of medication use. Only a handful of papers have used NA in Drug Prescription Networks (DPN). We provide an introduction to NA terminology alongside a guide to creating and extracting results from the medication networks. Objective: To introduce the readers to NA as a tool to study medication use by demonstrating how to apply different NA measures on 3 generated medication networks. Methods: We used the Norwegian Prescription Database (NorPD) to create a network that describes the co-medication in elderly persons in Norway on January 1, 2013. We used the Norwegian Electronic Prescription Support System (FEST) to create another network of severe drug-drug interactions (DDIs). Lastly, we created a network combining the two networks to show the actual use of drugs with severe DDIs. We used these networks to elucidate how to apply and interpret different network measures in medication networks. Results: Interactive network graphs are made available online, Stata and R syntaxes are provided. Various useful network measures for medication networks were applied such as network topological features, modularity analysis and centrality measures. Edge lists data used to generate the networks are openly available for readers in an open data repository to explore and use. Conclusion: We believe that NA can be a useful tool in medication use studies. We have provided information and hopefully inspiration for other researchers to use NA in their own projects. While network analyses are useful for exploring and discovering structures in medication use studies, it also has limitations. It can be challenging to interpret and it is not suitable for hypothesis testing.


title: Optical hyperpolarization of heteronuclear spin singlet order in liquids

abstract: The nuclear spin singlet order involving coupled pairs of spins-1/2 may be used to store nuclear spin hyperpolarization in a room temperature liquid for a time much longer than the spin-lattice relaxation time $T_1$. There both are observations of long-lived homonuclear and heteronuclear spin-singlet order. Although hyperpolarized singlet order of the same species are accessible, hyperpolarized heteronuclear spin-singlet order has not been presented yet. Here we show hyperpolarized singlet order is achievable in the sample of $^{13}$C-labeled formic acid solution at room temperature by using optically polarized nitrogen vacancy (NV) center spins in nanodiamonds.


title: Age of Loop for Wireless Networked Control Systems Optimization

abstract: Joint design of control and communication in Wireless Networked Control Systems (WNCS) is a promising approach for future wireless industrial applications. In this context, Age of Information (AoI) has been increasingly utilized as a metric that is more representative than latency in the context of systems with a sense-compute-actuate cycle. Nevertheless, AoI is commonly defined for a single communication direction, Downlink or Uplink, which does not capture the closed-loop dynamics. In this paper, we extend the concept of AoI by defining a new metric, Age of Loop (AoL), relevant for WNCS closed-loop systems. The AoL is defined as the time elapsed since the piece of information causing the latest action or state (depending on the selected time origin) was generated. We then use the proposed metric to learn the WNCS latency and freshness bounds and we apply such learning methodology to minimize the long term WNCS cost with the least amount of bandwidth. We show that, using the AoL, we can learn the control system requirement and use this information to optimize network resources.


title: A higher-order accurate operator splitting spectral method for the Wigner-Poisson system

abstract: An accurate description of 2-D quantum transport in a double-gate metal oxide semiconductor filed effect transistor (dgMOSFET) requires a high-resolution solver to a coupled system of the 4-D Wigner equation and 2-D Poisson equation. In this paper, we propose an operator splitting spectral method to evolve such Wigner-Poisson system in 4-D phase space with high accuracy. After an operator splitting of the Wigner equation, the resulting two sub-equations can be solved analytically with spectral approximation in phase space. Meanwhile, we adopt a Chebyshev spectral method to solve the Poisson equation. Spectral convergence in phase space and a fourth-order accuracy in time are both numerically verified. Finally, we apply the proposed solver into simulating dgMOSFET, develop the steady states from long-time simulations and obtain numerically converged current-voltage (I-V) curves.


title: Semi-supervised Models are Strong Unsupervised Domain Adaptation Learners

abstract: Unsupervised domain adaptation (UDA) and semi-supervised learning (SSL) are two typical strategies to reduce expensive manual annotations in machine learning. In order to learn effective models for a target task, UDA utilizes the available labeled source data, which may have different distributions from unlabeled samples in the target domain, while SSL employs few manually annotated target samples. Although UDA and SSL are seemingly very different strategies, we find that they are closely related in terms of task objectives and solutions, and SSL is a special case of UDA problems. Based on this finding, we further investigate whether SSL methods work on UDA tasks. By adapting eight representative SSL algorithms on UDA benchmarks, we show that SSL methods are strong UDA learners. Especially, state-of-the-art SSL methods significantly outperform existing UDA methods on the challenging UDA benchmark of DomainNet, and state-of-the-art UDA methods could be further enhanced with SSL techniques. We thus promote that SSL methods should be employed as baselines in future UDA studies and expect that the revealed relationship between UDA and SSL could shed light on future UDA development. Codes are available at \url{https://github.com/YBZh}.


title: Post-Contextual-Bandit Inference

abstract: Contextual bandit algorithms are increasingly replacing non-adaptive A/B tests in e-commerce, healthcare, and policymaking because they can both improve outcomes for study participants and increase the chance of identifying good or even best policies. To support credible inference on novel interventions at the end of the study, nonetheless, we still want to construct valid confidence intervals on average treatment effects, subgroup effects, or value of new policies. The adaptive nature of the data collected by contextual bandit algorithms, however, makes this difficult: standard estimators are no longer asymptotically normally distributed and classic confidence intervals fail to provide correct coverage. While this has been addressed in non-contextual settings by using stabilized estimators, the contextual setting poses unique challenges that we tackle for the first time in this paper. We propose the Contextual Adaptive Doubly Robust (CADR) estimator, the first estimator for policy value that is asymptotically normal under contextual adaptive data collection. The main technical challenge in constructing CADR is designing adaptive and consistent conditional standard deviation estimators for stabilization. Extensive numerical experiments using 57 OpenML datasets demonstrate that confidence intervals based on CADR uniquely provide correct coverage.


title: Dynamic perturbation spreading in networks

abstract: Understanding how local perturbations induce the transient dynamics of a network of coupled units is essential to control and operate such systems. Often a perturbation initiated in one unit spreads to other units whose dynamical state they transiently alter. The maximum state changes at those units and the timings of these changes constitute key characteristics of such transient response dynamics. However, even for linear dynamical systems it is not possible to analytically determine time and amplitude of the maximal response of a unit to a perturbation. Here, we propose to extract approximate peak times and amplitudes from effective expectation values used to characterize the typical time and magnitude of the response of a unit by interpreting the system's response as a probability distribution over time. We derive analytic estimators for the peak response based on these expectation value measures in linearized systems operating close to a stable fixed point. These estimators can be expressed in terms of the inverse of the system's Jacobian. We obtain identical results with different approximations for the response dynamics, indicating that these estimators become exact in the limit of weak coupling. Furthermore, the results suggest that perturbations spread ballistically in networks with diffusive coupling.


title: Dialogue-oriented Pre-training

abstract: Pre-trained language models (PrLM) has been shown powerful in enhancing a broad range of downstream tasks including various dialogue related ones. However, PrLMs are usually trained on general plain text with common language model (LM) training objectives, which cannot sufficiently capture dialogue exclusive features due to the limitation of such training setting, so that there is an immediate need to fill the gap between a specific dialogue task and the LM task. As it is unlikely to collect huge dialogue data for dialogue-oriented pre-training, in this paper, we propose three strategies to simulate the conversation features on general plain text. Our proposed method differs from existing post-training methods that it may yield a general-purpose PrLM and does not individualize to any detailed task while keeping the capability of learning dialogue related features including speaker awareness, continuity and consistency. The resulted Dialog-PrLM is fine-tuned on three public multi-turn dialogue datasets and helps achieve significant and consistent improvement over the plain PrLMs.


title: OpenBox: A Generalized Black-box Optimization Service

abstract: Black-box optimization (BBO) has a broad range of applications, including automatic machine learning, engineering, physics, and experimental design. However, it remains a challenge for users to apply BBO methods to their problems at hand with existing software packages, in terms of applicability, performance, and efficiency. In this paper, we build OpenBox, an open-source and general-purpose BBO service with improved usability. The modular design behind OpenBox also facilitates flexible abstraction and optimization of basic BBO components that are common in other existing systems. OpenBox is distributed, fault-tolerant, and scalable. To improve efficiency, OpenBox further utilizes "algorithm agnostic" parallelization and transfer learning. Our experimental results demonstrate the effectiveness and efficiency of OpenBox compared to existing systems.


title: Bulk-boundary correspondence in disordered higher-order topological insulators

abstract: In this work, we study the disorder effects on the bulk-boundary correspondence of two-dimensional higher-order topological insulators (HOTIs). We concentrate on two cases: (i) bulk-corner correspondence, (ii) edge-corner correspondence. For the bulk-corner correspondence case, we demonstrate the existence of the mobility gaps and clarify the related topological invariant that characterizes the mobility gap. Furthermore, we find that, while the system preserves the bulk-corner correspondence in the presence of disorder, the corner states are protected by the mobility gap instead of the bulk gap. For the edge-corner correspondence case, we show that the bulk mobility gap and edge band gaps of HOTIs are no longer closed simultaneously. Therefore, a rich phase diagram is obtained, including various disorder-induced phase transition processes. Notably, a disorder-induced transition from the non-trivial to trivial phase is realized, distinguishing the HOTIs from the other topological states. Our results deepen the understanding of bulk-boundary correspondence and enrich the topological phase transitions of disordered HOTIs.


title: Reentrant Transitions in a Mixture of Small and Big Particles Interacting via Soft Repulsive Potential

abstract: We report the first observation of temperature-controlled reentrant transition in simulations of mixtures of small and big particles interacting via soft repulsive potential in 2D. As temperature increases, the system passes from a fluid mixture, to a crystal of big particles in a fluid of small particles and back to a fluid mixture. Solidification is driven by entropy gain of small particles which overcomes the free energy cost of confining big ones. Melting results from enhanced interpenetration of particles at high temperature which reduces the entropic forces that stabilize the crystal.


title: Assembly Planning by Recognizing a Graphical Instruction Manual

abstract: This paper proposes a robot assembly planning method by automatically reading the graphical instruction manuals design for humans. Essentially, the method generates an Assembly Task Sequence Graph (ATSG) by recognizing a graphical instruction manual. An ATSG is a graph describing the assembly task procedure by detecting types of parts included in the instruction images, completing the missing information automatically, and correcting the detection errors automatically. To build an ATSG, the proposed method first extracts the information of the parts contained in each image of the graphical instruction manual. Then, by using the extracted part information, it estimates the proper work motions and tools for the assembly task. After that, the method builds an ATSG by considering the relationship between the previous and following images, which makes it possible to estimate the undetected parts caused by occlusion using the information of the entire image series. Finally, by collating the total number of each part with the generated ATSG, the excess or deficiency of parts are investigated, and task procedures are removed or added according to those parts. In the experiment section, we build an ATSG using the proposed method to a graphical instruction manual for a chair and demonstrate the action sequences found in the ATSG can be performed by a dual-arm robot execution. The results show the proposed method is effective and simplifies robot teaching in automatic assembly.


title: Tight uncertainty relations for cycle currents

abstract: Several recent inequalities bound the precision of a current - counting net number of transitions in a system - by a thermodynamic measure of dissipation. However, while currents may be defined locally, dissipation is a global property. Inspired by the fact that ever since Carnot cycles are the unit elements of thermodynamic processes, we prove similar bounds tailored to cycle currents - counting net cycle completions - in terms of their conjugate affinities. We show that these inequalities are stricter than previous ones, even far from equilibrium, and that they allow to tighten those on transition currents. We illustrate our results with a simple model and discuss some technical and conceptual issues related to shifting attention from transition to cycle observables.


title: $\tau$-tilting theory -- An introduction

abstract: The notion of $\tau$-tilting theory was introduced by Adachi, Iyama and Reiten at the beginning of the last decade and quickly became one of the most active areas of research in the representation theory of finite dimensional algebras. The aim of these notes is two-fold. On the one hand, we want to give a friendly introduction to $\tau$-tilting theory to anyone with a small background in representation theory. On the other, we want to fill the apparent gap for a survey on the subject by collecting in one place many of the most important results in $\tau$-tilting theory.


title: Weighted composition operators on the Fock space: iteration and semigroups

abstract: This paper considers discrete and continuous semigroups of (weighted) composition operators on the Fock space. For discrete semigroups consisting of powers of a single operator, the asymptotic behaviour of the semigroups is analysed. For continuous semigroups and groups, a full classification of possible semigroups is given, and the generator is calculated.


title: Machine Learning improved fits of the sound horizon at the baryon drag epoch

abstract: The baryon acoustic oscillations (BAO) have proven to be an invaluable tool in constraining the expansion history of the Universe at late times and are characterized by the comoving sound horizon at the baryon drag epoch $r_\mathrm{s}(z_\mathrm{d})$. The latter quantity can be calculated either numerically using recombination codes or via fitting functions, such as the one by Eisenstein and Hu (EH), made via grids of parameters of the recombination history. Here we quantify the accuracy of these expressions and show that they can strongly bias the derived constraints on the cosmological parameters using BAO data. Then, using a machine learning approach, called the genetic algorithms, we proceed to derive new analytic expressions for $r_\mathrm{s}(z_\mathrm{d})$ which are accurate at the $\sim0.003\%$ level in a range of $10\sigma$ around the Planck 2018 best-fit or $\sim0.018\%$ in a much broader range, compared to $\sim 2-4\%$ for the EH expression, thus obtaining an improvement of two to three orders of magnitude. Moreover, we also provide fits that include the effects of massive neutrinos and an extension to the concordance cosmological model assuming variations of the fine structure constant. Finally, we note that our expressions can be used to ease the computational cost required to compute $r_\mathrm{s}(z_\mathrm{d})$ with a Boltzmann code when deriving cosmological constraints using BAO data from current and upcoming surveys.


title: Symmetry potentials and in-medium nucleon-nucleon cross sections within the Nambu-Jona-Lasinio model in relativistic impulse approximation

abstract: In the relativistic impulse approximation (RIA), we study symmetry potentials and in-medium nucleon-nucleon (NN) cross sections with the Nambu-Jona-Lasinio (NJL) model that features chiral symmetry. The chiral symmetry that plays a fundamental role in the nonperturbative physics in the strong interaction is anticipated to add restrictive effects on the symmetry potentials and in-medium NN cross sections. For comparison, we also perform the study with the usual relativistic mean-field (RMF) model. The numerical results with the NJL and RMF models are similar at saturation density and below, since a priori fit was made to saturation properties. With the increase of nuclear density, the chiral symmetry starts to be restored partially in the NJL model, resulting in the explicit fall of the scalar density. In a large energy span, the symmetry potential acquires a significant rise for the partial restoration of the chiral symmetry, compared to the one with the RMF model. It is found that the in-medium NN cross sections in the RIA with the NJL and RMF models both increase with the density in the energy region interested in this study, whereas those with the NJL model increase sharply as long as a clear chiral symmetry restoration takes place. The different tendency of observables in density can be transmitted to the different energy dependence in the RIA. The NJL model is shown to have characteristic energy-dependent symmetry potentials and NN cross sections beyond saturation point, apart from the RMF models.


title: Properties of BC$_6$N monolayer derived by first-principle computation: Influences of interactions between dopant atoms

abstract: The properties of graphene-like BC$_6$N semiconductor are studied using density functional theory taking into account the attractive interaction between B and N atoms. In the presence of a strong attractive interaction between B and N dopant atoms, the electron charge distribution is highly localized along the B-N bonds, while for a weaker attractive interaction the electrons are delocalized along the entire hexagonal ring of BC$_6$N. Furthermore, when both B and N atoms are doped at the same site of the hexagon, the breaking of the sub-lattice symmetry is low producing a small bandgap. In contrast, if the dopant atoms are at different sites, a high sub-lattice symmetry breaking is found leading to a large bandgap. The influences of electron localization/delocalization and the tunable bandgap on thermal behaviors such as the electronic thermal conductivity, the Seebeck coefficient, and the figure of merit, and optical properties such as the dielectric function, the excitation spectra, the refractive index, the electron energy loss spectra, the reflectivity, and the optical conductivity are presented. An enhancement with a red shift of the optical conductivity at low energy range is seen while a reduction at the high energy range is found indicating that the BC$_6$N structure may be useful for optoelectronic devices in the low energy, visible range.


title: End-to-end Learning of a Constellation Shape Robust to Variations in SNR and Laser Linewidth

abstract: We propose an autoencoder-based geometric shaping that learns a constellation robust to SNR and laser linewidth estimation errors. This constellation maintains shaping gain in mutual information (up to 0.3 bits/symbol) with respect to QAM over various SNR and laser linewidth values.


title: Invertible Surrogate Models: Joint surrogate modelling and reconstruction of Laser-Wakefield Acceleration by invertible neural networks

abstract: Invertible neural networks are a recent technique in machine learning promising neural network architectures that can be run in forward and reverse mode. In this paper, we will be introducing invertible surrogate models that approximate complex forward simulation of the physics involved in laser plasma accelerators: iLWFA. The bijective design of the surrogate model also provides all means for reconstruction of experimentally acquired diagnostics. The quality of our invertible laser wakefield acceleration network will be verified on a large set of numerical LWFA simulations.


title: Low-Complexity Symbol-Level Precoding for MU-MISO Downlink Systems with QAM Signals

abstract: This study proposes the construction of a transmit signal for large-scale antenna systems with cost-effective 1-bit digital-to-analog converters in the downlink. Under quadrature-amplitude-modulation constellations, it is still an open problem to overcome a severe error floor problem caused by its nature property. To this end, we first present a feasibility condition which guarantees that each user's noiseless signal is placed in the desired decision region. For robustness to additive noise, we formulate an optimization problem, we then transform the feasibility conditions to cascaded matrix form. We propose a low-complexity algorithm to generate a 1-bit transmit signal based on the proposed optimization problem formulated as a well-defined mixed-integer-linear-programming. Numerical results validate the superiority of the proposed method in terms of detection performance and computational complexity.


title: Noise will be noise: Or phase optimized recursive filters for interference suppression, signal differentiation and state estimation (extended version)

abstract: The increased temporal and spectral resolution of oversampled systems allows many sensor-signal analysis tasks to be performed (e.g. detection, classification and tracking) using a filterbank of low-pass digital differentiators. Such filters are readily designed via flatness constraints on the derivatives of the complex frequency response at dc, pi and at the centre frequencies of narrowband interferers, i.e. using maximally-flat (MaxFlat) designs. Infinite-impulse-response (IIR) filters are ideal in embedded online systems with high data-rates because computational complexity is independent of their (fading) memory. A novel procedure for the design of MaxFlat IIR filterbanks with improved passband phase linearity is presented in this paper, as a possible alternative to Kalman and Wiener filters in a class of derivative-state estimation problems with uncertain signal models. Butterworth poles are used for configurable bandwidth and guaranteed stability. Flatness constraints of arbitrary order are derived for temporal derivatives of arbitrary order and a prescribed group delay. As longer lags (in samples) are readily accommodated in oversampled systems, an expression for the optimal group delay that minimizes the white-noise gain (i.e. the error variance of the derivative estimate at steady state) is derived. Filter zeros are optimally placed for the required passband phase response and the cancellation of narrowband interferers in the stopband, by solving a linear system of equations. Low complexity filterbank realizations are discussed then their behaviour is analysed in a Teager-Kaiser operator to detect pulsed signals and in a state observer to track manoeuvring targets in simulated scenarios.


title: Hirzebruch-Riemann-Roch for global matrix factorizations

abstract: We prove a Hirzebruch-Riemann-Roch type formula for global matrix factorizations. This is established by an explicit realization of the abstract Hirzebruch-Riemann-Roch type formula of Shklarov. We also show a Grothendieck-Riemann-Roch type theorem.


title: COV-ECGNET: COVID-19 detection using ECG trace images with deep convolutional neural network

abstract: The reliable and rapid identification of the COVID-19 has become crucial to prevent the rapid spread of the disease, ease lockdown restrictions and reduce pressure on public health infrastructures. Recently, several methods and techniques have been proposed to detect the SARS-CoV-2 virus using different images and data. However, this is the first study that will explore the possibility of using deep convolutional neural network (CNN) models to detect COVID-19 from electrocardiogram (ECG) trace images. In this work, COVID-19 and other cardiovascular diseases (CVDs) were detected using deep-learning techniques. A public dataset of ECG images consists of 1937 images from five distinct categories, such as Normal, COVID-19, myocardial infarction (MI), abnormal heartbeat (AHB), and recovered myocardial infarction (RMI) were used in this study. Six different deep CNN models (ResNet18, ResNet50, ResNet101, InceptionV3, DenseNet201, and MobileNetv2) were used to investigate three different classification schemes: two-class classification (Normal vs COVID-19); three-class classification (Normal, COVID-19, and Other CVDs), and finally, five-class classification (Normal, COVID-19, MI, AHB, and RMI). For two-class and three-class classification, Densenet201 outperforms other networks with an accuracy of 99.1%, and 97.36%, respectively; while for the five-class classification, InceptionV3 outperforms others with an accuracy of 97.83%. ScoreCAM visualization confirms that the networks are learning from the relevant area of the trace images. Since the proposed method uses ECG trace images which can be captured by smartphones and are readily available facilities in low-resources countries, this study will help in faster computer-aided diagnosis of COVID-19 and other cardiac abnormalities.


title: Homological duality for covering groups of reductive $p$-adic groups

abstract: In this largely expository paper we extend properties of the homological duality functor $RHom_{\mathcal H}(-,{\mathcal H})$ where ${\mathcal H}$ is the Hecke algebra of a reductive $p$-adic group, to the case where it is the Hecke algebra of a finite central extension of a reductive $p$-adic group. The most important properties being that $RHom_{\mathcal H}(-,{\mathcal H})$ is concentrated in a single degree for irreducible representations and that it gives rise to Schneider--Stuhler duality for Ext groups (a Serre functor like property). Along the way we also study Grothendieck--Serre duality with respect to the Bernstein center and provide a proof of the folklore result that on admissible modules this functor is nothing but the contragredient duality. We single out a necessary and sufficient condition for when these three dualities agree on finite length modules in a given block. In particular, we show this is the case for all cuspidal blocks as well as, due to a result of Roche, on all blocks with trivial stabilizer in the relative Weyl group.