title: Neural language models for text classification in evidence-based medicine

abstract: The COVID-19 has brought about a significant challenge to the whole of humanity, but with a special burden upon the medical community. Clinicians must keep updated continuously about symptoms, diagnoses, and effectiveness of emergent treatments under a never-ending flood of scientific literature. In this context, the role of evidence-based medicine (EBM) for curating the most substantial evidence to support public health and clinical practice turns essential but is being challenged as never before due to the high volume of research articles published and pre-prints posted daily. Artificial Intelligence can have a crucial role in this situation. In this article, we report the results of an applied research project to classify scientific articles to support Epistemonikos, one of the most active foundations worldwide conducting EBM. We test several methods, and the best one, based on the XLNet neural language model, improves the current approach by 93\% on average F1-score, saving valuable time from physicians who volunteer to curate COVID-19 research articles manually.


title: A flexible sparse matrix data format and parallel algorithms for the assembly of sparse matrices in general finite element applications using atomic synchronisation primitives

abstract: Finite element methods require the composition of the global stiffness matrix from local finite element contributions. The composition process combines the computation of element stiffness matrices and their assembly into the global stiffness matrix, which is commonly sparse. In this paper we focus on the assembly process of the global stiffness matrix and explore different algorithms and their efficiency on shared memory systems using C++. A key aspect of our investigation is the use of atomic synchronization primitives for the derivation of data-race free algorithms and data structures. Furthermore, we propose a new flexible storage format for sparse matrices and compare its performance with the compressed row storage format using abstract benchmarks based on common characteristics of finite element problems.


title: Unifying of Inflation with Early and Late Dark Energy Epochs in Axion $F(R)$ Gravity

abstract: We provide a theoretical model of $F(R)$ gravity in which it is possible to describe in a unified way inflation, an early and a late dark energy era, in the presence of a light axion particle which plays the role of the dark matter component of the Universe. Particularly, the early-time phenomenology is dominated by an $R^2$ term, while the presence of the other terms $f(R)$ ensure the occurrence of the early and late-time dark energy eras. The inflationary phenomenology is compatible with the Planck 2018 data for inflation, while the late-time dark energy era is compatible with the Planck 2018 constraints on the cosmological parameters. Also, the model exhibits an early dark energy era, at $z\sim 2.5$ approximately, followed by a deceleration era, which starts at approximately $z\sim 1.5$, which in turn is followed by a late-time dark energy era for redshifts $z\sim 0.5$, which lasts for approximately 5 billion years up to present time. A notable feature of our model is that the dark energy era is free from dark energy oscillations, at least in the redshift interval $z=[0,10]$. In addition, we also discuss several features related to observational data at $z\sim 2.34$, at which redshift intricate observational data exist in the literature. Moreover, the numerical code for the dark energy phenomenology, written in Python 3, is presented in the end of the article. Finally, the model has another interesting characteristic, a sudden jump of the value of the Hubble rate in the redshift interval $z\sim [2,2.6]$ where its value suddenly increases and then decreases until $z\sim 0$.


title: The shape of higher-dimensional state space: Bloch-ball analog for a qutrit

abstract: Geometric intuition is a crucial tool to obtain deeper insight into many concepts of physics. A paradigmatic example of its power is the Bloch ball, the geometrical representation for the state space of the simplest possible quantum system, a two-level system (or qubit). However, already for a three-level system (qutrit) the state space has eight dimensions, so that its complexity exceeds the grasp of our three-dimensional space of experience. This is unfortunate, given that the geometric object describing the state space of a qutrit has a much richer structure and is in many ways more representative for a general quantum system than a qubit. In this work we demonstrate that, based on the Bloch representation of quantum states, it is possible to construct a three dimensional model for the qutrit state space that captures most of the essential geometric features of the latter. Besides being of indisputable theoretical value, this opens the door to a new type of representation, thus extending our geometric intuition beyond the simplest quantum systems.


title: MEG Source Localization via Deep Learning

abstract: We present a deep learning solution to the problem of localization of magnetoencephalography (MEG) brain signals. The proposed deep model architectures are tuned for single and multiple time point MEG data, and can estimate varying numbers of dipole sources. Results from simulated MEG data on the cortical surface of a real human subject demonstrated improvements against the popular RAP-MUSIC localization algorithm in specific scenarios with varying SNR levels, inter-source correlation values, and number of sources. Importantly, the deep learning models had robust performance to forward model errors and a significant reduction in computation time, to a fraction of 1 ms, paving the way to real-time MEG source localization.


title: Train Tracks with Gaps: Applying the Probabilistic Method to Trains

abstract: We identify a tradeoff curve between the number of wheels on a train car, and the amount of track that must be installed in order to ensure that the train car is supported by the track at all times. The goal is to build an elevated track that covers some large distance $\ell$, but that consists primarily of gaps, so that the total amount of feet of train track that is actually installed is only a small fraction of $\ell$. In order so that the train track can support the train at all points, the requirement is that as the train drives across the track, at least one set of wheels from the rear quarter and at least one set of wheels from the front quarter of the train must be touching the track at all times. We show that, if a train car has $n$ sets of wheels evenly spaced apart in its rear and $n$ sets of wheels evenly spaced apart in its front, then it is possible to build a train track that supports the train car but uses only $\Theta( \ell / n )$ feet of track. We then consider what happens if the wheels on the train car are not evenly spaced (and may even be configured adversarially). We show that for any configuration of the train car, with $n$ wheels in each of the front and rear quarters of the car, it is possible to build a track that supports the car for distance $\ell$ and uses only $O\left(\frac{\ell \log n}{n}\right)$ feet of track. Additionally, we show that there exist configurations of the train car for which this tradeoff curve is asymptotically optimal. Both the upper and lower bounds are achieved via applications of the probabilistic method.


title: Rotation sensing at the ultimate limit

abstract: Conventional classical sensors are approaching their maximum sensitivity levels in many areas. Yet these levels still are far from the ultimate limits dictated by quantum mechanics. Quantum sensors promise a substantial step ahead by taking advantage of the salient sensitivity of quantum states to the environment. Here, we focus on sensing rotations, a topic of broad application. By resorting to the basic tools of estimation theory, we derive states that achieve the ultimate sensitivities in estimating both the orientation of an unknown rotation axis and the angle rotated about it. The critical enhancement obtained with these optimal states should make of them an indispensable ingredient in the next generation of rotation sensors that is now blossoming.


title: Cut and project sets with polytopal window II: linear repetitivity

abstract: This paper gives a complete classification of linear repetitivity (LR) for a natural class of aperiodic Euclidean cut and project schemes with convex polytopal windows. Our results cover those cut and project schemes for which the lattice projects densely into the internal space and (possibly after translation) hits each supporting hyperplane of the polytopal window. Our main result is that LR is satisfied if and only if the patterns are of low complexity (property C), and the projected lattice satisfies a Diophantine condition (property D). Property C can be checked by computation of the ranks and dimensions of linear spans of the stabiliser subgroups of the supporting hyperplanes, as investigated in Part I to this article. To define the correct Diophantine condition D, we establish new results on decomposing polytopal cut and project schemes to factors, developing concepts initiated in the work of Forrest, Hunton and Kellendonk. This means that, when C is satisfied, the window splits into components which induce a compatible splitting of the lattice. Then property D is the requirement that, for any suitable decomposition, these factors do not project close to the origin in the internal space, relative to the norm in the total space. On each factor, this corresponds to the usual notion from Diophantine Approximation of a system of linear forms being badly approximable. This extends previous work on cubical cut and project schemes to a very general class of cut and project schemes. We demonstrate our main theorem on several examples, and derive some further consequences of our main theorem, such as the equivalence LR, positivity of weights and satisfying a subadditive ergodic theorem for this class of polytopal cut and project sets.


title: Revisiting the progenitor of the low-luminosity type II-plateau supernova, SN 2008bk

abstract: The availability of updated model atmospheres for red supergiants and improvements in single and binary stellar evolution models, as well as previously unpublished data prompted us to revisit the progenitor of low-luminosity type II-Plateau supernova, SN 2008bk. Using mid-IR data in combination with dust models, we find that high temperature (4250-4500 K), high extinction (E(B-V)>0.7) solutions are incompatible with the data. We therefore favour a cool (~3500-3700 K) progenitor with a luminosity of log(L/Lsun)~4.53. Comparing with evolutionary tracks, we infer progenitor masses in the 8-10 Msun range in agreement with some previous studies. This mass is consistent with the observed pattern of low-luminosity Type IIP SNe coming from the explosion of RSGs at the lower extremum for core-collapse. We also present multi-epoch data of the progenitor, but do not find clear evidence of variability.


title: Irregular Metronomes as Assistive Devices to Promote Healthy Gait Patterns

abstract: Older adults and people suffering from neurodegenerative disease often experience difficulty controlling gait during locomotion, ultimately increasing their risk of falling. To combat these effects, researchers and clinicians have used metronomes as assistive devices to improve movement timing in hopes of reducing their risk of falling. Historically, researchers in this area have relied on metronomes with isochronous interbeat intervals, which may be problematic because normal healthy gait varies considerably from one step to the next. More recently, researchers have advocated the use of irregular metronomes embedded with statistical properties found in healthy populations. In this paper, we explore the effect of both regular and irregular metronomes on many statistical properties of interstride intervals. Furthermore, we investigate how these properties react to mechanical perturbation in the form of a halted treadmill belt while walking. Our results demonstrate that metronomes that are either isochronous or random metronome break down the inherent structure of healthy gait. Metronomes with statistical properties similar to healthy gait seem to preserve those properties, despite a strong mechanical perturbation. We discuss the future development of this work in the context of networked augmented reality metronome devices.


title: HPM-Frame: A Decision Framework for Executing Software on Heterogeneous Platforms

