title: Motion Deblurring using Spatiotemporal Phase Aperture Coding

abstract: Motion blur is a known issue in photography, as it limits the exposure time while capturing moving objects. Extensive research has been carried to compensate for it. In this work, a computational imaging approach for motion deblurring is proposed and demonstrated. Using dynamic phase-coding in the lens aperture during the image acquisition, the trajectory of the motion is encoded in an intermediate optical image. This encoding embeds both the motion direction and extent by coloring the spatial blur of each object. The color cues serve as prior information for a blind deblurring process, implemented using a convolutional neural network (CNN) trained to utilize such coding for image restoration. We demonstrate the advantage of the proposed approach over blind-deblurring with no coding and other solutions that use coded acquisition, both in simulation and real-world experiments.


title: Connecting the Wilson depression to the magnetic field of sunspots

abstract: Context: In sunspots, the geometric height of continuum optical depth unity is depressed compared to the quiet Sun. This so-called Wilson depression is caused by the Lorentz force of the strong magnetic field inside the spots. However, it is not understood in detail yet, how the Wilson depression is related to the strength and geometry of the magnetic field or to other properties of the sunspot. Aims: We aim to study the dependence of the Wilson depression on the properties of the magnetic field of the sunspots and how exactly the magnetic field contributes to balancing the Wilson depression with respect to the gas pressure of the surroundings of the spots. Methods: Our study is based on 24 spectropolarimetric scans of 12 individual sunspots performed with Hinode. We derived the Wilson depression for each spot using both, a recently developed method that is based on minimizing the divergence of the magnetic field, and an approach developed earlier that enforces an equilibrium between the gas pressure and the magnetic pressure inside the spot and the gas pressure in the quiet Sun, thus neglecting the influence of the curvature force. We then performed a statistical analysis by comparing the Wilson depression resulting from the two techniques with each other and by relating them to various parameters of the sunspots, such as their size or the strength of the magnetic field. Results: We find that the Wilson depression becomes larger for spots with a stronger magnetic field, but not as much as one would expect from the increased magnetic pressure. This suggests that the curvature integral provides an important contribution to the Wilson depression, particularly for spots with a weak magnetic field. Our results indicate that the geometry of the magnetic field in the penumbra is different between spots with different strengths of the average umbral magnetic field.


title: The apparent anti-correlation between the mass opacity of interstellar dust and the surface-density of interstellar gas

abstract: Recent analyses of ${\it Herschel}$ observations suggest that in nearby disc galaxies the dust mass opacity at $500 \, {\rm \mu m}$, $\kappa_{500}$, decreases with increasing gas surface density, $\Sigma_{\rm ISM}$ (Clark et al. 2019). This apparent anti-correlation between $\kappa_{500}$ and $\Sigma_{\rm ISM}$ is opposite to the behaviour expected from theoretical dust evolution models; in such models, dust in denser, cooler regions (i.e. regions of increased $\Sigma_{\rm ISM}$) tends to grow and therefore to have increased $\kappa_{500}$. We show, using a toy model, that the presence of a range of dust temperatures along the line of sight can lead to spuriously low estimated values of $\kappa_{500}$. If in regions of higher $\Sigma_{\rm ISM}$ the range of dust temperatures extends to lower values (as seems likely), the magnitude of this effect may be sufficient to explain the apparent anti-correlation between $\kappa_{500}$ and $\Sigma_{\rm ISM}$. Therefore there may not be any need for spatial variation in the intrinsic dust properties that run counter to theoretical expectations.


title: Search for intermediate resonances and dark gauge bosons in $J/\psi\rightarrow\gamma\pi^0\eta^{\prime}$

abstract: We report on an analysis of the decay $J/\psi\rightarrow\gamma\pi^0\eta^{\prime}$ using a sample of $(1310.6 \pm 7.0) \times ~10^6~ J/\psi$ events collected with the BESIII detector. We search for the CP-violating process $\eta_c\rightarrow\pi^0\eta^{\prime}$ and a dark gauge boson $U'$ in $J/\psi\rightarrow U^{\prime}\eta^{\prime},~U^{\prime}\rightarrow\gamma\pi^0,~\pi^0\rightarrow\gamma\gamma$. No evidence of an $\eta_{c}$ signal is observed in the $\pi^0\eta^{\prime}$ invariant-mass spectrum and the upper limit of the branching fraction is determined to be $7.2 \times~10^{-5}$ at the 90\% confidence level. We also find no evidence of $U'$ production and set upper limits at the 90\% confidence level on the product branching fraction $\mathcal{B}(J/\psi \rightarrow U^{\prime} \eta^{\prime}) \times \mathcal{B}(U^{\prime} \rightarrow \pi^{0} \gamma)$ in the range between $(0.8 - 6.5)\times 10^{-7}$ for 0.2 $\leq m_{U^{\prime}} \leq 2.1 $GeV$/c^{2}$. In addition, we study the process $J/\psi\rightarrow\omega\eta^{\prime}$ with $\omega\rightarrow\gamma\pi^0$. The branching fraction of $J/\psi\rightarrow\omega\eta^{\prime}$ is found to be $(1.87\pm0.09\pm0.12) \times 10^{-4}$, where the first uncertainty is statistical and the second is systematic, with a precision that is improved by a factor of 1.4 over the previously published BESIII measurement.


title: NoiseBreaker: Gradual Image Denoising Guided by Noise Analysis

abstract: Fully supervised deep-learning based denoisers are currently the most performing image denoising solutions. However, they require clean reference images. When the target noise is complex, e.g. composed of an unknown mixture of primary noises with unknown intensity, fully supervised solutions are limited by the difficulty to build a suited training set for the problem. This paper proposes a gradual denoising strategy that iteratively detects the dominating noise in an image, and removes it using a tailored denoiser. The method is shown to keep up with state of the art blind denoisers on mixture noises. Moreover, noise analysis is demonstrated to guide denoisers efficiently not only on noise type, but also on noise intensity. The method provides an insight on the nature of the encountered noise, and it makes it possible to extend an existing denoiser with new noise nature. This feature makes the method adaptive to varied denoising cases.


title: Noise, not squeezing, boosts synchronization in the deep quantum regime

abstract: Synchronization occurs ubiquitously in nature. The van der Pol oscillator has been a favorite model to investigate synchronization. Here we study the oscillator in the deep quantum regime, where nonclassical effects dominate the dynamics. Our results show: (i) squeezed driving loses its effect, (ii) noise boosts synchronization, (iii) synchronization is bounded, and (iv) the limit-cycle is insensitive to strong driving. We propose a synchronization measure and analytically calculate it. These results reflect intrinsic differences between synchronization in the quantum and deep quantum regimes.


title: Modified Poisson-Nernst-Planck model with Coulomb and hard-sphere correlations

abstract: We develop a modified Poisson-Nernst-Planck model which includes both the long-range Coulomb and short-range hard-sphere correlations in its free energy functional such that the model can accurately describe the ion transport in complex environment and under a nanoscale confinement. The Coulomb correlation including the dielectric polarization is treated by solving a generalized Debye-H\"uckel equation which is a Green's function equation with the correlation energy of a test ion described by the self Green's function. The hard-sphere correlation is modeled through the modified fundamental measure theory. The resulting model is available for problems beyond the mean-field theory such as problems with variable dielectric media, multivalent ions, and strong surface charge density. We solve the generalized Debye-H\"uckel equation by the Wentzel-Kramers-Brillouin approximation, and study the electrolytes between two parallel dielectric surfaces. In comparison to other modified models, the new model is shown more accurate in agreement with particle-based simulations and capturing the physical properties of ionic structures near interfaces.


title: Topological characterization of non-Hermitian multiband systems using Majorana's Stellar Representation

abstract: For topological characterization of non-Hermitian multiband systems, Majorana's stellar representation (MSR) is applied to 1D multiband models consisting of asymmetric nearest-neighbor hopping and imaginary on-site potentials. The number of edge states isolated from the continuous bulk bands in the complex energy plane is successfully linked with a topological invariant constructed from MSR. Specifically, the number of isolated edge states can be obtained from a winding number defined for the Majorana stars, which also allows for a geometric visualization of the topology related to the isolated edge modes. A remarkable success of our approach is that our winding number characterization remains valid even in the presence of exceptional points of the continuous bulk bands, where the Hamiltonian becomes non-diagonalizable and hence conventional topological invariants such as the Zak phase and the Chern number cannot be properly defined. Furthermore, cases with the so-called non-Hermitian skin effect are also studied, showing that the bulk-boundary correspondence between our defined winding numbers and isolated edge states can be restored. Of particular interest is a four-band example with an odd number of isolated edge states, where the Zak phase approach necessarily fails upon removing the skin effect, but our MSR-based characterization works equally well. For these reasons, our study is expected to be widely useful in topological studies of non-Hermitian multiband systems, regardless of the skin effect or the presence of the exceptional points in non-Hermitian systems.


title: The Time-Triggered Wireless Architecture

abstract: Wirelessly interconnected sensors, actuators, and controllers promise greater flexibility, lower installation and maintenance costs, and higher robustness in harsh conditions than wired solutions. However, to facilitate the adoption of wireless communication in cyber-physical systems (CPS), the functional and non-functional properties must be similar to those known from wired architectures. We thus present Time-Triggered Wireless (TTW), a wireless architecture for multi-mode CPS that offers reliable communication with guarantees on end-to-end delays among distributed applications executing on low-cost, low-power embedded devices. We achieve this by exploiting the high reliability and deterministic behavior of a synchronous transmission based communication stack we design, and by coupling the timings of distributed task executions and message exchanges across the wireless network by solving a novel co-scheduling problem. While some of the concepts in TTW have existed for some time and TTW has already been successfully applied for feedback control and coordination of multiple mechanical systems with closed-loop stability guarantees, this paper presents the key algorithmic, scheduling, and networking mechanisms behind TTW, along with their experimental evaluation, which have not been known so far. TTW is open source and ready to use: ttw.ethz.ch


title: Van der Corput lemmas for Mittag-Leffler functions