abstract: Heterogeneous computing is one of the most important computational solutions to meet rapidly increasing demands on system performance. It typically allows the main flow of applications to be executed on a CPU while the most computationally intensive tasks are assigned to one or more accelerators, such as GPUs and FPGAs. The refactoring of systems for execution on such platforms is highly desired but also difficult to perform, mainly due the inherent increase in software complexity. After exploration, we have identified a current need for a systematic approach that supports engineers in the refactoring process -- from CPU-centric applications to software that is executed on heterogeneous platforms. In this paper, we introduce a decision framework that assists engineers in the task of refactoring software to incorporate heterogeneous platforms. It covers the software engineering lifecycle through five steps, consisting of questions to be answered in order to successfully address aspects that are relevant for the refactoring procedure. We evaluate the feasibility of the framework in two ways. First, we capture the practitioner's impressions, concerns and suggestions through a questionnaire. Then, we conduct a case study showing the step-by-step application of the framework using a computer vision application in the automotive domain.


title: DeFMO: Deblurring and Shape Recovery of Fast Moving Objects

abstract: Objects moving at high speed appear significantly blurred when captured with cameras. The blurry appearance is especially ambiguous when the object has complex shape or texture. In such cases, classical methods, or even humans, are unable to recover the object's appearance and motion. We propose a method that, given a single image with its estimated background, outputs the object's appearance and position in a series of sub-frames as if captured by a high-speed camera (i.e. temporal super-resolution). The proposed generative model embeds an image of the blurred object into a latent space representation, disentangles the background, and renders the sharp appearance. Inspired by the image formation model, we design novel self-supervised loss function terms that boost performance and show good generalization capabilities. The proposed DeFMO method is trained on a complex synthetic dataset, yet it performs well on real-world data from several datasets. DeFMO outperforms the state of the art and generates high-quality temporal super-resolution frames.


title: NPAS: A Compiler-aware Framework of Unified Network Pruning and Architecture Search for Beyond Real-Time Mobile Acceleration

abstract: With the increasing demand to efficiently deploy DNNs on mobile edge devices, it becomes much more important to reduce unnecessary computation and increase the execution speed. Prior methods towards this goal, including model compression and network architecture search (NAS), are largely performed independently and do not fully consider compiler-level optimizations which is a must-do for mobile acceleration. In this work, we first propose (i) a general category of fine-grained structured pruning applicable to various DNN layers, and (ii) a comprehensive, compiler automatic code generation framework supporting different DNNs and different pruning schemes, which bridge the gap of model compression and NAS. We further propose NPAS, a compiler-aware unified network pruning, and architecture search. To deal with large search space, we propose a meta-modeling procedure based on reinforcement learning with fast evaluation and Bayesian optimization, ensuring the total number of training epochs comparable with representative NAS frameworks. Our framework achieves 6.7ms, 5.9ms, 3.9ms ImageNet inference times with 78.2%, 75% (MobileNet-V3 level), and 71% (MobileNet-V2 level) Top-1 accuracy respectively on an off-the-shelf mobile phone, consistently outperforming prior work.


title: Cost Efficient Repository Management for Cloud-Based On-Demand Video Streaming

abstract: Video transcoding is the process of converting a video to the format supported by the viewer's device. Video transcoding requires huge storage and computational resources, thus, many video stream providers choose to carry it out on the cloud. Video streaming providers generally need to prepare several formats of the same video (termed pre-transcoding) and stream the appropriate format to the viewer. However, pre-transcoding requires enormous storage space and imposes a significant cost to the stream provider. More importantly, pre-transcoding proven to be inefficient due to the long-tail access pattern to video streams in a repository. To reduce the incurred cost, in this research, we propose a method to partially pre-transcode video streams and re-transcode the rest of it in an on-demand manner. We will develop a method to strike a trade-off between pre-transcoding and on-demand transcoding of video streams to reduce the overall cost. Experimental results show the efficiency of our approach, particularly, when a high percentage of videos are accessed frequently. In such repositories, the proposed approach reduces the incurred cost by up to 70\%.


title: A bound on the joint spectral radius using the diagonals

abstract: The primary aim of this paper is to establish bounds on the joint spectral radius for a finite set of nonnegative matrices based on their diagonal elements. The efficacy of this approach is evaluated in comparison to existing and related results in the field. In particular, let $\Sigma$ be any finite set of $D\times D$ nonnegative matrices with the largest value $U$ and the smallest value $V$ over all positive entries. For each $i=1,\dots,D$, let $m_i$ be any number so that there exist $A_1,\dots,A_{m_i}\in\Sigma$ satisfying $(A_1\dots A_{m_i})_{i,i} > 0$, or let $m_i=1$ if there are no such matrices. We prove that the joint spectral radius $\rho(\Sigma)$ is bounded by \[ \max_i \sqrt[m_i]{\max_{A_1,\dots,A_{m_i}\in\Sigma} (A_1\dots A_{m_i})_{i,i}} \le \rho(\Sigma) \le \max_i \sqrt[m_i]{\left(\frac{UD}{V}\right)^{3D^2} \max_{A_1,\dots,A_{m_i}\in\Sigma} (A_1\dots A_{m_i})_{i,i}}. \]


title: The electric field of a charge in the vicinity of a higher dimensional black hole

abstract: We find the electric field of a point charge in the presence of a higher dimensional black hole. As the charge is lowered to the horizon, all higher multipole moments go to zero, and only the Coulomb field remains.


title: Extracting Synonyms from Bilingual Dictionaries

abstract: We present our progress in developing a novel algorithm to extract synonyms from bilingual dictionaries. Identification and usage of synonyms play a significant role in improving the performance of information access applications. The idea is to construct a translation graph from translation pairs, then to extract and consolidate cyclic paths to form bilingual sets of synonyms. The initial evaluation of this algorithm illustrates promising results in extracting Arabic-English bilingual synonyms. In the evaluation, we first converted the synsets in the Arabic WordNet into translation pairs (i.e., losing word-sense memberships). Next, we applied our algorithm to rebuild these synsets. We compared the original and extracted synsets obtaining an F-Measure of 82.3% and 82.1% for Arabic and English synsets extraction, respectively.


title: A Bayesian Approach to Linking Data Without Unique Identifiers

abstract: Existing file linkage methods may produce sub-optimal results because they consider neither the interactions between different pairs of matched records nor relationships between variables that are exclusive to one of the files. In addition, many of the current methods fail to address the uncertainty in the linkage, which may result in overly precise estimates of relationships between variables that are exclusive to one of the files. Bayesian methods for record linkage can reduce the bias in the estimation of scientific relationships of interest and provide interval estimates that account for the uncertainty in the linkage; however, implementation of these methods can often be complex and computationally intensive. This article presents the gfs_sampler package for the Python programming language that utilizes a Bayesian approach for file linkage. The linking procedure implemented in gfs_sampler samples from the joint posterior distribution of model parameters and the linking permutations. The algorithm approaches file linkage as a missing data problem and generates multiple linked data sets. For computational efficiency, only the linkage permutations are stored and multiple analyses are performed using each of the permutations separately. This implementation reduces the computational complexity of the linking process and the expertise required of researchers analyzing linked data sets. We describe the algorithm implemented in the gfs_sampler package and its statistical basis, and demonstrate its use on a sample data set.


title: On stretch-limited elastic strings

abstract: Motivated by the increased interest in modeling nondissipative materials by constitutive relations more general than those from Cauchy elasticity, we initiate the study of a class of stretch-limited elastic strings: the string cannot be compressed smaller than a certain length less than its natural length nor elongated larger than a certain length greater than its natural length. In particular, we consider equilibrium states for a string suspended between two points under the force of gravity (catenaries). We study the locations of the supports resulting in tensile states containing both extensible and inextensible segments in two situations: the degenerate case when the string is vertical and the nondegenerate case when the supports are at the same height. We then study the existence and multiplicity of equilibrium states in general with multiplicity differing markedly from strings satisfying classical constitutive relations.


title: Fourier Analysis and the closed form for the Zeta Function at even positive integers

abstract: Using a summation identity obtained for the Fourier coefficients of $x^{2k}$, we derive a closed form expression for the zeta function at even positive integers, using a technique similar to one in an existing proof by Aladdi and Defant[1], but in a simpler and shorter way.


title: Dual nature of localized phase defects in the In/Si(111) atomic wire array: impurities and short topological solitons

abstract: We demonstrate the existence of atomically-sized topological solitons in a quasi one-dimensional charge density wave system: indium atomic wires on Si(111). Performing joint scanning tunneling microscopy and density-functional calculations, we show that the Si(111)-(8x2)In surface features two conceptually different types of abrupt phase flip structures. One is caused by In adatoms and is, hence, non-solitonic in nature. The other one is an abrupt left-chiral soliton.


title: Regional compartmentalization in multienzyme-related biomaterials system

abstract: Multienzyme cascaded reactions are widely utilized because they can generate value-added biomaterials and biodevices from simple raw materials. However, how to promote the catalytic efficiency and synergistic effect of the multienzyme system is proved to be a challengeable point. Recent discovery repeatedly emphasized the strategy of assembled multienzyme complexes or forming subcellular compartments for spacial optimization. This highly ordered and tunable organization contributes to various biochemical processes. This dissertation focuses mainly on analysis and progresses in this cascaded strategy, regarding the feasibility of regional compartments for natural or artificial biochemical reactions in vivo and vitro, simultaneously.


title: Enabling Fingerprint Presentation Attacks: Fake Fingerprint Fabrication Techniques and Recognition Performance

abstract: Fake fingerprint representation pose a severe threat for fingerprint based authentication systems. Despite advances in presentation attack detection technologies, which are often integrated directly into the fingerprint scanner devices, many fingerprint scanners are still susceptible to presentation attacks using physical fake fingerprint representation. In this work we evaluate five different commercial-off-the-shelf fingerprint scanners based on different sensing technologies, including optical, optical multispectral, passive capacitive, active capacitive and thermal regarding their susceptibility to presentation attacks using fake fingerprint representations. Several different materials to create the fake representation are tested and evaluated, including wax, cast, latex, silicone, different types of glue, window colours, modelling clay, etc. The quantitative evaluation includes assessing the fingerprint quality of the samples captured from the fake representations as well as comparison experiments where the achieved matching scores of the fake representations against the corresponding real fingerprints indicate the effectiveness of the fake representations. Our results confirmed that all except one of the tested devices are susceptible to at least one type/material of fake fingerprint representations.