abstract: In this paper, we study analogues of the van der Corput lemmas involving Mittag-Leffler functions. The generalisation is that we replace the exponential function with the Mittag-Leffler-type function, to study oscillatory type integrals appearing in the analysis of time-fractional partial differential equations. Several generalisations of the first and second van der Corput lemmas are proved. Optimal estimates on decay orders for particular cases of the Mittag-Leffler functions are also obtained. As an application of the above results, the generalised Riemann-Lebesgue lemma and the Cauchy problem for the time-fractional Schr\"{o}dinger equation are considered.


title: MapLUR: Exploring a new Paradigm for Estimating Air Pollution using Deep Learning on Map Images

abstract: Land-use regression (LUR) models are important for the assessment of air pollution concentrations in areas without measurement stations. While many such models exist, they often use manually constructed features based on restricted, locally available data. Thus, they are typically hard to reproduce and challenging to adapt to areas beyond those they have been developed for. In this paper, we advocate a paradigm shift for LUR models: We propose the Data-driven, Open, Global (DOG) paradigm that entails models based on purely data-driven approaches using only openly and globally available data. Progress within this paradigm will alleviate the need for experts to adapt models to the local characteristics of the available data sources and thus facilitate the generalizability of air pollution models to new areas on a global scale. In order to illustrate the feasibility of the DOG paradigm for LUR, we introduce a deep learning model called MapLUR. It is based on a convolutional neural network architecture and is trained exclusively on globally and openly available map data without requiring manual feature engineering. We compare our model to state-of-the-art baselines like linear regression, random forests and multi-layer perceptrons using a large data set of modeled $\text{NO}_2$ concentrations in Central London. Our results show that MapLUR significantly outperforms these approaches even though they are provided with manually tailored features. Furthermore, we illustrate that the automatic feature extraction inherent to models based on the DOG paradigm can learn features that are readily interpretable and closely resemble those commonly used in traditional LUR approaches.


title: The Picard group of the universal moduli stack of principal bundles on pointed smooth curves

abstract: For any smooth connected linear algebraic group G over an algebraically closed field k, we describe the Picard group of the universal moduli stack of principal G-bundles over pointed smooth k-projective curves.


title: Radial Distributions of Coronal Electron Temperatures: specificities of the DYN model

abstract: This paper is a follow up of the article where Lemaire and Stegen (2016) introduced their DYN method to calculate coronal temperature profiles from given radial distributions of the coronal and solar wind (SW) electron densities. Several such temperature profiles are calculated and presented corresponding to a set of given empirical density models derived from eclipse observations and in-situ measurements of the electron density and bulk velocity at 1 AU. The DYN temperature profiles obtained for the equatorial and polar regions of the corona challenge the results deduced since 1958 from singular hydrodynamical models of the SW. In these models - where the expansion velocity transits through a singular saddle point - the maximum coronal temperature is predicted to be located at the base of the corona, while in all DYN models the altitude of the maximum temperature is found at significantly higher altitudes in the mid-corona. Furthermore, the maximum of the DYN-estimated temperatures is found at much higher altitudes over the polar regions and coronal holes, than over the equator. However, at low altitudes, in the inner corona, the DYN temperatures are always smaller at high latitudes, than at low equatorial latitudes. This appears well in agreement with existing coronal hole observations. These findings have serious implications on the open questions: what is the actual source of the coronal heating, and where is the maximum energy deposited within the solar corona?


title: Implication of the hidden sub-GeV bosons for the $(g-2)_\mu$, $^8$Be-$^4$He anomaly, proton charge radius, EDM of fermions and dark axion portal

abstract: We discuss new physics phenomenology of hidden scalar ($S$), pseudoscalar ($P$), vector ($V$) and axial-vector ($A$) particles coupled to nucleons and leptons, which could give contributions to proton charge radius, $(g-2)_\mu$, $^8$Be-$^4$He anomaly and electric dipole moment (EDM) of Standard Model (SM) particles. In particular, we estimate sensitivity of NA64$\mu$ experiment to observe muon missing energy events involving hidden scalar and vector particles. That analysis is based on {\tt GEANT4} Monte Carlo simulation of the signal process of muon scattering off target nuclei $\mu N \to \mu N S(V)$ followed by invisible boson decay into Dark Matter (DM) particles, $S(V)\to \chi \chi$. The existence of light sub-GeV bosons could possibly explain the muon $(g-2)$ anomaly observed. We also summarize existing bounds on ATOMKI $X17(J^P=0^-, 1^\pm)$ boson coupling with neutron, proton and electron. We implement these constraints to estimate the contribution of $P$, $V$ and $A$ particles to proton charge radius via direct 1-loop calculation of Sachs form factors. The analysis reveals the corresponding contribution is negligible. We also calculate bounds on dark axion portal couplings of dimension-five operators, which contribute to the EDMs of leptons and neutron.


title: Characters of algebraic groups over number fields

abstract: Let $k$ be a number field, $\mathbf{G}$ an algebraic group defined over $k$, and $\mathbf{G}(k)$ the group of $k$-rational points in $\mathbf{G}.$ We determine the set of functions on $\mathbf{G}(k)$ which are of positive type and conjugation invariant, under the assumption that $\mathbf{G}(k)$ is generated by its unipotent elements. An essential step in the proof is the classification of the $\mathbf{G}(k)$-invariant ergodic probability measures on an adelic solenoid naturally associated to $\mathbf{G}(k);$ this last result is deduced from Ratner's measure rigidity theorem for homogeneous spaces of $S$-adic Lie groups.


title: On the Complexity of the Cycles based Synthesis of Ternary Reversible Circuits

abstract: The paper studies the main aspects of the realization of 2 x 2 ternary reversible circuits based on cycles, considering the results of the realization of all 362,880 2 x 2 ternary reversible functions. It has been shown that in most cases, realizations obtained with the MMD+ algorithm have a lower complexity (in terms of cost) than realizations based on cycles. In the paper it is shown under which conditions realizations based on transpositions may have a higher or a lower cost than realizations using larger cycles. Finally it is shown that there are a few special cases where realizations based on transpositions have the same cost or possibly lower cost than the MMD+ based realizations. Aspects of scaleability are considered in terms of 2 x 2-based n x n reversible circuits.


title: Can we overcome the neutrino floor at high masses?

abstract: The neutrino floor is a barrier in the parameter space of weakly interacting massive particles (WIMPs) below which discovery is impeded due to an almost irreducible background of neutrinos. Directional gas time projection chambers could discriminate against solar neutrinos, relevant for WIMP masses $\lesssim$10 GeV. At higher masses $\gtrsim$100 GeV the floor is set by the background of atmospheric neutrinos. Probing below this part of the floor would require very large target exposures. Since gas-based detectors would be prohibitively large at this scale, we instead reevaluate the prospects for liquid noble experiments to probe below the neutrino floor. We combine all potential methods of subtracting the neutrino background to determine how much of this difficult to reach, but well-motivated, parameter space it is feasible to reach. Most notably, we quantify whether a proposed directional signal in xenon and argon experiments called "columnar recombination" can help in this task. We find that even if the strength of this effect is amplified beyond current experimental results, the quantity of directional information contained in the recombination signal is too low to realistically discriminate against the atmospheric neutrino background. Instead, benefiting from the refined measurements of neutrino fluxes by experiments such as DUNE and JUNO will be the most practical means to push direct WIMP searches below the neutrino floor. For an ultimate global coordination of xenon and argon experiments, we show that the neutrino floor is a surmountable barrier. The direct detection of 100 GeV-scale supersymmetric WIMPs may, eventually, be within reach.


title: QCD phase structure from functional methods

abstract: We discuss the QCD phase structure at finite temperature and chemical potential for $2$-flavour and $2+1$-flavour QCD. The results are achieved by computing QCD correlation functions within a generalised functional approach that combines Dyson-Schwinger equations (DSE) and the functional renormalisation group (fRG). In this setup fRG precision data from arXiv:1706.06326 for the vacuum quark-gluon vertex and gluon propagator of $2$-flavour QCD are used as input, and the respective DSEs are expanded about this input. While the vacuum results for other correlation functions serve as a self-consistency check for functional approaches, the results at finite temperature and density are computed, for the first time, without the need of phenomenological infrared parameters.


title: A Wasserstein Minimum Velocity Approach to Learning Unnormalized Models

abstract: Score matching provides an effective approach to learning flexible unnormalized models, but its scalability is limited by the need to evaluate a second-order derivative. In this paper, we present a scalable approximation to a general family of learning objectives including score matching, by observing a new connection between these objectives and Wasserstein gradient flows. We present applications with promise in learning neural density estimators on manifolds, and training implicit variational and Wasserstein auto-encoders with a manifold-valued prior.


title: Identity of the JET M-mode and the ASDEX Upgrade I-phase phenomena

abstract: An H-mode plasma state free of edge-localized mode (ELM), close to the L-H transition with clear density and temperature pedestal has been observed both at the Joint European Torus (JET) and at the ASDEX Upgrade (AUG) tokamaks usually identified by a low frequency (LFO, 1-2 kHz), m=1, n=0 oscillation of the magnetics and the modulation of pedestal profiles. The regime at JET is referred to as M-mode while at AUG as intermediate phase or I-phase. This contribution aims at a comparative analysis of these phenomena in terms of the density and temperature pedestal properties, the magnetic oscillations and symmetries. Lithium beam emission spectroscopy (Li-BES) and reflectometer measurements at JET and AUG show that the M-mode and the I-phase modulates the plasma edge density. A high frequency oscillation of the magnetics and the density at the pedestal is also associated with both the M-mode and the I-phase, and its power is modulated with the LFO frequency. The power modulation happens simultaneously in every Mirnov coil signal where it can be detected. The bursts of the magnetic signals and the density at the pedestal region are followed by the flattening of the density profile, and by a radially outward propagating density pulse in the scrape-off layer (SOL). The analysis of the helium line ratio spectroscopy (He-BES) signals at AUG revealed that the electron temperature is modulated in phase with the density, thus the I-phase modulates the pressure profile gradient. This analysis gave opportunity to compare Li-BES and He-BES density profiles at different locations suggesting a toroidal and poloidal symmetry of the density modulation. The presented results indicate that the regimes, the AUG I-phase and the JET M-mode, exhibit similar characteristics, which leads to the conclusion that the regimes are likely the same.


title: The quirk trajectory

abstract: We for the first time obtain the analytical solution for the quirk equation of motion in an approximate way. Based on it, we study several features of quirk trajectory in a more precise way, including quirk oscillation amplitude, number of periods, as well as the thickness of quirk pair plane. Moreover, we find an exceptional case where the quirk crosses at least one of the tracking layers repeatedly. Finally, we consider the effects of ionization energy loss and fixed direction of infracolor string for a few existing searches.


title: A Practical Phase Field Method for an Elliptic Surface PDE

abstract: We consider a diffuse interface approach for solving an elliptic PDE on a given closed hypersurface. The method is based on a (bulk) finite element scheme employing numerical quadrature for the phase field function and hence is very easy to implement compared to other approaches. We estimate the error in natural norms in terms of the spatial grid size, the interface width and the order of the underlying quadrature rule. Numerical test calculations are presented which confirm the form of the error bounds.


title: A Scalable Method for Scheduling Distributed Energy Resources using Parallelized Population-based Metaheuristics

abstract: Recent years have seen an increasing integration of distributed renewable energy resources into existing electric power grids. Due to the uncertain nature of renewable energy resources, network operators are faced with new challenges in balancing load and generation. In order to meet the new requirements, intelligent distributed energy resource plants can be used which provide as virtual power plants e.g. demand side management or flexible generation. However, the calculation of an adequate schedule for the unit commitment of such distributed energy resources is a complex optimization problem which is typically too complex for standard optimization algorithms if large numbers of distributed energy resources are considered. For solving such complex optimization tasks, population-based metaheuristics -- as e.g. evolutionary algorithms -- represent powerful alternatives. Admittedly, evolutionary algorithms do require lots of computational power for solving such problems in a timely manner. One promising solution for this performance problem is the parallelization of the usually time-consuming evaluation of alternative solutions. In the present paper, a new generic and highly scalable parallel method for unit commitment of distributed energy resources using metaheuristic algorithms is presented. It is based on microservices, container virtualization and the publish/subscribe messaging paradigm for scheduling distributed energy resources. Scalability and applicability of the proposed solution are evaluated by performing parallelized optimizations in a big data environment for three distinct distributed energy resource scheduling scenarios. The new method provides cluster or cloud parallelizability and is able to deal with a comparably large number of distributed energy resources. The application of the new proposed method results in very good performance for scaling up optimization speed.


title: Bi-slant $\xi^{\perp}$-Riemannian submersions

abstract: We introduce bi-slant $\xi^{\perp}$-Riemannian submersions from Sasakian manifolds onto Riemannian manifolds as a generalization of slant and semi-slant $\xi^{\perp}$-Riemannian submersion. We give an example and investigate the geometry foliations. After we obtain necessary and sufficient conditions related to totally geodesicness of submersion. Finally we give decomposition theorems for total manifold of such submersions.


title: Design of SEC-DED and SEC-DED-DAEC Codes of different lengths

abstract: Reliability is an important requirement for both communication and storage systems. Due to continuous scale down of technology multiple adjacent bits error probability increases. The data may be corrupted due soft errors. Error correction codes are used to detect and correct the errors. In this paper, design of single error correction-double error detection (SEC-DED) and single error correction-double error detection-double adjacent error correction (SEC-DED-DAEC) codes of different data lengths have been proposed. Proposed SEC-DED and SEC-DED-DAEC codes require lower delay and power compared to existing coding schemes. Area complexity in terms of logic gates of proposed and existing codes have been presented. ASIC-based synthesis results show a notable reduction compared to existing SEC-DED codes. All the codec architectures are synthesized on ASIC platform. Performances of different SEC-DED-DAEC codes are tabulated in terms of area, power and delay.


title: ELM-based Superimposed CSI Feedback for FDD Massive MIMO System

abstract: In frequency-division duplexing (FDD) massive multiple-input multiple-output (MIMO), deep learning (DL)-based superimposed channel state information (CSI) feedback has presented promising performance. However, it is still facing many challenges, such as the high complexity of parameter tuning, large number of training parameters, and long training time, etc. To overcome these challenges, an extreme learning machine (ELM)-based superimposed CSI feedback is proposed in this paper, in which the downlink CSI is spread and then superimposed on uplink user data sequence (UL-US) to feed back to base station (BS). At the BS, an ELM-based network is constructed to recover both downlink CSI and UL-US. In the constructed ELM-based network, we employ the simplified versions of ELM-based subnets to replace the subnets of DL-based superimposed feedback, yielding less training parameters. Besides, the input weights and hidden biases of each ELM-based subnet are loaded from the same matrix by using its full or partial entries, which significantly reduces the memory requirement. With similar or better recovery performances of downlink CSI and UL-US, the proposed ELM-based method has less training parameters, storage space, offline training and online running time than those of DL-based superimposed CSI feedback.


title: Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos

abstract: Fault-tolerant distributed systems offer high reliability because even if faults in their components occur, they do not exhibit erroneous behavior. Depending on the fault model adopted, hardware and software errors that do not result in a process crashing are usually not tolerated. To tolerate these rather common failures the usual solution is to adopt a stronger fault model, such as the arbitrary or Byzantine fault model. Algorithms created for this fault model, however, are considerably more complex and require more system resources than the ones developed for less strict fault models. One approach to reach a middle ground is the non-malicious arbitrary fault model. This model assumes it is possible to detect and filter faults with a given probability, if these faults are not created with malicious intent, allowing the isolation and mapping of these faults to benign faults. In this paper we describe how we incremented an implementation of active replication in the non-malicious fault model with a basic type of distributed validation, where a deviation from the expected algorithm behavior will make a process crash. We experimentally evaluate this implementation using a fault injection framework showing that it is feasible to extend the concept of non-malicious failures beyond hardware failures.


title: Sequential Latent Knowledge Selection for Knowledge-Grounded Dialogue

abstract: Knowledge-grounded dialogue is a task of generating an informative response based on both discourse context and external knowledge. As we focus on better modeling the knowledge selection in the multi-turn knowledge-grounded dialogue, we propose a sequential latent variable model as the first approach to this matter. The model named sequential knowledge transformer (SKT) can keep track of the prior and posterior distribution over knowledge; as a result, it can not only reduce the ambiguity caused from the diversity in knowledge selection of conversation but also better leverage the response information for proper choice of knowledge. Our experimental results show that the proposed model improves the knowledge selection accuracy and subsequently the performance of utterance generation. We achieve the new state-of-the-art performance on Wizard of Wikipedia (Dinan et al., 2019) as one of the most large-scale and challenging benchmarks. We further validate the effectiveness of our model over existing conversation methods in another knowledge-based dialogue Holl-E dataset (Moghe et al., 2018).


title: An Efficient Secure Dynamic Skyline Query Model

abstract: It is now cost-effective to outsource large dataset and perform query over the cloud. However, in this scenario, there exist serious security and privacy issues that sensitive information contained in the dataset can be leaked. The most effective way to address that is to encrypt the data before outsourcing. Nevertheless, it remains a grand challenge to process queries in ciphertext efficiently. In this work, we shall focus on solving one representative query task, namely dynamic skyline query, in a secure manner over the cloud. However, it is difficult to be performed on encrypted data as its dynamic domination criteria require both subtraction and comparison, which cannot be directly supported by a single encryption scheme efficiently. To this end, we present a novel framework called SCALE. It works by transforming traditional dynamic skyline domination into pure comparisons. The whole process can be completed in single-round interaction between user and the cloud. We theoretically prove that the outsourced database, query requests, and returned results are all kept secret under our model. Moreover, we also present an efficient strategy for dynamic insertion and deletion of stored records. Empirical study over a series of datasets demonstrates that our framework improves the efficiency of query processing by nearly three orders of magnitude compared to the state-of-the-art.


title: Poster Abstract: Towards Scalable and Trustworthy Decentralized Collaborative Intrusion Detection System for IoT

abstract: An Intrusion Detection System (IDS) aims to alert users of incoming attacks by deploying a detector that monitors network traffic continuously. As an effort to increase detection capabilities, a set of independent IDS detectors typically work collaboratively to build intelligence of holistic network representation, which is referred to as Collaborative Intrusion Detection System (CIDS). However, developing an effective CIDS, particularly for the IoT ecosystem raises several challenges. Recent trends and advances in blockchain technology, which provides assurance in distributed trust and secure immutable storage, may contribute towards the design of effective CIDS. In this poster abstract, we present our ongoing work on a decentralized CIDS for IoT, which is based on blockchain technology. We propose an architecture that provides accountable trust establishment, which promotes incentives and penalties, and scalable intrusion information storage by exchanging bloom filters. We are currently implementing a proof-of-concept of our modular architecture in a local test-bed and evaluate its effectiveness in detecting common attacks in IoT networks and the associated overhead.


title: Coarse graining of a Fokker-Planck equation with excluded volume effects preserving the gradient-flow structure

abstract: The propagation of gradient flow structures from microscopic to macroscopic models is a topic of high current interest. In this paper we discuss this propagation in a model for the diffusion of particles interacting via hard-core exclusion or short-range repulsive potentials. We formulate the microscopic model as a high-dimensional gradient flow in the Wasserstein metric for an appropriate free-energy functional. Then we use the JKO approach to identify the asymptotics of the metric and the free-energy functional beyond the lowest order for single particle densities in the limit of small particle volumes by matched asymptotic expansions. While we use a propagation of chaos assumption at far distances, we consider correlations at small distance in the expansion. In this way we obtain a clear picture of the emergence of a macroscopic gradient structure incorporating corrections in the free energy functional due to the volume exclusion.


title: Balancing reconstruction error and Kullback-Leibler divergence in Variational Autoencoders