title: Sharpness of the phase transition for parking on random trees

abstract: Recently, a phase transition phenomenon has been established for parking on random trees. We extend the results of Curien and H\'enard on general Galton--Watson trees and allow different car arrival distributions depending on the vertex outdegrees. We then prove that this phase transition is sharp by establishing a large deviations result for the flux of exiting cars. This has consequences on the offcritical geometry of clusters of parked spots which displays similarities with the classical Erd\H{o}s-Renyi random graph model.


title: Theory of filter-induced modulation instability in driven passive optical resonators

abstract: We present the theory of modulation instability induced by spectrally dependent losses (optical filters) in passive driven nonlinear fiber ring resonators. Starting from an Ikeda map description of the propagation equation and boundary conditions, we derive a mean field model - a generalised Lugiato-Lefever equation - which reproduces with great accuracy the predictions of the map. The effects on instability gain and comb generation of the different control parameters such as dispersion, cavity detuning, filter spectral position and bandwidth are discussed.


title: Optimal exploitation of renewable resource stocks: Necessary conditions

abstract: We study a model for the exploitation of renewable stocks developed in Clark et al. (Econometrica 47 (1979), 25-47). In this particular control problem, the control law contains a measurable and an impulsive control component. We formulate Pontryagin's maximum principle for this kind of control problems, proving first order necessary conditions of optimality. Manipulating the correspondent Lagrange multipliers we are able to define two special switch functions, that allow us to describe the optimal trajectories and control policies nearly completely for all possible initial conditions in the phase plane.


title: Estimates of the bounds of $\pi(x)$ and $\pi((x+1)^{2})-\pi(x^{2})$

abstract: We show the following bounds on the prime counting function $\pi(x)$ using principles from analytic number theory, giving an estimate: $$2 \log 2 \geq \limsup_{x \rightarrow \infty} \frac{\pi(x)}{x / \log x} \geq \liminf_{x \rightarrow \infty} \frac{\pi(x)}{x / \log x} \geq \log 2$$ for all $x$ sufficiently large. We also conjecture about the bounding of $\pi((x+1)^{2}) - \pi(x^{2})$, as is relevant to Legendre's conjecture about the number of primes in the aforementioned interval such that: $$ \left \lfloor\frac{1}{2}\left(\frac{\left(x+1\right)^{2}}{\log\left(x+1\right)}-\frac{x^{2}}{\log x}\right)-\frac{\left(\log x\right)^{2}}{\log\left(\log x\right)}\right \rfloor \leq \pi((x+1)^{2}) - \pi(x^{2}) \leq $$ $$ \left \lfloor\frac{1}{2}\left(\frac{\left(x+1\right)^{2}}{\log\left(x+1\right)}-\frac{x^{2}}{\log x}\right) + \log^{2}x\log\log x \right \rfloor$$


title: On inverse problems modeled by PDE's

abstract: We investigate the iterative methods proposed by Maz'ya and Kozlov (see [3], [4]) for solving ill-posed reconstruction problems modeled by PDE's. We consider linear time dependent problems of elliptic, hyperbolic and parabolic types. Each iteration of the analyzed methods consists on the solution of a well posed boundary (or initial) value problem. The iterations are described as powers of affine operators, as in [4]. We give alternative convergence proofs for the algorithms, using spectral theory and some functional analytical results (see [5], [6]).


title: Amenable category and complexity

abstract: Amenable category is a variant of the Lusternik-Schnirelman category, based on covers by amenable open subsets. We study the monotonicity problem for degree-one maps and amenable category and the relation between amenable category and topological complexity.


title: Climbing three-Reggeon ladders: four-loop amplitudes in the high-energy limit in full colour

abstract: Using an iterative solution of rapidity evolution equations, we compute partonic $2\to 2$ gauge theory amplitudes at four loops in full colour up to the Next-to-Next-to-Leading Logarithms (NNLL) in the Regge limit. By contrasting the resulting amplitude with the exponentiation properties of soft singularities we determine the four-loop correction to the soft anomalous dimension at this logarithmic accuracy, which universally holds in any gauge theory. We find that the latter features quartic Casimir contributions beyond those appearing in the cusp anomalous dimension. Finally, in the case of ${\cal N}=4$ super Yang-Mills, we also determine the finite hard function at four loops through NNLL in full colour.


title: CLIMATE-FEVER: A Dataset for Verification of Real-World Climate Claims

abstract: We introduce CLIMATE-FEVER, a new publicly available dataset for verification of climate change-related claims. By providing a dataset for the research community, we aim to facilitate and encourage work on improving algorithms for retrieving evidential support for climate-specific claims, addressing the underlying language understanding challenges, and ultimately help alleviate the impact of misinformation on climate change. We adapt the methodology of FEVER [1], the largest dataset of artificially designed claims, to real-life claims collected from the Internet. While during this process, we could rely on the expertise of renowned climate scientists, it turned out to be no easy task. We discuss the surprising, subtle complexity of modeling real-world climate-related claims within the \textsc{fever} framework, which we believe provides a valuable challenge for general natural language understanding. We hope that our work will mark the beginning of a new exciting long-term joint effort by the climate science and AI community.


title: On Eventual Regularity Properties of Operator-Valued Functions

abstract: Let $\mathcal{L}(X;Y)$ be the space of bounded linear operators from a Banach space $X$ to a Banach space $Y$. Given an operator-valued function $u:\mathbb{R}_{\geq 0}\rightarrow \mathcal{L}(X;Y)$, suppose that every orbit $t\mapsto u(t)x$ has a regularity property (e.g. continuity, differentiability, etc.) on some interval $(t_x,\infty)$ in general depending on $x\in X$. In this paper we develop an abstract set-up based on Baire-type arguments which allows, under certain conditions, removing the dependency on $x$ systematically. Afterwards, we apply this theoretical framework to several different regularity properties that are of interest also in semigroup theory. In particular, a generalisation of the prior results on eventual differentiability of strongly continuous functions $u:\mathbb{R}_{\geq 0} \rightarrow \mathcal{L}(X;Y)$ obtained by Iley and B\'arta follows as a special case of our method.


title: FRIPON: A worldwide network to track incoming meteoroids

abstract: Context: Until recently, camera networks designed for monitoring fireballs worldwide were not fully automated, implying that in case of a meteorite fall, the recovery campaign was rarely immediate. This was an important limiting factor as the most fragile - hence precious - meteorites must be recovered rapidly to avoid their alteration. Aims: The Fireball Recovery and InterPlanetary Observation Network (FRIPON) scientific project was designed to overcome this limitation. This network comprises a fully automated camera and radio network deployed over a significant fraction of western Europe and a small fraction of Canada. As of today, it consists of 150 cameras and 25 European radio receivers and covers an area of about 1.5 million square kilometers.


title: Overcoming the limitations of patch-based learning to detect cancer in whole slide images

abstract: Whole slide images (WSIs) pose unique challenges when training deep learning models. They are very large which makes it necessary to break each image down into smaller patches for analysis, image features have to be extracted at multiple scales in order to capture both detail and context, and extreme class imbalances may exist. Significant progress has been made in the analysis of these images, thanks largely due to the availability of public annotated datasets. We postulate, however, that even if a method scores well on a challenge task, this success may not translate to good performance in a more clinically relevant workflow. Many datasets consist of image patches which may suffer from data curation bias; other datasets are only labelled at the whole slide level and the lack of annotations across an image may mask erroneous local predictions so long as the final decision is correct. In this paper, we outline the differences between patch or slide-level classification versus methods that need to localize or segment cancer accurately across the whole slide, and we experimentally verify that best practices differ in both cases. We apply a binary cancer detection network on post neoadjuvant therapy breast cancer WSIs to find the tumor bed outlining the extent of cancer, a task which requires sensitivity and precision across the whole slide. We extensively study multiple design choices and their effects on the outcome, including architectures and augmentations. Furthermore, we propose a negative data sampling strategy, which drastically reduces the false positive rate (7% on slide level) and improves each metric pertinent to our problem, with a 15% reduction in the error of tumor extent.


title: Light-driven Lifshitz transitions in non-Hermitian multi-Weyl semimetals

abstract: Non-Hermitian topological systems are the newest additions to the growing field of topological matter. In this work, we report of the light-driven exceptional physics in a multi-Weyl semi-metal. The driving is not only a key ingredient to control the position of the exceptional contours (ECs), light also has the ability to generate new ECs. Interestingly, we also demonstrate topological charge distribution and Lifshitz transition, which are controllable by the driving field in such generated ECs. Our findings present a promising platform for the manipulation and control over exceptional physics in non-Hermitian topological matter.


title: We are More than Our Joints: Predicting how 3D Bodies Move

abstract: A key step towards understanding human behavior is the prediction of 3D human motion. Successful solutions have many applications in human tracking, HCI, and graphics. Most previous work focuses on predicting a time series of future 3D joint locations given a sequence 3D joints from the past. This Euclidean formulation generally works better than predicting pose in terms of joint rotations. Body joint locations, however, do not fully constrain 3D human pose, leaving degrees of freedom undefined, making it hard to animate a realistic human from only the joints. Note that the 3D joints can be viewed as a sparse point cloud. Thus the problem of human motion prediction can be seen as point cloud prediction. With this observation, we instead predict a sparse set of locations on the body surface that correspond to motion capture markers. Given such markers, we fit a parametric body model to recover the 3D shape and pose of the person. These sparse surface markers also carry detailed information about human movement that is not present in the joints, increasing the naturalness of the predicted motions. Using the AMASS dataset, we train MOJO, which is a novel variational autoencoder that generates motions from latent frequencies. MOJO preserves the full temporal resolution of the input motion, and sampling from the latent frequencies explicitly introduces high-frequency components into the generated motion. We note that motion prediction methods accumulate errors over time, resulting in joints or markers that diverge from true human bodies. To address this, we fit SMPL-X to the predictions at each time step, projecting the solution back onto the space of valid bodies. These valid markers are then propagated in time. Experiments show that our method produces state-of-the-art results and realistic 3D body animations. The code for research purposes is at https://yz-cnsdqz.github.io/MOJO/MOJO.html