abstract: In the loss function of Variational Autoencoders there is a well known tension between two components: the reconstruction loss, improving the quality of the resulting images, and the Kullback-Leibler divergence, acting as a regularizer of the latent space. Correctly balancing these two components is a delicate issue, easily resulting in poor generative behaviours. In a recent work, Dai and Wipf obtained a sensible improvement by allowing the network to learn the balancing factor during training, according to a suitable loss function. In this article, we show that learning can be replaced by a simple deterministic computation, helping to understand the underlying mechanism, and resulting in a faster and more accurate behaviour. On typical datasets such as Cifar and Celeba, our technique sensibly outperforms all previous VAE architectures.


title: Characterizing Synchronous Writes in Stable Memory Devices

abstract: Distributed algorithms that operate in the fail-recovery model rely on the state stored in stable memory to guarantee the irreversibility of operations even in the presence of failures. The performance of these algorithms lean heavily on the performance of stable memory. Current storage technologies have a defined performance profile: data is accessed in blocks of hundreds or thousands of bytes, random access to these blocks is expensive and sequential access is somewhat better. File system implementations hide some of the performance limitations of the underlying storage devices using buffers and caches. However, fail-recovery distributed algorithms bypass some of these techniques and perform synchronous writes to be able to tolerate a failure during the write itself. Assuming the distributed system designer is able to buffer the algorithm's writes, we ask how buffer size and latency complement each other. In this paper we start to answer this question by characterizing the performance (throughput and latency) of typical stable memory devices using a representative set of current file systems.


title: Using neural networks for efficient evaluation of high multiplicity scattering amplitudes

abstract: Precision theoretical predictions for high multiplicity scattering rely on the evaluation of increasingly complicated scattering amplitudes which come with an extremely high CPU cost. For state-of-the-art processes this can cause technical bottlenecks in the production of fully differential distributions. In this article we explore the possibility of using neural networks to approximate multi-variable scattering amplitudes and provide efficient inputs for Monte Carlo integration. We focus on QCD corrections to $e^+e^-\to$ jets up to one-loop and up to five jets. We demonstrate reliable interpolation when a series of networks are trained to amplitudes that have been divided into sectors defined by their infrared singularity structure. Complete simulations for one-loop distributions show speed improvements of at least an order of magnitude over a standard approach.


title: Testing Yukawa Unification at LHC Run-3 and HL-LHC

abstract: We explore $t-b-\tau$ Yukawa unification (YU) in a supersymmetric $SU(4)_c \times SU(2)_L \times SU(2)_R $ model without imposing a discrete left-right (L-R) symmetry. A number of interesting solutions that are compatible with $t-b-\tau$ YU, LSP neutralino dark matter (DM), and LHC and other experimental constraints are identified. In particular, they include gluino-neutralino and stau-neutralino co-annihilation scenarios, where the NLSP gluino mass can range from 1-3 TeV. Higgsino-like dark matter solutions are also identified for which gluino masses can approach 5 TeV or so. This scenario will be tested at LHC Run-3 and its future upgrades.


title: Self-Enhanced GNN: Improving Graph Neural Networks Using Model Outputs

abstract: Graph neural networks (GNNs) have received much attention recently because of their excellent performance on graph-based tasks. However, existing research on GNNs focuses on designing more effective models without considering much about the quality of the input data. In this paper, we propose self-enhanced GNN (SEG), which improves the quality of the input data using the outputs of existing GNN models for better performance on semi-supervised node classification. As graph data consist of both topology and node labels, we improve input data quality from both perspectives. For topology, we observe that higher classification accuracy can be achieved when the ratio of inter-class edges (connecting nodes from different classes) is low and propose topology update to remove inter-class edges and add intra-class edges. For node labels, we propose training node augmentation, which enlarges the training set using the labels predicted by existing GNN models. SEG is a general framework that can be easily combined with existing GNN models. Experimental results validate that SEG consistently improves the performance of well-known GNN models such as GCN, GAT and SGC across different datasets.


title: Iwasawa theory for $\mathrm{GL}_2\times\mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$

abstract: Let $K$ be a imaginary quadratic field where the prime $p$ splits. Our goal in this article is to prove results towards the Iwasawa main conjectures for $p$-nearly-ordinary families associated to $\mathrm{GL}_2\times \mathrm{Res}_{K/\mathbb{Q}}\mathrm{GL}_1$ with a minimal set of assumptions. The main technical input is an improvement on the locally restricted Euler system machinery that allows the treatment of residually reducible cases, which we apply with the Beilinson--Flach Euler system.


title: Gradient $\ell_1$ Regularization for Quantization Robustness

abstract: We analyze the effect of quantizing weights and activations of neural networks on their loss and derive a simple regularization scheme that improves robustness against post-training quantization. By training quantization-ready networks, our approach enables storing a single set of weights that can be quantized on-demand to different bit-widths as energy and memory requirements of the application change. Unlike quantization-aware training using the straight-through estimator that only targets a specific bit-width and requires access to training data and pipeline, our regularization-based method paves the way for "on the fly'' post-training quantization to various bit-widths. We show that by modeling quantization as a $\ell_\infty$-bounded perturbation, the first-order term in the loss expansion can be regularized using the $\ell_1$-norm of gradients. We experimentally validate the effectiveness of our regularization scheme on different architectures on CIFAR-10 and ImageNet datasets.


title: Flat-top interleavers based on single MMIs

abstract: We demonstrate for the first time flat-top interleavers based on cascaded Mach-Zehnder interferometers (MZIs) which use only single multimode interferometers (MMIs) as power splitters. Our previous designs were based on 4-stage cascades of MZIs, where we used single MMIs and double MMIs to achieve 85:15 splitting ratio and 31:69 splitting ratio respectively. This time, we propose instead a greatly simplified 2-stage configuration using only single MMIs, including a standard 50:50 MMI, and two tapered MMIs to achieve 71:29 and 92:08 splitting ratios. We have designed the interleaver based on its geometrical representation on the Bloch sphere, then confirmed by efficient 2D simulations of the building blocks and of the whole structure, based on the eigenmode expansion method. We show how important is to take into account the phase relations between the outputs of all MMIs in order to make a working design. We have successfully fabricated devices with different channel spacing on our micron-scale silicon photonics platform, and measurement results confirmed their expected flat-top operation on a broad band. Using only single MMI splitters we can not only greatly outperform the bandwidth achieved by standard directional couplers, but we can also ensure much higher robustness to fabrication errors, also compared to previous demonstrations based on double MMIs. Indeed, when compared to those previous attempts, the new results prove tapered MMIs to be the most robust approach to achieve arbitrary splitting ratios.


title: Few-Shot Few-Shot Learning and the role of Spatial Attention

abstract: Few-shot learning is often motivated by the ability of humans to learn new tasks from few examples. However, standard few-shot classification benchmarks assume that the representation is learned on a limited amount of base class data, ignoring the amount of prior knowledge that a human may have accumulated before learning new tasks. At the same time, even if a powerful representation is available, it may happen in some domain that base class data are limited or non-existent. This motivates us to study a problem where the representation is obtained from a classifier pre-trained on a large-scale dataset of a different domain, assuming no access to its training process, while the base class data are limited to few examples per class and their role is to adapt the representation to the domain at hand rather than learn from scratch. We adapt the representation in two stages, namely on the few base class data if available and on the even fewer data of new tasks. In doing so, we obtain from the pre-trained classifier a spatial attention map that allows focusing on objects and suppressing background clutter. This is important in the new problem, because when base class data are few, the network cannot learn where to focus implicitly. We also show that a pre-trained network may be easily adapted to novel classes, without meta-learning.


title: Torus cannot collapse to a segment

abstract: In earlier work, we analyzed the impossibility of codimension-one collapse for surfaces of negative Euler characteristic under the condition of a lower bound for the Gaussian curvature. Here we show that, under similar conditions, the torus cannot collapse to a segment. Unlike the torus, the Klein bottle can collapse to a segment; we show that in such a situation, the loops in a short basis for homology must stay a uniform distance apart.


title: Convergence and error estimates for a finite difference scheme for the multi-dimensional compressible Navier-Stokes system

abstract: We prove convergence of a finite difference approximation of the compressible Navier--Stokes system towards the strong solution in $R^d,$ $d=2,3,$ for the adiabatic coefficient $\gamma>1$. Employing the relative energy functional, we find a convergence rate which is \emph{uniform} in terms of the discretization parameters for $\gamma \geq d/2$. All results are \emph{unconditional} in the sense that we have no assumptions on the regularity nor boundedness of the numerical solution. We also provide numerical experiments to validate the theoretical convergence rate. To the best of our knowledge this work contains the first unconditional result on the convergence of a finite difference scheme for the unsteady compressible Navier--Stokes system in multiple dimensions.


title: Flat manifolds with holonomy representation of quaternionic type

abstract: We are interested in the question of the existence of flat manifolds for which all $\mathbb R$-irreducible components of the holonomy representation are either absolutely irreducible, of complex or of quaternionic type. In the first two cases such examples are well known. But the existence of the third type of flat manifolds was unknown to the authors. In this article we construct such an example. Moreover, we present a list of finite groups for which a construction of manifolds of quaternionic type is impossible.


title: A Survey of Deep Learning Techniques for Neural Machine Translation

abstract: In recent years, natural language processing (NLP) has got great development with deep learning techniques. In the sub-field of machine translation, a new approach named Neural Machine Translation (NMT) has emerged and got massive attention from both academia and industry. However, with a significant number of researches proposed in the past several years, there is little work in investigating the development process of this new technology trend. This literature survey traces back the origin and principal development timeline of NMT, investigates the important branches, categorizes different research orientations, and discusses some future research trends in this field.


title: Transverse momentum dependent factorization for lattice observables

abstract: Using soft collinear effective field theory, we derive the factorization theorem for the quasi-transverse-momentum-dependent (quasi-TMD) operator. We check the factorization theorem at one-loop level and compute the corresponding coefficient function and anomalous dimensions. The factorized expression is built from the physical TMD distribution, and a nonperturbative lattice related factor. We demonstrate that lattice related functions cancel in appropriately constructed ratios. These ratios could be used to explore various properties of TMD distributions, for instance, the nonperturbative evolution kernel. A discussion of such ratios and the related continuum properties of TMDs is presented.


title: A Computationally Efficient Neural Network Invariant to the Action of Symmetry Subgroups

abstract: We introduce a method to design a computationally efficient $G$-invariant neural network that approximates functions invariant to the action of a given permutation subgroup $G \leq S_n$ of the symmetric group on input data. The key element of the proposed network architecture is a new $G$-invariant transformation module, which produces a $G$-invariant latent representation of the input data. This latent representation is then processed with a multi-layer perceptron in the network. We prove the universality of the proposed architecture, discuss its properties and highlight its computational and memory efficiency. Theoretical considerations are supported by numerical experiments involving different network configurations, which demonstrate the effectiveness and strong generalization properties of the proposed method in comparison to other $G$-invariant neural networks.


title: On the numerical index of absolute symmetric norms on the plane

abstract: We give a lower bound for the numerical index of two-dimensional real spaces with absolute and symmetric norm. This allows us to compute the numerical index of the two-dimensional real $L_p$-space for $3/2\leq p\leq 3$.


title: Improved Optimistic Algorithms for Logistic Bandits

abstract: The generalized linear bandit framework has attracted a lot of attention in recent years by extending the well-understood linear setting and allowing to model richer reward structures. It notably covers the logistic model, widely used when rewards are binary. For logistic bandits, the frequentist regret guarantees of existing algorithms are $\tilde{\mathcal{O}}(\kappa \sqrt{T})$, where $\kappa$ is a problem-dependent constant. Unfortunately, $\kappa$ can be arbitrarily large as it scales exponentially with the size of the decision set. This may lead to significantly loose regret bounds and poor empirical performance. In this work, we study the logistic bandit with a focus on the prohibitive dependencies introduced by $\kappa$. We propose a new optimistic algorithm based on a finer examination of the non-linearities of the reward function. We show that it enjoys a $\tilde{\mathcal{O}}(\sqrt{T})$ regret with no dependency in $\kappa$, but for a second order term. Our analysis is based on a new tail-inequality for self-normalized martingales, of independent interest.


title: On the Absence of Triplet Exciton Loss Pathways in Non-Fullerene Acceptor based Organic Solar Cells

abstract: We investigate the viability of highly efficient organic solar cells (OSCs) based on non-fullerene acceptors (NFA) by taking into consideration efficiency loss channels and stability issues caused by triplet excitons (TE) formation. OSCs based on a blend of the conjugated donor polymer PBDB-T and ITIC as acceptor were fabricated and investigated with electrical, optical and spin-sensitive methods. The spin-Hamiltonian parameters of molecular TEs and charge transfer TEs in ITIC e.g., zero-field splitting and charge distribution, were calculated by Density Functional Theory (DFT) modelling. In addition, the energetic model describing the photophysical processes in the donor-acceptor blend was derived. Spin-sensitive photoluminescence measurements prove the formation of charge transfer (CT) states in the blend and the formation of TEs in the pure materials and the blend. However, no molecular TE signal is observed in the completed devices under working conditions by spin-sensitive electrical measurements. The absence of a molecular triplet state population allows to eliminate a charge carrier loss channel and irreversible photooxidation facilitated by long-lived triplet states. These results correlate well with the high power conversion efficiency of the PBDB-T:ITIC-based OSCs and their high stability.


title: Bellman function for Hardy's inequality over dyadic trees

abstract: In this article we use the Bellman function technique to characterize the measures for which the weighted Hardy's inequality holds on dyadic trees. We enunciate the (dual) Hardy's inequality over the dyadic tree and we use the associated "Burkholder-type" function to find the main inequality required in the proof of the result. We enunciate a "Bellman-type" function satisfying the required properties and we use the Bellman function technique to prove the main result of this article. We prove the optimality of the associated constant with an explicit example of an extremal family of maps. We also give an explicit interpretation of the corresponding Bellman function in terms of the theory of stochastic optimal control.


title: On removable singularities of solutions of higher order differential inequalities

abstract: We obtain sufficient conditions for solutions of the $m$th-order differential inequality $$ \sum_{|\alpha| = m} \partial^\alpha a_\alpha (x, u) \ge f (x) g (|u|) \quad \mbox{in } B_1 \setminus \{ 0 \} $$ to have a removable singularity at zero, where $a_\alpha$, $f$, and $g$ are some functions, and $B_1 = \{ x : |x| < 1 \}$ is a unit ball in ${\mathbb R}^n$. Constructed examples demonstrate the exactness of these conditions.


title: A Spiking Neural Network Emulating the Structure of the Oculomotor System Requires No Learning to Control a Biomimetic Robotic Head

abstract: Robotic vision introduces requirements for real-time processing of fast-varying, noisy information in a continuously changing environment. In a real-world environment, convenient assumptions, such as static camera systems and deep learning algorithms devouring high volumes of ideally slightly-varying data are hard to survive. Leveraging on recent studies on the neural connectome associated with eye movements, we designed a neuromorphic oculomotor controller and placed it at the heart of our in-house biomimetic robotic head prototype. The controller is unique in the sense that (1) all data are encoded and processed by a spiking neural network (SNN), and (2) by mimicking the associated brain areas' topology, the SNN is biologically interpretable and requires no training to operate. Here, we report the robot's target tracking ability, demonstrate that its eye kinematics are similar to those reported in human eye studies and show that a biologically-constrained learning, although not required for the SNN's function, can be used to further refine its performance. This work aligns with our ongoing effort to develop energy-efficient neuromorphic SNNs and harness their emerging intelligence to control biomimetic robots with versatility and robustness.


title: Adaptive Real-Time Scheduling for Cooperative Cyber-Physical Systems

abstract: CPSs are widely used in all sorts of applications ranging from industrial automation to search-and-rescue. So far, in these applications they work either isolated with a high mobility or operate in a static networks setup. If mobile CPSs work cooperatively, it is in applications with relaxed real-time requirements. To enable such cooperation also in hard real-time applications we present a scheduling approach that is able to adapt real-time schedules to the changes that happen in mobile networks. We present a Mixed Integer Linear Programmingmodel and a heuristic to generate schedules for those networks. One of the key challenges is that running applications must not be interrupted while the schedule is adapted. Therefore, the scheduling has to consider the delay and jitter boundaries, given by the application, while generating the adapted schedule.


title: Metric completions, the Heine-Borel property, and approachability

abstract: We show that the metric universal cover of a plane with a puncture yields an example of a nonstandard hull properly containing the metric completion of a metric space. As mentioned by do Carmo, a nonextendible Riemannian manifold can be noncomplete, but in the broader category of metric spaces it becomes extendible. We give a short proof of a characterisation of the Heine-Borel property of the metric completion of a metric space M in terms of the absence of inapproachable finite points in *M.


title: Slow persistent mixing in the abyss

abstract: Knowledge about deep-ocean turbulent mixing and flow circulation above abyssal hilly plains is important to quantify processes for the modelling of resuspension and dispersal of sediments in areas where turbulence sources are expected to be relatively weak. Turbulence may disperse sediments from artificial deep-sea mining activities over large distances. To quantify turbulent mixing above the deep-ocean floor around 4000 m depth, high-resolution moored temperature sensor observations have been obtained from the near-equatorial southeast Pacific (7{\deg}S, 88{\deg}W). Models demonstrate low activity of equatorial flow dynamics, internal tides and surface near-inertial motions in the area. The present observations demonstrate a Conservative Temperature difference of about 0.012{\deg}C between 7 and 406 meter above the bottom (hereafter, mab, for short), which is a quarter of the adiabatic lapse rate. The very weakly stratified waters with buoyancy periods between about six hours and one day allow for slowly varying mixing. The calculated turbulence dissipation rate values are half to one order of magnitude larger than those from open-ocean turbulent exchange well away from bottom topography and surface boundaries. In the deep, turbulent overturns extend up to 100 m tall, in the ocean-interior, and also reach the lowest sensor. The overturns are governed by internal-wave-shear and -convection. The turbulence inertial subrange is observed to extend into the internal wave frequency band. The associated mixing is not related to bottom friction processes but to internal wave breaking and near-inertial shear. The mixing facilitates long (hours to day) and high (exceeding 100 mab) dispersal of suspended sediments.


title: Signatures of strangeness in neutron star merger remnants

abstract: Neutron star (NS) mergers provide us with information rich in physics using multi-messenger astrophysical observations. One of the probable remnants of such a merger is a differentially rotating hot hypermassive neutron star. The stability of the merger remnant depends crucially on the underlying Equation of State (EoS) and thus provides a method to probe the nature of dense matter in NSs. In this work, we search for possible signatures of strangeness containing matter in the NS interior on the secular stability of the merger remnant. We also use recently proposed methods to make a rough estimate the collapse time of the merger remnant and the threshold mass above which the merger promptly collapses to a black hole.


title: Expected Linear Round Synchronization: The Missing Link for Linear Byzantine SMR

abstract: State Machine Replication (SMR) solutions often divide time into rounds, with a designated leader driving decisions in each round. Progress is guaranteed once all correct processes synchronize to the same round, and the leader of that round is correct. Recently suggested Byzantine SMR solutions such as HotStuff, Tendermint, and LibraBFT achieve progress with a linear message complexity and a constant time complexity once such round synchronization occurs. But round synchronization itself incurs an additional cost. By Dolev and Reischuk's lower bound, any deterministic solution must have $\Omega(n^2)$ communication complexity. Yet the question of randomized round synchronization with an expected linear message complexity remained open. We present an algorithm that, for the first time, achieves round synchronization with expected linear message complexity and expected constant latency. Existing protocols can use our round synchronization algorithm to solve Byzantine SMR with the same asymptotic performance.


title: Fluctuations in the Aztec diamonds via a space-like maximal surface in Minkowski 3-space