title: Improved Bounds for $(b,k)$-hashing

abstract: For fixed integers $b\geq k$, a problem of relevant interest in computer science and combinatorics is that of determining the asymptotic growth, with $n$, of the largest set for which a $(b, k)$-hash family of $n$ functions exists. Equivalently, determining the asymptotic growth of a largest subset of $\{1,2,\ldots,b\}^n$ such that, for any $k$ distinct elements in the set, there is a coordinate where they all differ. An important asymptotic upper bound for general $b, k$, was derived by Fredman and Koml\'os in the '80s and improved for certain $b\neq k$ by K\"orner and Marton and by Arikan. Only very recently better bounds were derived for the general $b,k$ case by Guruswami and Riazanov while stronger results for small values of $b=k$ were obtained by Arikan, by Dalai, Guruswami and Radhakrishnan and by Costa and Dalai. In this paper, we both show how some of the latter results extend to $b\neq k$ and further strengthen the bounds for some specific small values of $b$ and $k$. The method we use, which depends on the reduction of an optimization problem to a finite number of cases, shows that further results might be obtained by refined arguments at the expense of higher complexity which could be reduced by using more sophisticated and optimized algorithmic approaches.


title: Asymptotic analysis of a problem for dynamic thermoelastic shells

abstract: In this paper we consider a family of three-dimensional problems in thermoelasticity for linear elliptic membrane shells and study the asymptotic behaviour of the solution when the thickness tends to zero.We fully characterize with strong convergence results the limit as the unique solution of a two-dimensional problem, where the reference domain is the common middle surface of the family of three-dimensional shells. The problems are dynamic and the constitutive thermoelastic law is given by the Duhamel-Neumann relation.


title: $C$-parameter hadronisation in the symmetric 3-jet limit and impact on $\alpha_s$ fits

abstract: Hadronisation corrections are crucial in extractions of the strong coupling constant ($\alpha_s$) from event-shape distributions at lepton colliders. Although their dynamics cannot be understood rigorously using perturbative methods, their dominant effect on physical observables can be estimated in singular configurations sensitive to the emission of soft radiation. The differential distributions of some event-shape variables, notably the $C$ parameter, feature two such singular points. We analytically compute the leading non-perturbative correction in the symmetric three-jet limit for the $C$ parameter, and find that it differs by more than a factor of two from the known result in the two-jet limit. We estimate the impact of this result on strong coupling extractions, considering a range of functions to interpolate the hadronisation correction in the region between the 2 and 3-jet limits. Fitting data from ALEPH and JADE, we find that most interpolation choices increase the extracted $\alpha_s$, with effects of up to $4\%$ relative to standard fits. This brings a new perspective on the long-standing discrepancy between certain event-shape $\alpha_s$ fits and the world average.


title: Strongly anisotropic antiferromagnetic coupling in EuFe2As2 revealed by stress detwinning

abstract: Of all parent compounds of iron-based high-temperature superconductors, EuFe2As2 exhibits by far the largest magnetostructural coupling due to the sizable biquadratic interaction between Eu and Fe moments. While the coupling between Eu antiferromagnetic order and Fe structural/antiferromagnetic domains enables rapid field detwinning, this prevents simple magnetometry measurements from extracting the critical fields of the Eu metamagnetic transition. Here we measure these critical fields by combining x-ray magnetic circular dichroism spectroscopy with in-situ tunable uniaxial stress and applied magnetic field. The combination of two tuning knobs allows us to separate the stress-detwinning of structural domains from the field-induced reorientation of Eu moments. Intriguingly, we find a spin-flip transition which can only result from a strongly anisotropic interaction between Eu planes. We argue that this anisotropic exchange is a consequence of the strong anisotropy in the magnetically ordered Fe layer, which presents a new form of higher-order coupling between Eu and Fe magnetism.


title: Relaxed current matching requirements in highly luminescent perovskite tandem solar cells and their fundamental efficiency limits

abstract: Here we use time-resolved and steady-state optical spectroscopy on state-of-the-art low- and high-bandgap perovskite films for tandems to quantify intrinsic recombination rates and absorption coefficients. We apply these data to calculate the limiting efficiency of perovskite-silicon and all-perovskite two-terminal tandems employing currently available bandgap materials as 42.0 % and 40.8 % respectively. By including luminescence coupling between sub-cells, i.e. the re-emission of photons from the high-bandgap sub-cell and their absorption in the low-bandgap sub-cell, we reveal the stringent need for current matching is relaxed when the high-bandgap sub-cell is a luminescent perovskite compared to calculations that do not consider luminescence coupling. We show luminescence coupling becomes important in all-perovskite tandems when charge carrier trapping rates are < 10$^{6}$ s$^{-1}$ (corresponding to carrier lifetimes longer than 1 ${\mu}$s at low excitation densities) in the high-bandgap sub-cell, which is lowered to 10$^{5}$ s$^{-1}$ in the better-bandgap-matched perovskite-silicon cells. We demonstrate luminescence coupling endows greater flexibility in both sub-cell thicknesses, increased tolerance to different spectral conditions and a reduction in the total thickness of light absorbing layers. To maximally exploit luminescence coupling we reveal a key design rule for luminescent perovskite-based tandems: the high-bandgap sub-cell should always have the higher short-circuit current. Importantly, this can be achieved by reducing the bandgap or increasing the thickness in the high-bandgap sub-cell with minimal reduction in efficiency, thus allowing for wider, unstable bandgap compositions (>1.7 eV) to be avoided. Finally, we experimentally visualise luminescence coupling in an all-perovskite tandem device stack through cross-section luminescence images.


title: Algebraicity of the near central non-critical value of symmetric fourth $L$-functions for Hilbert modular forms

abstract: Let $\mathit{\Pi}$ be a cohomological irreducible cuspidal automorphic representation of ${\rm GL}_2(\mathbb{A}_{\mathbb F})$ with central character $\omega_{\mathit{\Pi}}$ over a totally real number field ${\mathbb F}$. In this paper, we prove the algebraicity of the near central non-critical value of the symmetric fourth $L$-function of $\mathit{\Pi}$ twisted by $\omega_{\mathit{\Pi}}^{-2}$. The algebraicity is expressed in terms of the Petersson norm of the normalized newform of $\mathit{\Pi}$ and the top degree Whittaker period of the Gelbart-Jacquet lift ${\rm Sym}^2\mathit{\Pi}$ of $\mathit{\Pi}$.


title: Five-Dimensional Non-Lorentzian Conformal Field Theories and their Relation to Six-Dimensions

abstract: We study correlation functions in five-dimensional non-Lorentzian theories with an $SU(1,3)$ conformal symmetry. Examples of such theories have recently been obtained as $\Omega$-deformed Yang-Mills Lagrangians arising from a null reduction of six-dimensional superconformal field theories on a conformally compactified Minkowski space. The correlators exhibit a rich structure with many novel properties compared to conventional correlators in Lorentzian conformal field theories. Moreover, identifying the instanton number with the Fourier mode number of the dimensional reduction offers a hope to formulate six-dimensional conformal field theories in terms of five-dimensional Lagrangian theories. To this end we show that the Fourier decompositions of six-dimensional correlation functions solve the Ward identities of the the $SU(1,3)$ symmetry, although more general solutions are possible. Conversely we illustrate how one can reconstruct six-dimensional correlation functions from those of a five-dimensional theory, and do so explicitly at 2- and 3-points. We also show that, in a suitable decompactification limit $\Omega\to 0$, the correlation functions become those of the DLCQ description.


title: The bat coronavirus RmYN02 is characterized by a 6-nucleotide deletion at the S1/S2 junction, and its claimed PAA insertion is highly doubtful

abstract: Zhou et al. reported the discovery of RmYN02, a strain closely related to SARS-CoV-2, which is claimed to contain a natural PAA amino acid insertion at the S1/S2 junction of the spike protein at the same position of the PRRA insertion that has created a polybasic furin cleavage site in SARS-CoV-2. The authors support with their findings the theory that the furin cleavage site insertion present in SARS-CoV-2 is natural. Because no nucleotide alignment with closely related strains of the region coding for the supposed insertion is provided by Zhou et al., we have applied several alignment algorithms to search for the most parsimonious alignments. We conclude that RmYN02 does not contain an insertion at the S1/S2 junction when compared to its closest relatives at the nucleotide level, but rather a 6-nucleotide deletion and that the claimed PAA insertion is more likely to be the result of mutations. A close examination of RmYN02 sequencing records and assembly methods is wishful. In conclusion, SARS-CoV-2, with its 12-nucleotide insertion at the S1/S2 junction remains unique among its sarbecovirus relatives.


title: Convergence of Gradient Algorithms for Nonconvex C^{1+alpha} Cost Functions

abstract: This paper is concerned with convergence of stochastic gradient algorithms with momentum terms in the nonconvex setting. A class of stochastic momentum methods, including stochastic gradient descent, heavy ball, and Nesterov's accelerated gradient, is analyzed in a general framework under mild assumptions. Based on the convergence result of expected gradients, we prove the almost sure convergence by a detailed discussion of the effects of momentum and the number of upcrossings. It is worth noting that there are not additional restrictions imposed on the objective function and stepsize. Another improvement over previous results is that the existing Lipschitz condition of the gradient is relaxed into the condition of Holder continuity. As a byproduct, we apply a localization procedure to extend our results to stochastic stepsizes.