abstract: We provide a new description of the scaling limit of dimer fluctuations in homogeneous Aztec diamonds via the intrinsic conformal structure of a space-like maximal surface in the three-dimensional Minkowski space $\mathbb{R}^{2,1}$. This surface naturally appears as the limit of the graphs of origami maps associated to symmetric t-embeddings of Aztec diamonds, fitting the framework recently developed in arXiv:2109.06272.


title: Machine Learning for Motor Learning: EEG-based Continuous Assessment of Cognitive Engagement for Adaptive Rehabilitation Robots

abstract: Although cognitive engagement (CE) is crucial for motor learning, it remains underutilized in rehabilitation robots, partly because its assessment currently relies on subjective and gross measurements taken intermittently. Here, we propose an end-to-end computational framework that assesses CE in real-time, using electroencephalography (EEG) signals as objective measurements. The framework consists of i) a deep convolutional neural network (CNN) that extracts task-discriminative spatiotemporal EEG to predict the level of CE for two classes -- cognitively engaged vs. disengaged; and ii) a novel sliding window method that predicts continuous levels of CE in real-time. We evaluated our framework on 8 subjects using an in-house Go/No-Go experiment that adapted its gameplay parameters to induce cognitive fatigue. The proposed CNN had an average leave-one-out accuracy of 88.13\%. The CE prediction correlated well with a commonly used behavioral metric based on self-reports taken every 5 minutes ($\rho$=0.93). Our results objectify CE in real-time and pave the way for using CE as a rehabilitation parameter for tailoring robotic therapy to each patient's needs and skills.


title: Equilibrium and sensitivity analysis of a spatio-temporal host-vector epidemic model

abstract: Insect-borne diseases are diseases carried by insects affecting humans, animals or plants. They have the potential to generate massive outbreaks such as the Zika epidemic in 2015-2016 mostly distributed in the Americas, the Pacific and Southeast Asia, and the multi-foci outbreak caused by the bacterium {\it Xylella fastidiosa} in Europe in the 2010s. In this article, we propose and analyze the behavior of a spatially-explicit compartmental model adapted to pathosystems with fixed hosts and mobile vectors disseminating the disease. The behavior of this model based on a system of partial differential equations is complementarily characterized via a theoretical study of its equilibrium states and a numerical study of its transitive phase using global sensitivity analysis. The results are discussed in terms of implications concerning the surveillance and control of the disease over a medium-to-long temporal horizon.


title: Computational Study of Defect variant Perovskites A2BX6 for Photovoltaic Applications

abstract: A comprehensive study of the structural, electronic, and optical properties of lead-free perovskites has been carried out by means of first principles method based on DFT. The calculations are performed for the compound of the type A2BX6 with A=Rb, and Cs; B=Sn, Pd, and Pt; and X=Cl, Br, and I. The calculated structural parameters (lattice constants and bond lengths) agree well with the experiments. The computed band gap reveals a semiconducting profile for all these compounds showing a decreasing trend of the band gap energy by changing the halide ions consecutively from Cl to Br and Br to I. However, for variation in the B-site cation, the band gap increases by changing the cation from Pd to Pt via Sn. The most likely compounds, Rb2PdBr6 and Cs2PtI6, exhibit a band gap within the optimal range of 0.9-1.6 eV for single-junction photovoltaic applications. The optical properties in terms of the optimal value of the dielectric constant, optical conductivity, and absorption coefficient are also investigated upto the photon energy of 10 eV. Our results indicate that upon changing the halogen ions (Cl by Br and Br by I) the optical properties altered significantly. Maximum dielectric constants and high optical absorption are found for Rb2PdI6 and Cs2PtI6. The unique optoelectronic properties such as ideal band gap, high dielectric constants, and optimum absorption of A2BX6 perovskites could be efficiently utilized in designing high performance single and multi-junction perovskite solar cells.


title: Magnetic and all-optical switching properties of amorphous Tb$_x$Co$_{100-x}$ alloys

abstract: Amorphous Tb$_{x}$Co$_{100-x}$ magnetic alloys exhibit a list of intriguing properties, such as perpendicular magnetic anisotropy, high magneto-optical activity and magnetization switching using ultrashort optical pulses. Varying the Tb:Co ratio in these alloys allows for tuning properties such as the saturation magnetic moment, coercive field and the performance of the light-induced magnetization switching. In this work, we investigate the magnetic, optical and magneto-optical properties of various Tb$_{x}$Co$_{100-x}$ thin film alloy compositions. We report on the effect the choice of different seeding layers has on the structural and magnetic properties of Tb$_{x}$Co$_{100-x}$ layers. We also demonstrate that for a range of alloys, deposited on fused silica substrates, with Tb content of 24-30 at.$\%$, helicity dependent all-optical switching of magnetization can be achieved, albeit in a multi-shot framework. We explain this property to arise from the helicity-dependent laser induced magnetization on the Co sublattice due to the inverse Faraday effect. Our study provides an insight into material aspects for future potential hybrid magneto-plasmonic TbCo-based architectures.


title: Synthesis in Presence of Dynamic Links

abstract: The problem of distributed synthesis is to automatically generate a distributed algorithm, given a target communication network and a specification of the algorithm's correct behavior. Previous work has focused on static networks with an a priori fixed message size. This approach has two shortcomings: Recent work in distributed computing is shifting towards dynamically changing communication networks rather than static ones, and an important class of distributed algorithms are so-called full-information protocols, where nodes piggy-pack previously received messages onto current messages. In this work, we consider the synthesis problem for a system of two nodes communicating in rounds over a dynamic link whose message size is not bounded. Given a network model, i.e., a set of link directions, in each round of the execution, the adversary choses a link from the network model, restricted only by the specification, and delivers messages according to the current link's directions. Motivated by communication buses with direct acknowledge mechanisms, we further assume that nodes are aware of which messages have been delivered. We show that the synthesis problem is decidable for a network model if and only if it does not contain the empty link that dismisses both nodes' messages.


title: Observation of the associated production of a top quark and a $Z$ boson in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: Single top-quark production in association with a $Z$ boson is measured in the trilepton channel. The proton-proton collision data collected by the ATLAS experiment from 2015 to 2018 at a centre-of-mass energy of 13 TeV are used, corresponding to an integrated luminosity of 139 $\text{fb}^{-1}$. Events containing three isolated charged leptons (electrons or muons) and two or three jets, one of which is identified as containing a $b$-hadron, are selected. The main backgrounds are from $t\bar{t}Z$ and diboson production. Neural networks are used to improve the background rejection and extract the signal. The measured cross-section for $t\ell^{+}\ell^{-} q$ production, including non-resonant dilepton pairs with $m_{\ell^+\ell^-} > 30$ GeV, is 97 $\pm$ 13 (stat.) $\pm$ 7 (syst.) fb, consistent with the Standard Model prediction.


title: Proton Transport Entropy Increase In Amorphous SiO$_2$

abstract: This paper presents a classical thermodynamic calculation of a Greens function that describes the declining rate of entropy growth as protons move under an applied electric field, through an amorphous SiO$_2$ layer in a MOS field-effect device gate oxide. The analysis builds on work by McLean and Ausman (1977) and Brown and Saks (1991). Polynomial models of fitting parameters dB/d$\alpha$, y$_0$, and A/y$_0$ based on interpolation TABLE I of McLean and Ausman are presented. Infinite boundary conditions are introduced for the parameter dB/d$\alpha$. Polynomial representations are shown of dB/d$\alpha$, y$_0$, A/y$_0$ and the Greens function as a function of the dispersion parameter $\alpha$. The paper shows that parameters y$_0$ and A/y$_0$ are nearly conic sections with small residuals of a few percent. This work is intended as a first step toward a near-equilibrium thermodynamic continuous-time random walk (CTRW) model (anomalous diffusion) of damage introduced into thick-oxide silicon-based powerMOS parts by space radiation effects such as those found in the Jovian radiation belts. Charge transport in amorphous silica electrical insulators is by thermally activated tunneling, not Brownian motion.


title: Gravitational Waves from Primordial Magnetic Fields via Photon-Graviton Conversion

abstract: We explore a novel process in the early Universe in which thermalized photons are converted into gravitons in the presence of strong primordial magnetic fields. It is found that the frequency of generated gravitational waves (GWs) is typically of order of GHz and their amplitude can be up to $ \Omega_\mathrm{GW}h^2 \sim 10^{-10}$. If detected with future developments of the technology to explore this frequency region, the produced stochastic GW background enables us to know when and how strong the primordial magnetic fields are generated. From the peak frequency of the GWs, we can also probe the number of relativistic degrees of freedom at that time.


title: Vorticity and Spin Polarization --- A Theoretical Perspective

abstract: We give a theoretical perspective on the vorticity and spin polarization in heavy-ion collisions. We discuss the recent progress in spin hydrodynamics and spin kinetic theory. We also discuss other effects caused by vorticity including the chiral vortical effect and rotation-induced phase transitions.


title: CPT Symmetry in Projective de Sitter Universes

abstract: In a recent work, Boyle, Finn and Turok hypothesized a model of universe that does not violate the CPT-symmetry as alternative for inflation. With this approach they described the birth of the Universe from a pair of universes, one the CPT image of the other, living in pre- and post-big bang epochs. The CPT-invariance strictly constrains the vacuum states of the quantized fields, with notable consequences on the cosmological scenarios. Here we examine the validity of this proposal by adopting the point of view of archaic cosmology, based on de Sitter projective relativity, with an event-based reading of quantum mechanics, which is a consequence of the relationship between the universal information reservoir of the archaic universe and its out-of-equilibrium state through quantum jumps. In this scenario, the big bang is caused by the instability of the original (pre)vacuum with respect to the nucleation of micro-events that represent the actual creation of particles. Finally, we compare our results with those by Turok et al., including the analytic continuation across the big bang investigated by Volovik and show that many aspects of these cosmological scenarios find a clear physical interpretation by using our approach. Moreover, in the archaic universe framework we do not have to assume a priori the CPT-invariance like in the other models of universe, it is instead a necessary consequence of the archaic vacuum structure and the nucleation process, divided into two specular universes.