title: The k-statistics approach to epidemiology

abstract: A great variety of complex physical, natural and artificial systems are governed by statistical distributions, which often follow a standard exponential function in the bulk, while their tail obeys the Pareto power law. The recently introduced $\kappa$-statistics framework predicts distribution functions with this feature. A growing number of applications in different fields of investigation are beginning to prove the relevance and effectiveness of $\kappa$-statistics in fitting empirical data. In this paper, we use $\kappa$-statistics to formulate a statistical approach for epidemiological analysis. We validate the theoretical results by fitting the derived $\kappa$-Weibull distributions with data from the plague pandemic of 1417 in Florence as well as data from the COVID-19 pandemic in China over the entire cycle that concludes in April 16, 2020. As further validation of the proposed approach we present a more systematic analysis of COVID-19 data from countries such as Germany, Italy, Spain and United Kingdom, obtaining very good agreement between theoretical predictions and empirical observations. For these countries we also study the entire first cycle of the pandemic which extends until the end of July 2020. The fact that both the data of the Florence plague and those of the Covid-19 pandemic are successfully described by the same theoretical model, even though the two events are caused by different diseases and they are separated by more than 600 years, is evidence that the $\kappa$-Weibull model has universal features.

categories: q-bio.PE nlin.AO physics.bio-ph physics.soc-ph stat.AP


title: Structured Context Enhancement Network for Mouse Pose Estimation

abstract: Automated analysis of mouse behaviours is crucial for many applications in neuroscience. However, quantifying mouse behaviours from videos or images remains a challenging problem, where pose estimation plays an important role in describing mouse behaviours. Although deep learning based methods have made promising advances in human pose estimation, they cannot be directly applied to pose estimation of mice due to different physiological natures. Particularly, since mouse body is highly deformable, it is a challenge to accurately locate different keypoints on the mouse body. In this paper, we propose a novel Hourglass network based model, namely Graphical Model based Structured Context Enhancement Network (GM-SCENet) where two effective modules, i.e., Structured Context Mixer (SCM) and Cascaded Multi-Level Supervision (CMLS) are subsequently implemented. SCM can adaptively learn and enhance the proposed structured context information of each mouse part by a novel graphical model that takes into account the motion difference between body parts. Then, the CMLS module is designed to jointly train the proposed SCM and the Hourglass network by generating multi-level information, increasing the robustness of the whole network.Using the multi-level prediction information from SCM and CMLS, we develop an inference method to ensure the accuracy of the localisation results. Finally, we evaluate our proposed approach against several baselines...


title: Bubble nucleation as seen by different observers

abstract: Pair production in a constant electric field is closely analogous to bubble nucleation in a false vacuum. The classical trajectories of the pairs are Lorentz invariant, but this invariance should be broken by the nucleation process. Garriga et al. used a model detector, consisting of other particles interacting with the pairs, to investigate how pair production is seen by different Lorentzian observers. They found that particles (antiparticles) of the pair are predominantly observed moving in the direction of (opposite to) the electric field and concluded that observers see pairs nucleating preferentially in the detector's rest frame. Here, we apply this approach to the case where two detectors moving relative to one another are used to observe the particle and antiparticle of the same pair. We find that each detector will still observe nucleation to occur in its rest frame, regardless of the motion of the other detector. However, if the relative velocity of the two detectors is sufficiently high, the particle and antiparticle of the pair can be observed moving towards one another with arbitrarily large momenta, contrary to the usual expectation.


title: Communication-Efficient Federated Distillation

abstract: Communication constraints are one of the major challenges preventing the wide-spread adoption of Federated Learning systems. Recently, Federated Distillation (FD), a new algorithmic paradigm for Federated Learning with fundamentally different communication properties, emerged. FD methods leverage ensemble distillation techniques and exchange model outputs, presented as soft labels on an unlabeled public data set, between the central server and the participating clients. While for conventional Federated Learning algorithms, like Federated Averaging (FA), communication scales with the size of the jointly trained model, in FD communication scales with the distillation data set size, resulting in advantageous communication properties, especially when large models are trained. In this work, we investigate FD from the perspective of communication efficiency by analyzing the effects of active distillation-data curation, soft-label quantization and delta-coding techniques. Based on the insights gathered from this analysis, we present Compressed Federated Distillation (CFD), an efficient Federated Distillation method. Extensive experiments on Federated image classification and language modeling problems demonstrate that our method can reduce the amount of communication necessary to achieve fixed performance targets by more than two orders of magnitude, when compared to FD and by more than four orders of magnitude when compared with FA.


title: Meta-Embeddings for Natural Language Inference and Semantic Similarity tasks

abstract: Word Representations form the core component for almost all advanced Natural Language Processing (NLP) applications such as text mining, question-answering, and text summarization, etc. Over the last two decades, immense research is conducted to come up with one single model to solve all major NLP tasks. The major problem currently is that there are a plethora of choices for different NLP tasks. Thus for NLP practitioners, the task of choosing the right model to be used itself becomes a challenge. Thus combining multiple pre-trained word embeddings and forming meta embeddings has become a viable approach to improve tackle NLP tasks. Meta embedding learning is a process of producing a single word embedding from a given set of pre-trained input word embeddings. In this paper, we propose to use Meta Embedding derived from few State-of-the-Art (SOTA) models to efficiently tackle mainstream NLP tasks like classification, semantic relatedness, and text similarity. We have compared both ensemble and dynamic variants to identify an efficient approach. The results obtained show that even the best State-of-the-Art models can be bettered. Thus showing us that meta-embeddings can be used for several NLP tasks by harnessing the power of several individual representations.


title: Deep dynamic modeling with just two time points: Can we still allow for individual trajectories?

abstract: Longitudinal biomedical data are often characterized by a sparse time grid and individual-specific development patterns. Specifically, in epidemiological cohort studies and clinical registries we are facing the question of what can be learned from the data in an early phase of the study, when only a baseline characterization and one follow-up measurement are available. Inspired by recent advances that allow to combine deep learning with dynamic modeling, we investigate whether such approaches can be useful for uncovering complex structure, in particular for an extreme small data setting with only two observations time points for each individual. Irregular spacing in time could then be used to gain more information on individual dynamics by leveraging similarity of individuals. We provide a brief overview of how variational autoencoders (VAEs), as a deep learning approach, can be linked to ordinary differential equations (ODEs) for dynamic modeling, and then specifically investigate the feasibility of such an approach that infers individual-specific latent trajectories by including regularity assumptions and individuals' similarity. We also provide a description of this deep learning approach as a filtering task to give a statistical perspective. Using simulated data, we show to what extent the approach can recover individual trajectories from ODE systems with two and four unknown parameters and infer groups of individuals with similar trajectories, and where it breaks down. The results show that such dynamic deep learning approaches can be useful even in extreme small data settings, but need to be carefully adapted.


title: Counting distributions from the perspective of combinants

abstract: We present a comprehensive insight into counting distributions from the perspective of the combinants extracted from them. In particular, we focus on cases where these combinants exhibit oscillatory behavior that can provide an invaluable new source of information about the dynamics of the process under study. We show that such behavior can be described only by specific combinations of compound distributions based on the Binomial Distribution and provide their analytical forms which can be used in further investigations and which can be helpful in the analysis of all other types of counting distributions.


title: Directional Radio Propagation Path Loss Models for Millimeter-Wave Wireless Networks in the 28-, 60-, and 73-GHz Bands

abstract: Fifth-generation (5G) cellular systems are likely to operate in the centimeter-wave (3-30 GHz) and millimeter-wave (30-300 GHz) frequency bands, where a vast amount of underutilized bandwidth exists world-wide. To assist in the research and development of these emerging wireless systems, a myriad of measurement studies have been conducted to characterize path loss in urban environments at these frequencies. The standard theoretical free space (FS) and Stanford University Interim (SUI) empirical path loss models were recently modified to fit path loss models obtained from measurements performed at 28 GHz and 38 GHz, using simple correction factors. In this paper, we provide similar correction factors for models at 60 GHz and 73 GHz. By imparting slope correction factors on the FS and SUI path loss models to closely match the close-in (CI) free space reference distance path loss models, millimeter-wave path loss can be accurately estimated (with popular models) for 5G cellular planning at 60 GHz and 73 GHz. Additionally, new millimeter-wave beam combining path loss models are provided at 28 GHz and 73 GHz by considering the simultaneous combination of signals from multiple antenna pointing directions between the transmitter and receiver that result in the strongest received power. Such directional channel models are important for future adaptive array systems at millimeter-wave frequencies.


title: Breakup of rotating asymmetric quartic-quadratic trapped condensates

abstract: The threshold conditions for a rotating pancake-like asymmetric quartic-quadratic confined condensate to break in two localized fragments, as well as to produce giant vortex at the center within the vortex-pattern distributions, are investigated within the Thomas-Fermi (TF) approximation and exact numerical solution of the corresponding Gross-Pitaevskii (GP) formalism. By comparing the TF predictions with exact GP solutions, in our investigation with two different quartic-quadratic trap geometries, of particular relevance is to observe that the TF approach is not only very useful to display the averaged density distribution, but also quite realistic in establishing the critical rotational conditions for the breakup occurrence and possible giant-vortex formation. It provides almost exact results to define the contour of the condensate distribution, even for high rotating system, after the system split in two (still confined) clouds. The applicability of the Feynman rule to the vortex distribution (full-numerical GP solutions) is also being confirmed for these non-homogeneous asymmetric trap configurations. This study is expected to be relevant for manipulating the rotation and trap parameters in addition to Feshbach resonance techniques. It can also be helpful to define initial conditions for any further studies on dynamical evolution of vortex pattern distributions.


title: Reduced Order Models for the Quasi-Geostrophic Equations: A Brief Survey

abstract: Reduced order models (ROMs) are computational models whose dimension is significantly lower than those obtained through classical numerical discretizations (e.g., finite element, finite difference, finite volume, or spectral methods). Thus, ROMs have been used to accelerate numerical simulations of many query problems, e.g., uncertainty quantification, control, and shape optimization. Projection-based ROMs have been particularly successful in the numerical simulation of fluid flows. In this brief survey, we summarize some recent ROM developments for the quasi-geostrophic equations (QGE) (also known as the barotropic vorticity equations), which are a simplified model for geophysical flows in which rotation plays a central role, such as wind-driven ocean circulation in mid-latitude ocean basins. Since the QGE represent a practical compromise between efficient numerical simulations of ocean flows and accurate representations of large scale ocean dynamics, these equations have often been used in the testing of new numerical methods for ocean flows. ROMs have also been tested on the QGE for various settings in order to understand their potential in efficient numerical simulations of ocean flows. In this paper, we survey the ROMs developed for the QGE in order to understand their potential in efficient numerical simulations of more complex ocean flows: We explain how classical numerical methods for the QGE are used to generate the ROM basis functions, we outline the main steps in the construction of projection-based ROMs (with a particular focus on the under-resolved regime, when the closure problem needs to be addressed), we illustrate the ROMs in the numerical simulation of the QGE for various settings, and we present several potential future research avenues in the ROM exploration of the QGE and more complex models of geophysical flows.


title: Effects of Solar Radio Emissions on Outdoor Propagation Path Loss Models at 60 GHz Bands for Access/Backhaul Links and D2D Communications

abstract: This paper presents analytical and empirical data documenting the effects of solar radio emissions on outdoor propagation path loss at 60 GHz bands. Both line-of-sight (LOS) and non-LOS scenarios were considered. The setup used in the empirical studies emulates the future fifth-generation cellular systems for both access and backhaul services, as well as for device-to-device communications. Based on the measurement data collected in sunny weather with intense solar activities, we developed large-scale propagation path loss models at 60 GHz, and observed the effects of solar radio emissions on the path loss data. It is shown that solar radio emission can decrease carrier-to-noise ratio, and that this translates into a corresponding increase in the path loss exponent (PLE) values for the large-scale propagation path loss channel models. Empirical data show that 9.0%-15.6% higher PLE values were observed in hot and sunny weather during the day (41{\deg}-42 {\deg}C) compared with the counterpart measurements taken at night in cool and clear weather (20{\deg}-38 {\deg}C). This translates into a corresponding decrease in 60 GHz radio coverage in hot and sunny weather during the day. The empirical data are closely corroborated by analytical estimates presented.


title: Adjoint-Based Sensitivity Analysis of Steady Char Burnout

abstract: Simulations of pulverised coal combustion rely on various models, required in order to correctly approximate the flow, chemical reactions, and behavior of solid particles. These models, in turn, rely on multiple model parameters, which are determined through experiments or small-scale simulations and contain a certain level of uncertainty. The competing effects of transport, particle physics, and chemistry give rise to various scales and disparate dynamics, making it a very challenging problem to analyse. Therefore, the steady combustion process of a single solid particle is considered as a starting point for this study. As an added complication, the large number of parameters present in such simulations makes a purely forward approach to sensitivity analysis very expensive and almost infeasible. Therefore, the use of adjoint-based algorithms, to identify and quantify the underlying sensitivities and uncertainties, is proposed. This adjoint framework bears a great advantage in this case, where a large input space is analysed, since a single forward and backward sweep provides sensitivity information with respect to all parameters of interest. In order to investigate the applicability of such methods, both discrete and continuous adjoints are considered, and compared to the conventional approaches, such as finite differences, and forward sensitivity analysis. Various quantities of interest are considered, and sensitivities with respect to the relevant combustion parameters are reported for two different freestream compositions, describing air and oxy-atmospheres. This study serves as a benchmark for future research, where unsteady and finally turbulent cases will be considered.


title: A Decade Survey of Content Based Image Retrieval using Deep Learning

abstract: The content based image retrieval aims to find the similar images from a large scale dataset against a query image. Generally, the similarity between the representative features of the query image and dataset images is used to rank the images for retrieval. In early days, various hand designed feature descriptors have been investigated based on the visual cues such as color, texture, shape, etc. that represent the images. However, the deep learning has emerged as a dominating alternative of hand-designed feature engineering from a decade. It learns the features automatically from the data. This paper presents a comprehensive survey of deep learning based developments in the past decade for content based image retrieval. The categorization of existing state-of-the-art methods from different perspectives is also performed for greater understanding of the progress. The taxonomy used in this survey covers different supervision, different networks, different descriptor type and different retrieval type. A performance analysis is also performed using the state-of-the-art methods. The insights are also presented for the benefit of the researchers to observe the progress and to make the best choices. The survey presented in this paper will help in further research progress in image retrieval using deep learning.


title: Particle image velocimetry analysis with simultaneous uncertainty quantification using Bayesian neural networks

abstract: Particle image velocimetry (PIV) is an effective tool in experimental fluid mechanics to extract flow fields from images. Recently, convolutional neural networks (CNNs) have been used to perform PIV analysis with accuracy on par with classical methods. Here we extend the use of CNNs to analyze PIV data while providing simultaneous uncertainty quantification on the inferred flow field. The method we apply in this paper is a Bayesian convolutional neural network (BCNN) which learns distributions of the CNN weights through variational Bayes. We compare the performance of three different BCNN models. The first network estimates flow velocity from image interrogation regions only. Our second model learns to infer velocity from both the image interrogation regions and interrogation region cross-correlation maps. Finally, our best performing network derives velocities from interrogation region cross-correlation maps only. We find that BCNNs using interrogation region cross-correlation maps as inputs perform better than those using interrogation windows only as inputs and discuss reasons why this may be the case. Additionally, we test the best performing BCNN on a full test image pair, showing that 100% of true particle displacements can be captured within its 95% confidence interval. Finally, we show that BCNNs can be generalized to be used with multi-pass PIV algorithms with a moderate loss in accuracy, which may be overcome by future work on finetuning and training schemes. To our knowledge, this is the first effort to use Bayesian neural networks to perform particle image velocimetry.


title: Procedure for the Safety Assessment of an Autonomous Vehicle Using Real-World Scenarios

abstract: The development of Autonomous Vehicles (AVs) has made significant progress in the last years. An important aspect in the development of AVs is the assessment of their safety. New approaches need to be worked out. Among these, real-world scenario-based assessment is widely supported by many players in the automotive field. Scenario-based assessment allows for using virtual simulation tools in addition to physical tests, such as on a test track, proving ground, or public road. We propose a procedure for real-world scenario-based road-approval assessment considering three stakeholders: the applicant, the assessor, and the (road or vehicle) authority. The challenges are as follows. Firstly, the tests need to be tailored to the operational design domain (ODD) and dynamic driving task (DDT) description of the AV. Secondly, it is assumed that the applicant does not want to disclose all of the detailed test results because of proprietary or confidential information contained in these results. Thirdly, due to the complex ODD and DDT, many test scenarios are required to obtain sufficient confidence in the assessment of the AV. Consequently, it is assumed that due to limited resources, it is infeasible for the assessor to conduct all (physical) tests. We propose a systematic approach for determining the tests that are based on the requirements set by the authority and the AV's ODD and DDT description, such that the tests are tailored to the applicable ODD and DDT. Each test comes with metrics that enables the applicant to provide a performance rating of the AV for each of the tests. By only providing a performance rating for each test, the applicant does not need to disclose the details of the test results. In our proposed procedure, the assessor only conducts a limited number of tests. The main purpose of these tests is to verify the fidelity of the results provided by the applicant.


title: Double beta decay results from the CUPID-0 experiment

abstract: A convincing observation of neutrino-less double beta decay (0$\nu$DBD) relies on the possibility of operating high energy-resolution detectors in background-free conditions. Scintillating cryogenic calorimeters are one of the most promising tools to fulfill the requirements for a next-generation experiment. Several steps have been taken to demonstrate the maturity of this technique, starting from the successful experience of CUPID-0. The CUPID-0 experiment demonstrated the complete rejection of the dominant alpha background measuring the lowest counting rate in the region of interest for this technique. Furthermore, the most stringent limit on the $^{82}$Se 0$\nu$DBD was established running 26 ZnSe crystals during two years of continuous detector operation. In this contribution we present the final results of CUPID-0 Phase I including a detailed model of the background, the measurement of the $^{82}$Se 2$\nu$DBD half-life and the evidence that this nuclear transition is single state dominated.


title: Integer programming for weakly coupled stochastic dynamic programs with partial information

abstract: This paper introduces algorithms for problems where a decision maker has to control a system composed of several components and has access to only partial information on the state of each component. Such problems are difficult because of the partial observations, and because of the curse of dimensionality that appears when the number of components increases. Partially observable Markov decision processes (POMDPs) have been introduced to deal with the first challenge, while weakly coupled stochastic dynamic programs address the second. Drawing from these two branches of the literature, we introduce the notion of weakly coupled POMDPs. The objective is to find a policy maximizing the total expected reward over a finite horizon. Our algorithms rely on two ingredients. The first, which can be used independently, is a mixed integer linear formulation for generic POMDPs that computes an optimal memoryless policy. The formulation is strengthened with valid cuts based on a probabilistic interpretation of the dependence between random variables, and its linear relaxation provide a practically tight upper bound on the value of an optimal history-dependent policies. The second is a collection of mathematical programming formulations and algorithms which provide tractable policies and upper bounds for weakly coupled POMDPs. Lagrangian relaxations, fluid approximations, and almost sure constraints relaxations enable to break the curse of dimensionality. We test our generic POMDPs formulations on benchmark instance forms the literature, and our weakly coupled POMDP algorithms on a maintenance problem. Numerical experiments show the efficiency of our approach.


title: On hallucinations in tomographic image reconstruction