title: Hierarchical Transformer Network for Utterance-level Emotion Recognition

abstract: While there have been significant advances in de-tecting emotions in text, in the field of utter-ance-level emotion recognition (ULER), there are still many problems to be solved. In this paper, we address some challenges in ULER in dialog sys-tems. (1) The same utterance can deliver different emotions when it is in different contexts or from different speakers. (2) Long-range contextual in-formation is hard to effectively capture. (3) Unlike the traditional text classification problem, this task is supported by a limited number of datasets, among which most contain inadequate conversa-tions or speech. To address these problems, we propose a hierarchical transformer framework (apart from the description of other studies, the "transformer" in this paper usually refers to the encoder part of the transformer) with a lower-level transformer to model the word-level input and an upper-level transformer to capture the context of utterance-level embeddings. We use a pretrained language model bidirectional encoder representa-tions from transformers (BERT) as the lower-level transformer, which is equivalent to introducing external data into the model and solve the problem of data shortage to some extent. In addition, we add speaker embeddings to the model for the first time, which enables our model to capture the in-teraction between speakers. Experiments on three dialog emotion datasets, Friends, EmotionPush, and EmoryNLP, demonstrate that our proposed hierarchical transformer network models achieve 1.98%, 2.83%, and 3.94% improvement, respec-tively, over the state-of-the-art methods on each dataset in terms of macro-F1.


title: Josephson junction based on highly disordered superconductor/low-resistive normal metal bilayer

abstract: We calculate current-phase relation (CPR) of a SN-S-SN Josephson junction based on a variable thickness SN bilayer composed of highly disordered superconductor (S) and low-resistive normal metal (N) with proximity induced superconductivity. In case when the thickness of S,N layers and length of S constriction is about of superconducting coherence length the CPR is single-valued, could be close to sinusoidal one and the product $I_cR_n$ can reach $\Delta(0)/2|e|$ ($I_c$ is the critical current of the junction, $R_n$ is its normal-state resistance, $\Delta(0)$ is the superconductor gap of single S layer at zero temperature). We argue that the normal layer should provide good heat removal from S constriction and there is range of parameters when current-voltage characteristic is not hysteretic and $I_cR_n$ is relatively large.


title: Connecting MapReduce Computations to Realistic Machine Models

abstract: We explain how the popular, highly abstract MapReduce model of parallel computation (MRC) can be rooted in reality by explaining how it can be simulated on realistic distributed-memory parallel machine models like BSP. We first refine the model (MRC$^+$) to include parameters for total work $w$, bottleneck work $\hat{w}$, data volume $m$, and maximum object sizes $\hat{m}$. We then show matching upper and lower bounds for executing a MapReduce calculation on the distributed-memory machine -- $\Theta(w/p+\hat{w}+\log p)$ work and $\Theta(m/p+\hat{m}+\log p)$ bottleneck communication volume using $p$ processors.


title: Towards fidelity and scalability in non-vacuum mergers

abstract: We study the evolution of two fiducial configurations for binary neutron stars using two different general relativistic hydrodynamics(GRHD), distributed adaptive mesh codes. One code, HAD, has for many years been used to study mergers of compact object binaries, while a new code, MHDuet, has been recently developed with the experience gained with the older one as well as several novel features for scalability improvements. As such, we examine the performance of each, placing particular focus on future requirements for the extraction of gravitational wave signatures of non-vacuum binaries.


title: Convergence analysis of multi-level spectral deferred corrections

abstract: The spectral deferred correction (SDC) method is class of iterative solvers for ordinary differential equations (ODEs). It can be interpreted as a preconditioned Picard iteration for the collocation problem. The convergence of this method is well-known, for suitable problems it gains one order per iteration up to the order of the quadrature method of the collocation problem provided. This appealing feature enables an easy creation of flexible, high-order accurate methods for ODEs. A variation of SDC are multi-level spectral deferred corrections (MLSDC). Here, iterations are performed on a hierarchy of levels and an FAS correction term, as in nonlinear multigrid methods, couples solutions on different levels. While there are several numerical examples which show its capabilities and efficiency, a theoretical convergence proof is still missing. This paper addresses this issue. A proof of the convergence of MLSDC, including the determination of the convergence rate in the time-step size, will be given and the results of the theoretical analysis will be numerically demonstrated. It turns out that there are restrictions for the advantages of this method over SDC regarding the convergence rate.


title: Radicals of principal ideals and the class group of a Dedekind domain

abstract: For a Dedekind domain $D$, let $\mathcal{P}(D)$ be the set of ideals of $D$ that are radical of a principal ideal. We show that, if $D,D'$ are Dedekind domains and there is an order isomorphism between $\mathcal{P}(D)$ and $\mathcal{P}(D')$, then the rank of the class groups of $D$ and $D'$ is the same.


title: Jamming below upper critical dimension

abstract: Extensive numerical simulations in the past decades proved that the critical exponents of the jamming of frictionless spherical particles remain unchanged in two and three dimensions. This implies that the upper critical dimension is $d_u=2$ or lower. In this work, we study the jamming transition below the upper critical dimension. We investigate a quasi-one-dimensional system: disks confined in a narrow channel. We show that the system is isostatic at the jamming transition point as in the case of standard jamming transition of the bulk systems in two and three dimensions. Nevertheless, the scaling of the excess contact number shows the linear scaling. Furthermore, the gap distribution remains finite even at the jamming transition point. These results are qualitatively different from those of the bulk systems in two and three dimensions.


title: Regular resynchronizability of origin transducers is undecidable

abstract: We study the relation of containment up to unknown regular resynchronization between two-way non-deterministic transducers. We show that it constitutes a preorder, and that the corresponding equivalence relation is properly intermediate between origin equivalence and classical equivalence. We give a syntactical characterization for containment of two transducers up to resynchronization, and use it to show that this containment relation is undecidable already for one-way non-deterministic transducers, and for simple classes of resynchronizations. This answers the open problem stated in recent works, asking whether this relation is decidable for two-way non-deterministic transducers.


title: On $p$-adic spectral measures

abstract: A Borel probability measure $\mu$ on a locally compact group is called a spectral measure if there exists a subset of continuous group characters which forms an orthogonal basis of the Hilbert space $L^2(\mu)$. In this paper, we characterize all spectral measures in the field $\mathbb{Q}_p$ of $p$-adic numbers.


title: High-contrast ZZ interaction using superconducting qubits with opposite-sign anharmonicity

abstract: For building a scalable quantum processor with superconducting qubits, ZZ interaction is of great concern because its residual has a crucial impact to two-qubit gate fidelity. Two-qubit gates with fidelity meeting the criterion of fault-tolerant quantum computationhave been demonstrated using ZZ interaction. However, as the performance of quantum processors improves, the residual static-ZZ can become a performance-limiting factor for quantum gate operation and quantum error correction. Here, we introduce a superconducting architecture using qubits with opposite-sign anharmonicity, a transmon qubit and a C-shunt flux qubit, to address this issue. We theoretically demonstrate that by coupling the two types of qubits, the high-contrast ZZ interaction can be realized. Thus, we can control the interaction with a high on/off ratio to implement two-qubit CZ gates, or suppress it during two-qubit gate operation using XY interaction (e.g., an iSWAP gate). The proposed architecture can also be scaled up to multi-qubit cases. In a fixed coupled system, ZZ crosstalk related to neighboring spectator qubits could also be heavily suppressed.


title: The Market Price of Risk for Delivery Periods: Pricing Swaps and Options in Electricity Markets

abstract: In electricity markets, futures contracts typically function as a swap since they deliver the underlying over a period of time. In this paper, we introduce a market price for the delivery periods of electricity swaps, thereby opening an arbitrage-free pricing framework for derivatives based on these contracts. Furthermore, we use a weighted geometric averaging of an artificial geometric futures price over the corresponding delivery period. Without any need for approximations, this averaging results in geometric swap price dynamics. Our framework allows for including typical features as the Samuelson effect, seasonalities, and stochastic volatility. In particular, we investigate the pricing procedures for electricity swaps and options in line with Arismendi et al. (2016), Schneider and Tavin (2018), and Fanelli and Schmeck (2019). A numerical study highlights the differences between these models depending on the delivery period.


title: Better Automata through Process Algebra

abstract: This paper shows how the use of Structural Operational Semantics (SOS) in the style popularized by the process-algebra community can lead to a more succinct and useful construction for building finite automata from regular expressions. Such constructions have been known for decades, and form the basis for the proofs of one direction of Kleene's Theorem. The purpose of the new construction is, on the one hand, to show students how small automata can be constructed, without the need for empty transitions, and on the other hand to show how the construction method admits closure proofs of regular languages with respect to other operators as well. These results, while not theoretically surprising, point to an additional influence of process-algebraic research: in addition to providing fundamental insights into the nature of concurrent computation, it also sheds new light on old, well-known constructions in automata theory.


title: A Model to Measure the Spread Power of Rumors

abstract: With technologies that have democratized the production and reproduction of information, a significant portion of daily interacted posts in social media has been infected by rumors. Despite the extensive research on rumor detection and verification, so far, the problem of calculating the spread power of rumors has not been considered. To address this research gap, the present study seeks a model to calculate the Spread Power of Rumor (SPR) as the function of content-based features in two categories: False Rumor (FR) and True Rumor (TR). For this purpose, the theory of Allport and Postman will be adopted, which it claims that importance and ambiguity are the key variables in rumor-mongering and the power of rumor. Totally 42 content features in two categories "importance" (28 features) and "ambiguity" (14 features) are introduced to compute SPR. The proposed model is evaluated on two datasets, Twitter and Telegram. The results showed that (i) the spread power of False Rumor documents is rarely more than True Rumors. (ii) there is a significant difference between the SPR means of two groups False Rumor and True Rumor. (iii) SPR as a criterion can have a positive impact on distinguishing False Rumors and True Rumors.


title: The role of failed accretion disk winds in active galactic nuclei

abstract: Both observational and theoretical evidence point at outflows originating from accretion disks as fundamental ingredients of active galactic nuclei (AGN). These outflows can have more than one component, for example an unbound supersonic wind and a failed wind (FW). The latter is a prediction of the simulations of radiation-driven disk outflows which show that the former is accompanied by an inner failed component, where the flow struggles to escape from the strong gravitational pull of the supermassive black hole. This FW component could provide a physical framework to interpret various phenomenological components of AGN. Here we briefly discuss a few of them: the broad line region, the X-ray obscurer, and the X-ray corona.


title: SURFACE: A Practical Blockchain Consensus Algorithm for Real-World Networks

abstract: SURFACE, standing for Secure, Use-case adaptive, and Relatively Fork-free Approach of Chain Extension, is a consensus algorithm that is designed for real-world networks and enjoys the benefits from both the Nakamoto consensus and Byzantine Fault Tolerance (BFT) consensus. In SURFACE, a committee is randomly selected every round to validate and endorse the proposed new block. The size of the committee can be adjusted according to the underlying network to make the blockchain mostly fork-free with a reasonable overhead in communication. Consequently, the blockchain can normally achieve fast probabilistic confirmation with high throughput and low latency. SURFACE also provides a BFT mechanism to guarantee ledger consistency in case of an extreme network situation such as large network partition or being under massive DDoS attacks.


title: Network-Aware Strategies in Financial Systems

abstract: We study the incentives of banks in a financial network, where the network consists of debt contracts and credit default swaps (CDSs) between banks. One of the most important questions in such a system is the problem of deciding which of the banks are in default, and how much of their liabilities these banks can pay. We study the payoff and preferences of the banks in the different solutions to this problem. We also introduce a more refined model which allows assigning priorities to payment obligations; this provides a more expressive and realistic model of real-life financial systems, while it always ensures the existence of a solution. The main focus of the paper is an analysis of the actions that a single bank can execute in a financial system in order to influence the outcome to its advantage. We show that removing an incoming debt, or donating funds to another bank can result in a single new solution that is strictly more favorable to the acting bank. We also show that increasing the bank's external funds or modifying the priorities of outgoing payments cannot introduce a more favorable new solution into the system, but may allow the bank to remove some unfavorable solutions, or to increase its recovery rate. Finally, we show how the actions of two banks in a simple financial system can result in classical game theoretic situations like the prisoner's dilemma or the dollar auction, demonstrating the wide expressive capability of the financial system model.


title: Boundary feedback control of an anti-stable wave equation

abstract: We discuss boundary control of a wave equation with a non-linear anti-damping boundary condition. We design structured finite-dimensional $H_\infty$-output feedback controllers which stabilize the infinite dimensional system exponentially in closed loop. The method is applied to control torsional vibrations in drilling systems with the goal to avoid slip-stick.


title: Preserving unitarity for overlapping multichannel states: Breit-Wigner versus K matrix -- comparison, advantages and disadvantages

abstract: The K-matrix method is often used to describe overlapping resonances. It guarantees the unitarity of the scattering matrix but its parameters are not resonances masses and widths. It is also unclear how to separate resonant and background contributions and to describe background in terms of phase shifts. The Breit-Wigner (BW) approach operates with parameters having direct experimental meaning but a simple sum of the BW functions is not unitary. We show how to construct the unitary S-matrix by taking into account the interference of the BW functions. The method is simple and straightforward, background can be added to resonance amplitudes in the standard quantum mechanics form. In examples we give a comparison between the K-matrix and unitary BW-approaches.


title: Multistage s-t Path: Confronting Similarity with Dissimilarity

abstract: Addressing a quest by Gupta et al. [ICALP'14], we provide a first, comprehensive study of finding a short s-t path in the multistage graph model, referred to as the Multistage s-t Path problem. Herein, given a sequence of graphs over the same vertex set but changing edge sets, the task is to find short s-t paths in each graph ("snapshot") such that in the found path sequence the consecutive s-t paths are "similar". We measure similarity by the size of the symmetric difference of either the vertex set (vertex-similarity) or the edge set (edge-similarity) of any two consecutive paths. We prove that these two variants of Multistage s-t Path are already NP-hard for an input sequence of only two graphs and maximum vertex degree four. Motivated by this fact and natural applications of this scenario e.g. in traffic route planning, we perform a parameterized complexity analysis. Among other results, for both variants, vertex- and edge-similarity, we prove parameterized hardness (W[1]-hardness) regarding the parameter path length (solution size) for both variants, vertex- and edge-similarity. As a further conceptual study, we then modify the multistage model by asking for dissimilar consecutive paths. As one of the main technical results (employing so-called representative sets known from non-temporal settings), we prove that dissimilarity allows for fixed-parameter tractability for the parameter solution size, contrasting our W[1]-hardness proof of the corresponding similarity case. We also provide partially positive results concerning efficient and effective data reduction (kernelization).


title: Rectifiability of pointwise doubling measures in Hilbert Space

abstract: In geometric measure theory, there is interest in studying the interaction of measures with rectifiable sets. Here, we extend a theorem of Badger and Schul in Euclidean space to characterize rectifiable pointwise doubling measures in Hilbert space. Given a measure $\mu$, we construct a multiresolution family $\mathscr{C}^\mu$ of windows, and then we use a weighted Jones' function $\hat{J}_2(\mu, x)$ to record how well lines approximate the distribution of mass in each window. We show that when $\mu$ is rectifiable, the mass is sufficiently concentrated around a lines at each scale and that the converse also holds. Additionally, we present an algorithm for the construction of a rectifiable curve using appropriately chosen $\delta$-nets. Throughout, we discuss how to overcome the fact that in infinite dimensional Hilbert space there may be infinitely many $\delta$-separated points, even in a bounded set. Finally, we prove a characterization for pointwise doubling measures carried by Lipschitz graphs.


title: The implications of the axion like particle from the Fermi-LAT and H.E.S.S. observations of PG 1553+113 and PKS 2155-304

abstract: We investigate the axion like particle (ALP)-photon oscillation effect in the high energy $\gamma$-ray spectra of PG 1553+113 and PKS 2155-304 measured by Fermi-LAT and H.E.S.S.. The choice of extragalactic background light (EBL) model, which induces the attenuate effect in observed $\gamma$-ray spectra, would affect the ALP implication. For the ordinary EBL model that prefers a null hypothesis, we set constraint on the ALP-photon coupling constant at 95% C.L. as $g_{a\gamma}\lesssim 5\times 10^{-11} ~\rm{GeV}^{-1}$ for the ALP mass $\sim 10$ neV. We also consider the CIBER observation of the cosmic infrared radiation, which shows an excess at the wave wavelength of $\sim 1~\mu$m after the substraction of foregrounds. The high energy gamma-rays from extragalactic sources at high redshifts would suffer from a more significant attenuate effect caused by this excess. In this case, we find that the ALP-photon oscillation would improve the fit to the observed spectra of PKS 2155-304 and PG 1553+113 and find a favored parameter region at 95% C.L..


title: Effective containment explains sub-exponential growth in confirmed cases of recent COVID-19 outbreak in Mainland China

abstract: The recent outbreak of COVID-19 in Mainland China is characterized by a distinctive algebraic, sub-exponential increase of confirmed cases during the early phase of the epidemic, contrasting an initial exponential growth expected for an unconstrained outbreak with sufficiently large reproduction rate. Although case counts vary significantly between affected provinces in Mainland China, the scaling law $t^{\mu}$ is surprisingly universal, with a range of exponents $\mu=2.1\pm0.3$. The universality of this behavior indicates that despite social, regional, demographical, geographical, and socio-economical heterogeneities of affected Chinese provinces, this outbreak is dominated by fundamental mechanisms that are not captured by standard epidemiological models. We show that the observed scaling law is a direct consequence of containment policies that effectively deplete the susceptible population. To this end we introduce a parsimonious model that captures both, quarantine of symptomatic infected individuals as well as population wide isolation in response to mitigation policies or behavioral changes. For a wide range of parameters, the model reproduces the observed scaling law in confirmed cases and explains the observed exponents. Quantitative fits to empirical data permit the identification of peak times in the number of asymptomatic or oligo-symptomatic, unidentified infected individuals, as well as estimates of local variations in the basic reproduction number. The model implies that the observed scaling law in confirmed cases is a direct signature of effective contaiment strategies and/or systematic behavioral changes that affect a substantial fraction of the susceptible population. These insights may aid the implementation of containment strategies in potential export induced COVID-19 secondary outbreaks elsewhere or similar future outbreaks of other emergent infectious diseases.


title: Black Hole Mass Function of Coalescing Neutron Star-Black Hole Binary Systems: The Prospect of Reconstruction with the Gravitational Wave Observations

abstract: The discovery of gravitational waves from compact objects coalescence opens a brand-new window to observe the universe. With more events being detected in the future, statistical examinations would be essential to better understand the underlying astrophysical processes. In this work we investigate the prospect of measuring the mass function of black holes that are merging with the neutron stars. Applying Bayesian parameter estimation for hundreds of simulated neutron star$-$black hole (NSBH) mergers, we find that the parameters for most of the injected events can be well recovered. We also take a Bayesian hierarchical model to reconstruct the population properties of the masses of black holes, in the presence of a low mass gap, both the mass gap and power-law index ($\alpha$) of black hole mass function can be well measured, thus we can reveal where the $\alpha$ is different for binary black hole (BBH) and NSBH systems. In the absence of a low mass gap, the gravitational wave data as well as the electromagnetic data can be used to pin down the nature of the merger event and then measure the mass of these very light black holes. However, as a result of the misclassification of BBH into NSBH, the measurement of $\alpha$ is more challenging and further dedicated efforts are needed.


title: The Post Correspondence Problem and equalisers for certain free group and monoid morphisms

abstract: A marked free monoid morphism is a morphism for which the image of each generator starts with a different letter, and immersions are the analogous maps in free groups. We show that the (simultaneous) PCP is decidable for immersions of free groups, and provide an algorithm to compute bases for the sets, called equalisers, on which the immersions take the same values. We also answer a question of Stallings about the rank of the equaliser. Analogous results are proven for marked morphisms of free monoids.