abstract: Tomographic image reconstruction is generally an ill-posed linear inverse problem. Such ill-posed inverse problems are typically regularized using prior knowledge of the sought-after object property. Recently, deep neural networks have been actively investigated for regularizing image reconstruction problems by learning a prior for the object properties from training images. However, an analysis of the prior information learned by these deep networks and their ability to generalize to data that may lie outside the training distribution is still being explored. An inaccurate prior might lead to false structures being hallucinated in the reconstructed image and that is a cause for serious concern in medical imaging. In this work, we propose to illustrate the effect of the prior imposed by a reconstruction method by decomposing the image estimate into generalized measurement and null components. The concept of a hallucination map is introduced for the general purpose of understanding the effect of the prior in regularized reconstruction methods. Numerical studies are conducted corresponding to a stylized tomographic imaging modality. The behavior of different reconstruction methods under the proposed formalism is discussed with the help of the numerical studies.


title: Distributed state estimation: a novel stopping criterion

abstract: Power System State Estimation (PSSE) has been a research area of interest for power engineers for a long period of time. Due to the intermittent nature of renewable energy sources, which are applied in the power network more than before, the importance of state estimation has been increased as well. Centralized state estimation due to the complexity of new networks and growing size of power network will face problems such as communication bottleneck in real-time analyzing of the system or reliability issues. Distributed state estimation is a solution for the mentioned issues. There are different implementation methods introduced for it. The results of the paper are twofold. First, we examined different approaches to distributed PSSE (DPSSE) problem, according to most important factors like iteration number, convergence rate, data needed to be transferred to/from each area and so on. Next, we proposed and discussed a new distributed stopping criterion for the methods and above-mentioned factors are obtained as well. Finally, a comparison between the total efficiency of all applied methods is done.


title: Cyber-Attack Consequence Prediction

abstract: Cyber-physical systems posit a complex number of security challenges due to interconnection of heterogeneous devices having limited processing, communication, and power capabilities. Additionally, the conglomeration of both physical and cyber-space further makes it difficult to devise a single security plan spanning both these spaces. Cyber-security researchers are often overloaded with a variety of cyber-alerts on a daily basis many of which turn out to be false positives. In this paper, we use machine learning and natural language processing techniques to predict the consequences of cyberattacks. The idea is to enable security researchers to have tools at their disposal that makes it easier to communicate the attack consequences with various stakeholders who may have little to no cybersecurity expertise. Additionally, with the proposed approach researchers' cognitive load can be reduced by automatically predicting the consequences of attacks in case new attacks are discovered. We compare the performance through various machine learning models employing word vectors obtained using both tf-idf and Doc2Vec models. In our experiments, an accuracy of 60% was obtained using tf-idf features and 57% using Doc2Vec method for models based on LinearSVC model.


title: Unpaired Image-to-Image Translation via Latent Energy Transport

abstract: Image-to-image translation aims to preserve source contents while translating to discriminative target styles between two visual domains. Most works apply adversarial learning in the ambient image space, which could be computationally expensive and challenging to train. In this paper, we propose to deploy an energy-based model (EBM) in the latent space of a pretrained autoencoder for this task. The pretrained autoencoder serves as both a latent code extractor and an image reconstruction worker. Our model, LETIT, is based on the assumption that two domains share the same latent space, where latent representation is implicitly decomposed as a content code and a domain-specific style code. Instead of explicitly extracting the two codes and applying adaptive instance normalization to combine them, our latent EBM can implicitly learn to transport the source style code to the target style code while preserving the content code, an advantage over existing image translation methods. This simplified solution is also more efficient in the one-sided unpaired image translation setting. Qualitative and quantitative comparisons demonstrate superior translation quality and faithfulness for content preservation. Our model is the first to be applicable to 1024$\times$1024-resolution unpaired image translation to the best of our knowledge.


title: Decomposition, Compression, and Synthesis (DCS)-based Video Coding: A Neural Exploration via Resolution-Adaptive Learning

abstract: Inspired by the facts that retinal cells actually segregate the visual scene into different attributes (e.g., spatial details, temporal motion) for respective neuronal processing, we propose to first decompose the input video into respective spatial texture frames (STF) at its native spatial resolution that preserve the rich spatial details, and the other temporal motion frames (TMF) at a lower spatial resolution that retain the motion smoothness; then compress them together using any popular video coder; and finally synthesize decoded STFs and TMFs for high-fidelity video reconstruction at the same resolution as its native input. This work simply applies the bicubic resampling in decomposition and HEVC compliant codec in compression, and puts the focus on the synthesis part. For resolution-adaptive synthesis, a motion compensation network (MCN) is devised on TMFs to efficiently align and aggregate temporal motion features that will be jointly processed with corresponding STFs using a non-local texture transfer network (NL-TTN) to better augment spatial details, by which the compression and resolution resampling noises can be effectively alleviated with better rate-distortion efficiency. Such "Decomposition, Compression, Synthesis (DCS)" based scheme is codec agnostic, currently exemplifying averaged $\approx$1 dB PSNR gain or $\approx$25% BD-rate saving, against the HEVC anchor using reference software. In addition, experimental comparisons to the state-of-the-art methods and ablation studies are conducted to further report the efficiency and generalization of DCS algorithm, promising an encouraging direction for future video coding.


title: Cross-Modality Protein Embedding for Compound-Protein Affinity and Contact Prediction

abstract: Compound-protein pairs dominate FDA-approved drug-target pairs and the prediction of compound-protein affinity and contact (CPAC) could help accelerate drug discovery. In this study we consider proteins as multi-modal data including 1D amino-acid sequences and (sequence-predicted) 2D residue-pair contact maps. We empirically evaluate the embeddings of the two single modalities in their accuracy and generalizability of CPAC prediction (i.e. structure-free interpretable compound-protein affinity prediction). And we rationalize their performances in both challenges of embedding individual modalities and learning generalizable embedding-label relationship. We further propose two models involving cross-modality protein embedding and establish that the one with cross interaction (thus capturing correlations among modalities) outperforms SOTAs and our single modality models in affinity, contact, and binding-site predictions for proteins never seen in the training set.


title: Repurposing the Combination Drug of Favipiravir, Hydroxychloroquine and Oseltamivir as a Potential Inhibitor against SARS-CoV-2: A Computational Study

abstract: The virus SARS-CoV-2 has created a situation of global emergency all over the world from the last few months. We are witnessing a helpless situation due to COVID-19 as no vaccine or drug is effective against the disease. In the present study, we have tested the applicability of some combination drugs against COVID-19. We have tried to understand the mechanism of action of some repurposed drugs: Favipiravir (F), Hydroxychloroquine (H) and Oseltamivir (O). The ADME analysis have suggested strong inhibitory possibility of F, H, O combination towards receptor protein of $3CL^{pro}$ of SARS-CoV-2 virus. The strong binding affinity, number of hydrogen bond interaction between inhibitor, receptor and lower inhibition constant computed from molecular docking validated the better complexation possibility of F+H+O: $3CL^{pro}$ combination. Various thermodynamical output from Molecular dynamics (MD) simulations like potential energy ($E_g$), temperature (T), density, pressure, SASA energy, interaction energies, Gibbs free energy ($\Delta G_{bind}$) etc., also favored the complexation between F+H+O and CoV-2 protease. Our In-Silico results have recommended the strong candidature of combination drugs Favipiravir, Hydroxychloroquine and Oseltamivir as a potential lead inhibitor for targeting SARS-CoV-2 infections.


title: Ivermectin and Doxycycline Combination as a Promising Drug Candidate Against SARS-CoV-2 Infection: A Computational Study

abstract: In the present study, we have described how by using molecular docking and molecular dynamic (MD) simulation studies the combination drug of ivermectin and doxycycline can be used as a potential inhibitor for SARS-CoV-2 virus. In lieu of unavailability of specific cure of COVID-19 till now various possibilities for individual and combination drugs have been explored by the medical practitioners/scientists for the remedial purpose of CoV-2 infections. $3CL^{pro}$ is the main protease of SARS-CoV-2 virus which plays an essential role in mediating viral replication in the human body. $3CL^{pro}$ protein can serve as an attractive drug target. In this work, we have studied drug: $3CL^{pro}$ interactions by in silico molecular docking and MD simulation approaches. Common and easily available antiviral drugs ivermectin, doxycycline and their combination have been proved their valid candidature to be used as potential drug candidates against SARS-CoV-2 infections.


title: Matrix-valued truncated Toeplitz operators: unbounded symbols, kernels and equivalence after extension

abstract: This paper studies matrix-valued truncated Toeplitz operators, which are a vectorial generalisation of truncated Toeplitz operators. It is demonstrated that, although there exist matrix-valued truncated Toeplitz operators without a matrix symbol in $L^p$ for any $p \in (2, \infty ]$, there is a wide class of matrix-valued truncated Toeplitz operators which possess a matrix symbol in $L^p$ for some $p \in (2, \infty ]$. In the case when the matrix-valued truncated Toeplitz operator has a symbol in $L^p$ for some $p \in (2, \infty ]$, an approach is developed which bypasses some of the technical difficulties which arise when dealing with problems concerning matrix-valued truncated Toeplitz operators with unbounded symbols. Using this new approach, two new notable results are obtained. The kernel of the matrix-valued truncated Toeplitz operator is expressed as an isometric image of an $S^*$-invariant subspace. Also, a Toeplitz operator is constructed which is equivalent after extension to the matrix-valued truncated Toeplitz operator. In a different yet overlapping vein, it is also shown that multidimensional analogues of the truncated Wiener-Hopf operators are unitarily equivalent to certain matrix-valued truncated Toeplitz operators.


title: A Kinetic Study of the N(2D) + C2H4 Reaction at Low Temperature

abstract: Electronically excited nitrogen atoms N(2D) are important species in the photochemistry of N2 based planetary atmospheres such as Titan. Despite this, few N(2D) reactions have been studied over the appropriate low temperature range. During the present work, rate constants were measured for the N(2D) + ethene (C2H4) reaction using a supersonic flow reactor at temperatures between 50 K and 296 K. Here, a chemical reaction was used to generate N(2D) atoms, which were detected directly by laser induced fluorescence in the vacuum ultraviolet wavelength region. The measured rate constants displayed very little variation as a function of temperature, with substantially larger values than those obtained in previous work. Indeed, considering an average temperature of 170 K for the atmosphere of Titan leads to a rate constant that is almost seven times larger than the currently recommended value. In parallel, electronic structure calculations were performed to provide insight into the reactive process. While earlier theoretical work at a lower level predicted the presence of a barrier for the N(2D) + C2H4 reaction, the present calculations demonstrate that two of the five doublet potential energy surfaces correlating with reagents are likely to be attractive, presenting no barriers for the perpendicular approach of the N atom to the carbon double bond of ethene. The measured rate constants and new product channels taken from recent dynamical investigations of this process are included in a 1D coupled ion-neutral model of Titans atmosphere. These simulations indicate that the modeled abundances of numerous nitrogen bearing compounds are noticeably affected by these changes.


title: Cross-modal registration using point clouds and graph-matching in the context of correlative microscopies

abstract: Correlative microscopy aims at combining two or more modalities to gain more information than the one provided by one modality on the same biological structure. Registration is needed at different steps of correlative microscopies workflows. Biologists want to select the image content used for registration not to introduce bias in the correlation of unknown structures. Intensity-based methods might not allow this selection and might be too slow when the images are very large. We propose an approach based on point clouds created from selected content by the biologist. These point clouds may be prone to big differences in densities but also missing parts and outliers. In this paper we present a method of registration for point clouds based on graph building and graph matching, and compare the method to iterative closest point based methods.


title: Bayesian classification for dating archaeological sites via projectile points

abstract: Dating is a key element for archaeologists. We propose a Bayesian approach to provide chronology to sites that have neither radiocarbon dating nor clear stratigraphy and whose only information comes from lithic arrowheads. This classifier is based on the Dirichlet-multinomial inferential process and posterior predictive distributions. The procedure is applied to predict the period of a set of undated sites located in the east of the Iberian Peninsula during the IVth and IIIrd millennium cal. BC.


title: Learning and Using Abstractions for Robot Planning

abstract: Robot motion planning involves computing a sequence of valid robot configurations that take the robot from its initial state to a goal state. Solving a motion planning problem optimally using analytical methods is proven to be PSPACE-Hard. Sampling-based approaches have tried to approximate the optimal solution efficiently. Generally, sampling-based planners use uniform samplers to cover the entire state space. In this paper, we propose a deep-learning-based framework that identifies robot configurations in the environment that are important to solve the given motion planning problem. These states are used to bias the sampling distribution in order to reduce the planning time. Our approach works with a unified network and generates domain-dependent network parameters based on the environment and the robot. We evaluate our approach with Learn and Link planner in three different settings. Results show significant improvement in motion planning times when compared with current sampling-based motion planners.


title: Emotion Detection using Image Processing in Python

abstract: In this work, user's emotion using its facial expressions will be detected. These expressions can be derived from the live feed via system's camera or any pre-exisiting image available in the memory. Emotions possessed by humans can be recognized and has a vast scope of study in the computer vision industry upon which several researches have already been done. The work has been implemented using Python (2.7, Open Source Computer Vision Library (OpenCV) and NumPy. The scanned image(testing dataset) is being compared to the training dataset and thus emotion is predicted. The objective of this paper is to develop a system which can analyze the image and predict the expression of the person. The study proves that this procedure is workable and produces valid results.


title: On Simon's Hausdorff Dimension Conjecture

abstract: Barry Simon conjectured in 2005 that the Szeg\H{o} matrices, associated with Verblunsky coefficients $\{\alpha_n\}_{n\in\mathbb{Z}_+}$ obeying $\sum_{n = 0}^\infty n^\gamma |\alpha_n|^2 < \infty$ for some $\gamma \in (0,1)$, are bounded for values $z \in \partial \mathbb{D}$ outside a set of Hausdorff dimension no more than $1 - \gamma$. Three of the authors recently proved this conjecture by employing a Pr\"ufer variable approach that is analogous to work Christian Remling did on Schr\"odinger operators. This paper is a companion piece that presents a simple proof of a weak version of Simon's conjecture that is in the spirit of a proof of a different conjecture of Simon.


title: Fast-Convergent Federated Learning with Adaptive Weighting

abstract: Federated learning (FL) enables resource-constrained edge nodes to collaboratively learn a global model under the orchestration of a central server while keeping privacy-sensitive data locally. The non-independent-and-identically-distributed (non-IID) data samples across participating nodes slow model training and impose additional communication rounds for FL to converge. In this paper, we propose Federated Adaptive Weighting (FedAdp) algorithm that aims to accelerate model convergence under the presence of nodes with non-IID dataset. We observe the implicit connection between the node contribution to the global model aggregation and data distribution on the local node through theoretical and empirical analysis. We then propose to assign different weights for updating the global model based on node contribution adaptively through each training round. The contribution of participating nodes is first measured by the angle between the local gradient vector and the global gradient vector, and then, weight is quantified by a designed non-linear mapping function subsequently. The simple yet effective strategy can reinforce positive (suppress negative) node contribution dynamically, resulting in communication round reduction drastically. Its superiority over the commonly adopted Federated Averaging (FedAvg) is verified both theoretically and experimentally. With extensive experiments performed in Pytorch and PySyft, we show that FL training with FedAdp can reduce the number of communication rounds by up to 54.1% on MNIST dataset and up to 45.4% on FashionMNIST dataset, as compared to FedAvg algorithm.


title: A Fully Bayesian, Logistic Regression Tracking Algorithm for Mitigating Disparate Misclassification

abstract: We develop a fully Bayesian, logistic tracking algorithm with the purpose of providing classification results that are unbiased when applied uniformly to individuals with differing sensitive variable values. Here, we consider bias in the form of differences in false prediction rates between the different sensitive variable groups. Given that the method is fully Bayesian, it is well suited for situations where group parameters or logistic regression coefficients are dynamic quantities. We illustrate our method, in comparison to others, on both simulated datasets and the well-known ProPublica COMPAS dataset.


title: The Perturbative Resolvent Method: spectral densities of random matrix ensembles via perturbation theory

abstract: We present a simple, perturbative approach for calculating spectral densities for random matrix ensembles in the thermodynamic limit we call the Perturbative Resolvent Method (PRM). The PRM is based on constructing a linear system of equations and calculating how the solutions to these equation change in response to a small perturbation using the zero-temperature cavity method. We illustrate the power of the method by providing simple analytic derivations of the Wigner Semi-circle Law for symmetric matrices, the Marchenko-Pastur Law for Wishart matrices, the spectral density for a product Wishart matrix composed of two square matrices, and the Circle and elliptic laws for real random matrices.

categories: cond-mat.dis-nn cond-mat.stat-mech math.ST stat.ME stat.TH


title: Navigator-Free Submillimeter Diffusion Imaging using Multishot-encoded Simultaneous Multi-slice (MUSIUM)

abstract: The ability to achieve submillimter isotropic resolution diffusion MR imaging (dMRI) is critically important to study fine-scale brain structures, particularly in the cortex. One of the major challenges in performing submillimeter dMRI is the inherently low signal-to-noise ratio (SNR). While approaches capable of mitigating the low SNR in high resolution dMRI have been proposed, namely simultaneous multi-slab (SMSlab) and generalized slice dithered enhanced resolution with simultaneous multislice (gSlider-SMS), limitations are associated with these approaches. The SMSlab sequences suffer from the slab boundary artifacts and require additional navigators for phase estimation. On the other hand, gSlider sequences require relatively high RF power and peak amplitude, which increase the SAR and complicate the RF excitation. In this work, we developed a navigator-free multishot-encoded simultaneous multi-slice (MUSIUM) imaging approach on a 3T MR scanner, achieving enhanced SNR, low RF power and peak amplitude, and being free from slab boundary artifacts. The dMRI with ultrahigh resolution (0.86 mm isotropic resolution), whole brain coverage and ~12.5 minute acquisition time were achieved, revealing detailed structures at cortical and white matter areas. The simulated and in vivo results also demonstrated that the MUSIUM imaging was minimally affected by the motion. Taken together, the MUSIUM imaging is a promising approach to achieve submillimeter diffusion imaging on 3T MR scanners within clinically feasible scan time.


title: $b\to s\tau^+\tau^-$ Physics at Future $Z$ Factories

abstract: $b\to s\tau^+\tau^-$ measurements are highly motivated for addressing lepton-flavor-universality (LFU)-violating puzzles such as $R_{K^{(\ast)}}$ anomalies. The anomalies of $R_{D^{(*)}}$ and $R_{J/\psi}$ further strengthen their necessity and importance, given that the LFU-violating hints from both involve the third-generation leptons directly. $Z$ factories at the future $e^-e^+$ colliders stand at a great position to conduct such measurements because of their relatively high production rates and reconstruction efficiencies for $B$ mesons at the $Z$ pole. To fully explore this potential, we pursue a dedicated sensitivity study in four $b\to s\tau^+\tau^-$ benchmark channels, namely $B^0\to K^{\ast 0} \tau^+ \tau^-$, $B_s\to\phi \tau^+ \tau^-$, $B^+ \to K^+ \tau^+ \tau^- $ and $B_s \to \tau^+ \tau^-$, at the future $Z$ factories. We develop a fully tracker-based scheme for reconstructing the signal $B$ mesons and introduce a semi-quantitative method for estimating their major backgrounds. The simulations indicate that branching ratios of the first three channels can be measured with a precision $\sim \mathcal O(10^{-7} - 10^{-6})$ and that of $B_s \to \tau^+ \tau^-$ with a precision $\sim \mathcal O(10^{-5})$ at Tera-$Z$. The impacts of luminosity and tracker resolution on the expected sensitivities are explored. The interpretations of these results in effective field theory are also presented.