title: An identity involving Bernoulli numbers and the Stirling numbers of the second kind

abstract: Let $B_{n}$ denote the Bernoulli numbers, and $S(n,k)$ denote the Stirling numbers of the second kind. We prove the following identity $$ B_{m+n}=\sum_{\substack{0\leq k \leq n \\ 0\leq l \leq m}}\frac{(-1)^{k+l}\,k!\, l!\, S(n,k)\,S(m,l)}{(k+l+1)\,\binom{k+l}{l}}. $$ To the best of our knowledge, the identity is new.


title: Simply transitive NIL-affine actions of solvable Lie groups

abstract: Every simply connected and connected solvable Lie group $G$ admits a simply transitive action on a nilpotent Lie group $H$ via affine transformations. Although the existence is guaranteed, not much is known about which Lie groups $G$ can act simply transitive on which Lie groups $H$. So far the focus was mainly on the case where $G$ is also nilpotent, leading to a characterization depending only on the corresponding Lie algebras and related to the notion of post-Lie algebra structures. This paper studies two different aspects of this problem. First, we give a method to check whether a given action $\rho: G \to \operatorname{Aff}(H)$ is simply transitive by looking only at the induced morphism $\varphi: \mathfrak{g} \to \operatorname{aff}(\mathfrak{h})$ between the corresponding Lie algebras. Secondly, we show how to check whether a given solvable Lie group $G$ acts simply transitive on a given nilpotent Lie group $H$, again by studying properties of the corresponding Lie algebras. The main tool for both methods is the semisimple splitting of a solvable Lie algebra and its relation to the algebraic hull, which we also define on the level of Lie algebras. As an application, we give a full description of the possibilities for simply transitive actions up to dimension $4$.


title: Structured spaces: categories, sheaves, bundles, schemes and cohomology theories

abstract: In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is to define categories of structured spaces, (pre)sheaves with values in such categories, and generalised notions of vector bundles, ringed spaces and schemes. Then, we will construct (using some techniques and also the general method in Section 2 of [2]) various cohomology theories for these objects.


title: Boosting Connectivity in Retinal Vessel Segmentation via a Recursive Semantics-Guided Network

abstract: Many deep learning based methods have been proposed for retinal vessel segmentation, however few of them focus on the connectivity of segmented vessels, which is quite important for a practical computer-aided diagnosis system on retinal images. In this paper, we propose an efficient network to address this problem. A U-shape network is enhanced by introducing a semantics-guided module, which integrates the enriched semantics information to shallow layers for guiding the network to explore more powerful features. Besides, a recursive refinement iteratively applies the same network over the previous segmentation results for progressively boosting the performance while increasing no extra network parameters. The carefully designed recursive semantics-guided network has been extensively evaluated on several public datasets. Experimental results have shown the efficiency of the proposed method.


title: Local limit theorems in relatively hyperbolic groups I : rough estimates

abstract: This is the first of a series of two papers dealing with local limit theorems in relatively hyperbolic groups. In this first paper, we prove rough estimates for the Green function. Along the way, we introduce the notion of relative automaticity which will be useful in both papers and we show that relatively hyperbolic groups are relatively automatic. We also define the notion of spectral positive-recurrence for random walks on relatively hy-perbolic groups. We then use our estimates for the Green function to prove that $p_n \asymp R^n n^{-3/2}$ for spectrally positive-recurrent random walks, where $p_n$ is the probability of going back to the origin at time n and where R is the spectral radius of the random walk.


title: Well-posed variational formulations of Friedrichs-type systems

abstract: All finite element methods, as well as much of the Hilbert-space theory for partial differential equations, rely on variational formulations, that is, problems of the type: find $u\in V$ such that $a(v,u) = l(v)$ for each $v\in L$, where $V, L$ are Sobolev spaces. However, for systems of Friedrichs type, there is a sharp disparity between established well-posedness theories, which are not variational, and the very successful discontinuous Galerkin methods that have been developed for such systems, which are variational. In an attempt to override this dichotomy, we present, through three specific examples of increasing complexity, well-posed variational formulations of boundary and initial--boundary-value problems of Friedrichs type. The variational forms we introduce are generalizations of those used for discontinuous Galerkin methods, in the sense that inhomogeneous boundary and initial conditions are enforced weakly through integrals in the variational forms. In the variational forms we introduce, the solution space is defined as a subspace $V$ of the graph space associated with the differential operator in question, whereas the test function space $L$ is a tuple of $L^2$ spaces that separately enforce the equation, boundary conditions of characteristic type, and initial conditions.


title: COVID-Pro in Italy: a dashboard for a province-based analysis

abstract: This paper presents an dashboard developed to analyse the outbreak of the Covid-19 infection in Italy considering daily NUTS-3 data on positive cases provided by the Italian Ministry of Health and on deaths derived from Italian regional authorities' official press conferences. Descriptive time series plots are provided together with a map describing the spatial distribution of province cumulative cases and rates. A section on a proposed time-dependent adjusted SIRD model for NUTS-3 regions is also provided in the dashboard.


title: Dynamics of Interacting Hotspots - II

abstract: In the absence of any proper clinical solution, human civilization is only left with sophisticated intervention measures to contain the spread of COVID-19. However, the existing models to estimate the intervention does not take into account the realistic connectivity of the epicentres of the pandemic. We generalise our earlier model of interacting hotspots to test various possibilities of intervention in a model state consisting of multiple epicentres. We also analyse situations when the hotspots are spatially correlated and the interaction is limited to population exchanges with the nearest neighbours. We show that the heterogeneity in the infection propagation is solely dependent on the protocol of the containment and its strength. We explore many such situations and discuss possibilities.


title: Optimal Any-Angle Pathfinding on a Sphere

abstract: Pathfinding in Euclidean space is a common problem faced in robotics and computer games. For long-distance navigation on the surface of the earth or in outer space however, approximating the geometry as Euclidean can be insufficient for real-world applications such as the navigation of spacecraft, aeroplanes, drones and ships. This article describes an any-angle pathfinding algorithm for calculating the shortest path between point pairs over the surface of a sphere. Introducing several novel adaptations, it is shown that Anya as described by (Harabor & Grastien, 2013) for Euclidean space can be extended to Spherical geometry. There, where the shortest-distance line between coordinates is defined instead by a great-circle path, the optimal solution is typically a curved line in Euclidean space. In addition the turning points for optimal paths in Spherical geometry are not necessarily corner points as they are in Euclidean space, as will be shown, making further substantial adaptations to Anya necessary. Spherical Anya returns the optimal path on the sphere, given these different properties of world maps defined in Spherical geometry. It preserves all primary benefits of Anya in Euclidean geometry, namely the Spherical Anya algorithm always returns an optimal path on a sphere and does so entirely on-line, without any preprocessing or large memory overheads. Performance benchmarks are provided for several game maps including Starcraft and Warcraft III as well as for sea navigation on Earth using the NOAA bathymetric dataset. Always returning the shorter path compared with the Euclidean approximation yielded by Anya, Spherical Anya is shown to be faster than Anya for the majority of sea routes and slower for Game Maps and Random Maps.


title: How Reliable are Test Numbers for Revealing the COVID-19 Ground Truth and Applying Interventions?

abstract: The number of confirmed cases of COVID-19 is often used as a proxy for the actual number of ground truth COVID-19 infected cases in both public discourse and policy making. However, the number of confirmed cases depends on the testing policy, and it is important to understand how the number of positive cases obtained using different testing policies reveals the unknown ground truth. We develop an agent-based simulation framework in Python that can simulate various testing policies as well as interventions such as lockdown based on them. The interaction between the agents can take into account various communities and mobility patterns. A distinguishing feature of our framework is the presence of another `flu'-like illness with symptoms similar to COVID-19, that allows us to model the noise in selecting the pool of patients to be tested. We instantiate our model for the city of Bengaluru in India, using census data to distribute agents geographically, and traffic flow mobility data to model long-distance interactions and mixing. We use the simulation framework to compare the performance of three testing policies: Random Symptomatic Testing (RST), Contact Tracing (CT), and a new Location Based Testing policy (LBT). We observe that if a sufficient fraction of symptomatic patients come out for testing, then RST can capture the ground truth quite closely even with very few daily tests. However, CT consistently captures more positive cases. Interestingly, our new LBT, which is operationally less intensive than CT, gives performance that is comparable with CT. In another direction, we compare the efficacy of these three testing policies in enabling lockdown, and observe that CT flattens the ground truth curve maximally, followed closely by LBT, and significantly better than RST.


title: Predicting Vulnerability In Large Codebases With Deep Code Representation

abstract: Currently, while software engineers write code for various modules, quite often, various types of errors - coding, logic, semantic, and others (most of which are not caught by compilation and other tools) get introduced. Some of these bugs might be found in the later stage of testing, and many times it is reported by customers on production code. Companies have to spend many resources, both money and time in finding and fixing the bugs which would have been avoided if coding was done right. Also, concealed flaws in software can lead to security vulnerabilities that potentially allow attackers to compromise systems and applications. Interestingly, same or similar issues/bugs, which were fixed in the past (although in different modules), tend to get introduced in production code again. We developed a novel AI-based system which uses the deep representation of Abstract Syntax Tree (AST) created from the source code and also the active feedback loop to identify and alert the potential bugs that could be caused at the time of development itself i.e. as the developer is writing new code (logic and/or function). This tool integrated with IDE as a plugin would work in the background, point out existing similar functions/code-segments and any associated bugs in those functions. The tool would enable the developer to incorporate suggestions right at the time of development, rather than waiting for UT/QA/customer to raise a defect. We assessed our tool on both open-source code and also on Cisco codebase for C and C++ programing language. Our results confirm that deep representation of source code and the active feedback loop is an assuring approach for predicting security and other vulnerabilities present in the code.


title: The shape of memory in temporal networks

abstract: Temporal networks are widely used models for describing the architecture of complex systems. Network memory -- that is the dependence of a temporal network's structure on its past -- has been shown to play a prominent role in diffusion, epidemics and other processes occurring over the network, and even to alter its community structure. Recent works have proposed to estimate the length of memory in a temporal network by using high-order Markov models. Here we show that network memory is inherently multidimensional and cannot be meaningfully reduced to a single scalar quantity. Accordingly, we introduce a mathematical framework for defining and efficiently estimating the microscopic shape of memory, which fully characterises how the activity of each link intertwines with the activities of all other links. We validate our methodology on a wide range of synthetic models of temporal networks with tuneable memory, and subsequently study the heterogeneous shapes of memory emerging in various real-world networks.


title: The Resistivity of High-Tc Cuprates

abstract: We show that the resistivity in each phase of the High-Tc cuprates is a special case of a general expression derived from the Kubo formula. We obtain, in particular, the T-linear behavior in the strange metal (SM) and upper pseudogap (PG) phases, the pure $T^2$, Fermi liquid (FL) behavior observed in the strongly overdoped regime as well as the $T^{1+\delta}$ behavior that interpolates both in the crossover. We calculate the coefficients: a) of $T$ in the linear regime and show that it is proportional to the PG temperature $T^*(x)$; b) of the $T^2$-term in the FL regime, without adjusting any parameter; and c) of the $T^{1.6}$ term in the crossover regime, all in excellent agreement with the experimental data. From our model, we are able to infer that the resistivity in cuprates is caused by the scattering of holes by excitons, which naturally form as holes are doped into the electron background.


title: A Cascaded Learning Strategy for Robust COVID-19 Pneumonia Chest X-Ray Screening

abstract: We introduce a comprehensive screening platform for the COVID-19 (a.k.a., SARS-CoV-2) pneumonia. The proposed AI-based system works on chest x-ray (CXR) images to predict whether a patient is infected with the COVID-19 disease. Although the recent international joint effort on making the availability of all sorts of open data, the public collection of CXR images is still relatively small for reliably training a deep neural network (DNN) to carry out COVID-19 prediction. To better address such inefficiency, we design a cascaded learning strategy to improve both the sensitivity and the specificity of the resulting DNN classification model. Our approach leverages a large CXR image dataset of non-COVID-19 pneumonia to generalize the original well-trained classification model via a cascaded learning scheme. The resulting screening system is shown to achieve good classification performance on the expanded dataset, including those newly added COVID-19 CXR images.


title: On Cumulative Residual (Past) Extropy of Extreme Order Statistics

abstract: In the recent information-theoretic literature, the concept of extropy has been studied for order statistics. In the present communication we consider a cumulative analogue of extropy in the same vein of cumulative residual (past) entropy and study it in context with extreme order statistics. A dynamic version of cumulative residual (past) extropy for smallest (largest) order statistic is also studied here. It is shown that the proposed measures (and their dynamic versions) of extreme order statistics determine the distribution uniquely. Some characterizations of the generalized Pareto and power distributions, which are commonly used in reliability modeling, are given.


title: Fourier Transform of the Orbital Angular Momentum of a Single Photon

abstract: Optical networks implementing single-qudit quantum computation gates may exhibit superior properties to those for qubits as each of the optical elements in the network can work in parallel on many optical modes simultaneously. We present an important class of such networks, that implements in a deterministic and efficient way the quantum Fourier transform (QFT) in an arbitrarily large dimension. These networks redistribute the initial quantum state into the path and orbital angular momentum (OAM) degrees of freedom and exhibit two modes of operation. Either the OAM-only QFT can be implemented, which uses the path as an internal auxiliary degree of freedom, or the path-only QFT is implemented, which uses the OAM as the auxiliary degree of freedom. The resources for both schemes scale linearly $O(d)$ with the dimension $d$ of the system, beating the best known bounds for the path-encoded QFT. While the QFT of the orbital angular momentum states of single photons has been applied in a multitude of experiments, these schemes require specially designed elements with non-trivial phase profiles. In contrast, we present a different approach that utilizes only conventional optical elements.


title: Multiplicity Moments using Tsallis Statistics in High-Energy Hadron-Nucleus Interactions

abstract: The study of higher-order moments of a distribution and its cumulants constitute a sensitive tool to investigate the correlations between the particle produced in high energy interactions. In our previous work we have used the Tsallis $q$ statistics, NBD, Gamma and shifted Gamma distributions to describe the multiplicity distributions in $\pi ^-$ -nucleus and $p$ -nucleus fixed target interactions at various energies ranging from P$_{Lab}$ = 27 GeV to 800 GeV. In the present study we have extended our analysis by calculating the moments using the Tsallis model at these fixed target experiment data. By using the Tsallis model we have also calculated the average charged multiplicity and its dependence on energy. It is found that the average charged multiplicity and moments predicted by the Tsallis statistics are in much agreement with the experimental values and indicates the success of the Tsallis model on data from visual detectors. The study of moments also illustrates that KNO scaling hypothesis holds good at these energies.


title: Pseudospectrum enclosures by discretization

abstract: A new method to enclose the pseudospectrum via the numerical range of the inverse of a matrix or linear operator is presented. The method is applied to finite-dimensional discretizations of an operator on an infinite-dimensional Hilbert space, and convergence results for different approximation schemes are obtained, including finite element methods. We show that the pseudospectrum of the full operator is contained in an intersection of sets which are expressed in terms of the numerical ranges of shifted inverses of the approximating matrices. The results are illustrated by means of two examples: the advection-diffusion operator and the Hain-L\"ust operator.


title: Bank financial stability, bank valuation and international oil prices: Evidence from listed Russian public banks

abstract: Using data on 17 listed public banks from Russia over the period 2008 to 2016, we analyze whether international oil prices affect the bank stability in an oil-dependent country. We posit that a decrease in international oil prices has a negative long-run macroeconomic impact for an oil-exporting country, which further deteriorates the bank financial stability. More specifically, a decrease in international oil prices leads for an oil-exporting country as Russia to a currency depreciation and to a deterioration of the fiscal stance. In addition, given the positive correlation of oil and stock prices documented by numerous previous studies, a decrease in international oil prices represents a negative signal for the stock markets investors, negatively affecting banks' share prices and thus, their capacity to generate sustainable earnings. In this context, the bank financial stability can be menaced. With a focus on public listed banks and using a Pool Mean Group (PMG) estimator, we show that an increase in international oil prices and in the price to book value ratio has a long-run positive effect on Russian public banks stability, and conversely. While positive oil-price shocks contribute to bank stability in the long run, an opposite effect is recorded for negative shocks. However, no significant impact is documented in the short run. Our findings are robust to different bank stability specifications, different samples and control variables.


title: Testing Highly Integrated Components for the Technological Prototype of the CALICE SiW-ECAL

abstract: A highly granular silicon-tungsten electromagnetic calorimeter (SiW-ECAL) is the reference design of the ECAL for International Large Detector (ILD) concept, one of the two detector concepts for the detector(s) at the future International Linear Collider. Prototypes for this type of detector are developed within the CALICE Collaboration. The final detector will comprise about $10^{8}$ calorimeter cells that have to be integrated in a volume of maximal 20 cm in depth. Detector components that in terms of size and channel density come already close to the specifications for future large scale experiments are progressively developed. This contribution will report on the performance of a new 1.2 mm thick 9-layer PCB with wirebonded ASICs and comparisons with PCBs with BGA packaged ASICs will be presented. A volume of about $6\times18\times0.2$ cm$^{3}$ is available for the digital readout and the power supply of the individual detector layers that feature up to 10000 calorimeter cells. We will present newly developed electronic cards that meet these constraints.


title: EventWarden: A Decentralized Event-driven Proxy Service for Outsourcing Arbitrary Transactions in Ethereum-like Blockchains

abstract: Transactions represent a fundamental component in blockchains as they are the primary means for users to change the blockchain state. Current blockchain systems such as Bitcoin and Ethereum require users to constantly observe the state changes of interest or the events taking place in a blockchain and requires the user to explicitly release the required transactions to respond to the observed events in the blockchain. This paper proposes EventWarden, a decentralized event-driven proxy service for users to outsource transactions in Ethereum-like blockchains. EventWarden employs a novel combination of smart contracts and blockchain logs. EventWarden allows a user to create a proxy smart contract that specifies an interested event and also reserves an arbitrary transaction to release. Upon observing the occurrence of the prescribed event, anyone in the Blockchain network can call the proxy contract to earn the service fee reserved in the contract by proving to the contract that the event has been recorded into blockchain logs, which then automatically triggers the proxy contract to release the reserved transaction. We show that the reserved transaction can only get released from the proxy contract when the prescribed event has taken place. We also demonstrate that as long as a single member in the Blockchain network is incentivized by the service fee to call the proxy contract after the prescribed event has taken place, the reserved transaction is guaranteed to get released. We implement EventWarden over the Ethereum official test network. The results demonstrate that EventWarden is effective and is ready-to-use in practice.


title: Hybrid Neuro-Evolutionary Method for Predicting Wind Turbine Power Output

abstract: Reliable wind turbine power prediction is imperative to the planning, scheduling and control of wind energy farms for stable power production. In recent years Machine Learning (ML) methods have been successfully applied in a wide range of domains, including renewable energy. However, due to the challenging nature of power prediction in wind farms, current models are far short of the accuracy required by industry. In this paper, we deploy a composite ML approach--namely a hybrid neuro-evolutionary algorithm--for accurate forecasting of the power output in wind-turbine farms. We use historical data in the supervisory control and data acquisition (SCADA) systems as input to estimate the power output from an onshore wind farm in Sweden. At the beginning stage, the k-means clustering method and an Autoencoder are employed, respectively, to detect and filter noise in the SCADA measurements. Next, with the prior knowledge that the underlying wind patterns are highly non-linear and diverse, we combine a self-adaptive differential evolution (SaDE) algorithm as a hyper-parameter optimizer, and a recurrent neural network (RNN) called Long Short-term memory (LSTM) to model the power curve of a wind turbine in a farm. Two short time forecasting horizons, including ten-minutes ahead and one-hour ahead, are considered in our experiments. We show that our approach outperforms its counterparts.


title: Recent advancements of the NEWS-G experiment

abstract: NEWS-G (New Experiments With Spheres-Gas) is an experiment aiming to shine a light on the dark matter conundrum with a novel gaseous detector, the spherical proportional counter. It uses light gases, such as hydrogen, helium, and neon, as targets to expand dark matter searches to the sub-GeV/c$^{2}$ mass region. NEWS-G produced its first results with a 60 cm in diameter detector installed at LSM (France), excluding at 90% C.L. cross-sections above $4.4\cdot{10}^{37}$ cm$^{2}$ for dark matter candidates of 0.5 GeV/c$^{2}$ mass. Currently, a 140 cm in diameter detector is being built at LSM and a commissioning run is underway, prior to its installation at SNOLAB (Canada) at the end of the year. Presented here are developments incorporated in this new detector: a) sensor technologies using resistive materials and multi-anode read-out that allow high gain and high pressure operation; b) gas purification techniques to remove contaminants (H$_{2}$O, O$_{2}$); c) reduction of ${}^{210}$Pb induced background through copper electroforming methods; d) utilisation of UV-lasers for detector calibration, detector response monitoring and estimation of gas related fundamental properties. This next phase of NEWS-G will allow searches for low mass dark matter with unprecedented sensitivity.


title: Duality and hidden equilibrium in transport models

abstract: A large family of diffusive models of transport that has been considered in the past years admits a transformation into the same model in contact with an equilibrium bath. This mapping holds at the full dynamical level, and is independent of dimension or topology. It provides a good opportunity to discuss questions of time reversal in out of equilibrium contexts. In particular, thanks to the mapping one may define the free-energy in the non-equilibrium states very naturally as the (usual) free energy of the mapped system.

categories: cond-mat.stat-mech hep-th math-ph math.MP math.PR


title: Social rules for agent systems

abstract: When creating (open) agent systems it has become common practice to use social concepts such as social practices, norms and conventions to model the way the interactions between the agents are regulated. However, in the literature most papers concentrate on only one of these aspects at the time. Therefore there is hardly any research on how these social concepts relate and when each of them emerges or evolves from another concept. In this paper we will investigate some of the relations between these concepts and also whether they are fundamentally stemming from a single social object or should be seen as different types of objects altogether.


title: How to make the physical parameters small

abstract: We study the evolution of the physical parameter values defined at the sub-planckian energies to values at low energies. The Wilson action is the basis of the research. The presence of the compact extra dimensions has two consequences. The positive point is that the integration over extra dimensions is a promising way to substantially reduce the parameters to be comparable with the observational values. On the other hand, the discreteness of the energy levels of compact extra dimensions complicates the analysis. This difficulty can be overcome with the truncated Green functions.


title: Dynamics of Interacting Hotspots -- I

abstract: The worldwide spread of COVID-19 has called for fast advancement of new modelling strategies to estimate its unprecedented spread. Here, we introduce a model based on the fundamental SIR equations with a stochastic disorder by a random exchange of infected populations between cities to study dynamics in an interacting network of epicentres in a model state. Although each stochastic exchange conserves populations pair-wise, the disorder drives the global system towards newer routes to dynamic equilibrium. Upon controlling the range of the exchange fraction, we show that it is possible to control the heterogeneity in the spread and the co-operativity among the interacting hotspots. Data of collective temporal evolution of the infected populations in federal states of Germany validate the qualitative features of the model.


title: Diffusion-reaction approach to electronic relaxation in solution: Exact time domain solution for Dirac delta function sink model

abstract: We propose an analytical method for finding the time domain solution for the problem of electronic relaxation of a molecule in solution. The relaxation process is modeled by the decay of a diffusing probability distribution through an absorbing sink. In our model, the diffusive motion is modeled using the Smoluchowski equation for harmonic potential and the sink is represented by a Dirac Delta function of arbitrary strength and position. This has been an unsolved problem for a long time and is of immense importance as a model for understanding non-radiative electronic relaxation of a molecule in solution. Our solution can be used to understand various reaction-diffusion problems.


title: Largest polyomino with no four cells equally spaced on a straight line

abstract: The maximal number of cells in a polyomino with no four cells equally spaced on a straight line is determined to be 142. This is based on several partial results, each of which can be verified with computer assistance.


title: A New Preconditioner for the EFIE Based on Primal and Dual Graph Laplacian Spectral Filters

abstract: The Electric Field Integral Equation (EFIE) is notorious for its ill-conditioning both in frequency and h-refinement. Several techniques exist for fixing the equation conditioning problems based on hierarchical strategies, Calderon techniques, and related technologies. This work leverages on a new approach, based on the construction of tailored spectral filters for the EFIE components which allow the block renormalization of the EFIE spectrum resulting in a provably constant condition number for the equation. This is achieved without the need for a barycentric refinement and with low computational overhead compared with other schemes. In particular, only sparse matrices are required in addition to the EFIE original matrix. Numerical results will show the robustness of our scheme and its application to the solution of realistic problems.


title: Fractional SIS epidemic models

abstract: In this paper we consider the fractional SIS epidemic model ($\alpha$-SIS model) in the case of constant population size. We provide a representation of the explicit solution to the fractional model and we illustrate the results by numerical schemes. A comparison with the limit case when the fractional order $\alpha \uparrow 1$ (the SIS model) is also given. We analyse the effects of the fractional derivatives by comparing the SIS and the $\alpha$-SIS models.


title: Novel one-step electrophoretic deposition of membrane-electrode assembly for flexible-batteries application

abstract: Wearable electronic devices and gadgets raise the need for flexible, thin and lightweight batteries. In this article we present for the first time, a unique, single-step method for the preparation of a membrane-electrode assembly for flexible-batteries application. Concurrent electrophoretic deposition (EPD) of positive and negative battery electrodes (LFP and LTO) on opposite sides of a commercial nanoporous membrane (Celgard 2325) results in the formation of a three-layer-battery structure. The cell comprising this electrophoretically deposited structure ran for more than 150 cycles with 125-140mAh/g capacity, which approaches the theoretical value of lithium iron phosphate. The electrodes can be deposited either cathodically or anodically by replacing the interchangeable charging agents, like polyethyleneimine and polyacrylic acid. These polyelectrolytes, when adsorbed on the particles of the active material, serve also as the binders. The simultaneous EPD, which we developed, can be used for the simple and low-cost manufacturing of a variety of cathode and anode materials on nanoporous polymer- and ceramic ion-conducting membranes for energy storage devices.


title: Per-pixel Classification Rebar Exposures in Bridge Eye-inspection

abstract: Efficient inspection and accurate diagnosis are required for civil infrastructures with 50 years since completion. Especially in municipalities, the shortage of technical staff and budget constraints on repair expenses have become a critical problem. If we can detect damaged photos automatically per-pixels from the record of the inspection record in addition to the 5-step judgment and countermeasure classification of eye-inspection vision, then it is possible that countermeasure information can be provided more flexibly, whether we need to repair and how large the expose of damage interest. A piece of damage photo is often sparse as long as it is not zoomed around damage, exactly the range where the detection target is photographed, is at most only 1%. Generally speaking, rebar exposure is frequently occurred, and there are many opportunities to judge repair measure. In this paper, we propose three damage detection methods of transfer learning which enables semantic segmentation in an image with low pixels using damaged photos of human eye-inspection. Also, we tried to create a deep convolutional network from scratch with the preprocessing that random crops with rotations are generated. In fact, we show the results applied this method using the 208 rebar exposed images on the 106 real-world bridges. Finally, future tasks of damage detection modeling are mentioned.


title: Discussion of "Design of Controllers with Arbitrary Convergence Time" (Automatica 112 (2020) 108710)

abstract: This note corrects some technical inaccuracies in a recently published paper on predefined-time convergence (Automatica 112 (2020) 108710) and discusses implementation issues of the presented control algorithm.


title: Quantifying Graft Detachment after Descemet's Membrane Endothelial Keratoplasty with Deep Convolutional Neural Networks

abstract: Purpose: We developed a method to automatically locate and quantify graft detachment after Descemet's Membrane Endothelial Keratoplasty (DMEK) in Anterior Segment Optical Coherence Tomography (AS-OCT) scans. Methods: 1280 AS-OCT B-scans were annotated by a DMEK expert. Using the annotations, a deep learning pipeline was developed to localize scleral spur, center the AS-OCT B-scans and segment the detached graft sections. Detachment segmentation model performance was evaluated per B-scan by comparing (1) length of detachment and (2) horizontal projection of the detached sections with the expert annotations. Horizontal projections were used to construct graft detachment maps. All final evaluations were done on a test set that was set apart during training of the models. A second DMEK expert annotated the test set to determine inter-rater performance. Results: Mean scleral spur localization error was 0.155 mm, whereas the inter-rater difference was 0.090 mm. The estimated graft detachment lengths were in 69% of the cases within a 10-pixel (~150{\mu}m) difference from the ground truth (77% for the second DMEK expert). Dice scores for the horizontal projections of all B-scans with detachments were 0.896 and 0.880 for our model and the second DMEK expert respectively. Conclusion: Our deep learning model can be used to automatically and instantly localize graft detachment in AS-OCT B-scans. Horizontal detachment projections can be determined with the same accuracy as a human DMEK expert, allowing for the construction of accurate graft detachment maps. Translational Relevance: Automated localization and quantification of graft detachment can support DMEK research and standardize clinical decision making.


title: To power the X-ray plateaus of gamma-ray bursts through larger amplitude electromagnetic waves

abstract: The origin of gamma-ray burst (GRB) X-ray plateau, especially the internal plateau, is still unclear, but it could be related to GRB's central engine of magnetar. It is generally believed that the spin-down power of the magnetar is injected into forward external shock, however we propose here that most of the power will be dissipated behind the GRB jet through larger amplitude electromagnetic wave (LAEMW). Based on this proposal, the relevant physical conditions and observational implications are analyzed and discussed, and various kinds of X-ray light curves could be reproduced. Although it is still a matter of debate about the chromatic multi-band afterglow in the standard external afterglow fireball model, we can explain naturally this feature under this proposal, i.e., the electrons generating the X-ray plateau and emitting the optical afterglow are accelerated by different mechanisms. %Furthermore, we predict that the X-ray emission of spin-down wind could possibly precede the prompt emission of GRB jet if the energy of LAEMW is dissipated first but shock-induced radiation in the jet is produced later. It is emphasized that both the GRB jet and the spin-down wind should have significant observational consequences in the magnetar scenario, and should be focused equally in GRB physics.


title: Analysing the combined health, social and economic impacts of the corovanvirus pandemic using agent-based social simulation

abstract: During the COVID-19 crisis there have been many difficult decisions governments and other decision makers had to make. E.g. do we go for a total lock down or keep schools open? How many people and which people should be tested? Although there are many good models from e.g. epidemiologists on the spread of the virus under certain conditions, these models do not directly translate into the interventions that can be taken by government. Neither can these models contribute to understand the economic and/or social consequences of the interventions. However, effective and sustainable solutions need to take into account this combination of factors. In this paper, we propose an agent-based social simulation tool, ASSOCC, that supports decision makers understand possible consequences of policy interventions, bu exploring the combined social, health and economic consequences of these interventions.


title: High-fidelity composite quantum gates for Raman qubits

abstract: We present a general systematic approach to design robust and high-fidelity quantum logic gates with Raman qubits using the technique of composite pulses. We use two mathematical tools -- the Morris-Shore and Majorana decompositions -- to reduce the three-state Raman system to an equivalent two-state system. They allow us to exploit the numerous composite pulses designed for two-state systems by extending them to Raman qubits. We construct the NOT, Hadamard, and rotation gates by means of the Morris-Shore transformation with the same uniform approach: sequences of pulses with the same phases for each gate but different ratios of Raman couplings. The phase gate is constructed by using the Majorana decomposition. All composite Raman gates feature very high fidelity, beyond the quantum computation benchmark values, and significant robustness to experimental errors. All composite phases and pulse areas are given by analytical formulas, which makes the method scalable to any desired accuracy and robustness to errors.


title: Unsupervised Real Image Super-Resolution via Generative Variational AutoEncoder

abstract: Benefited from the deep learning, image Super-Resolution has been one of the most developing research fields in computer vision. Depending upon whether using a discriminator or not, a deep convolutional neural network can provide an image with high fidelity or better perceptual quality. Due to the lack of ground truth images in real life, people prefer a photo-realistic image with low fidelity to a blurry image with high fidelity. In this paper, we revisit the classic example based image super-resolution approaches and come up with a novel generative model for perceptual image super-resolution. Given that real images contain various noise and artifacts, we propose a joint image denoising and super-resolution model via Variational AutoEncoder. We come up with a conditional variational autoencoder to encode the reference for dense feature vector which can then be transferred to the decoder for target image denoising. With the aid of the discriminator, an additional overhead of super-resolution subnetwork is attached to super-resolve the denoised image with photo-realistic visual quality. We participated the NTIRE2020 Real Image Super-Resolution Challenge. Experimental results show that by using the proposed approach, we can obtain enlarged images with clean and pleasant features compared to other supervised methods. We also compared our approach with state-of-the-art methods on various datasets to demonstrate the efficiency of our proposed unsupervised super-resolution model.


title: A He I upper atmosphere around the warm Neptune GJ 3470b

abstract: High resolution transit spectroscopy has proven to be a reliable technique for the characterization of the chemical composition of exoplanet atmospheres. Taking advantage of the broad spectral coverage of the CARMENES spectrograph, we initiated a survey aimed at characterizing a broad range of planetary systems. Here, we report our observations of three transits of \tplanet with CARMENES in search of \het\ absorption. On one of the nights, the He~{\sc i} region was heavily contaminated by OH$^-$ telluric emission and, thus, it was not useful for our purposes. The remaining two nights had a very different signal-to-noise ratio (S/N) due to weather. They both indicate the presence of \het\ absorption in the transmission spectrum of \tplanet, although a statistically valid detection can only be claimed for the night with higher S/N. For that night, we retrieved a 1.5$\pm$0.3\% absorption depth, translating into a $R_p(\lambda)/R_p = 1.15\pm 0.14$ at this wavelength. Spectro-photometric light curves for this same night also indicate the presence of extra absorption during the planetary transit with a consistent absorption depth. The \het\ absorption is modeled in detail using a radiative transfer code, and the results of our modeling efforts are compared to the observations. We find that the mass-loss rate, \mlr, is confined to a range of 3\,$\times\,10^{10}$\,\gs\ for $T$ = 6000\,K to 10\,$\times\,10^{10}$\,\gs\ for $T$ = 9000\,K. We discuss the physical mechanisms and implications of the He~{\sc i} detection in \tplanet and put it in context as compared to similar detections and non-detections in other Neptune-size planets. We also present improved stellar and planetary parameter determinations based on our visible and near-infrared observations.


title: Assessing site-specific enhancements imparted by hyperpolarized water in folded and unfolded proteins by 2D HMQC NMR

abstract: Hyperpolarized water can be a valuable aid in protein NMR, leading to amide group 1H polarizations that are orders of magnitude larger than their thermal counterparts. Suitable procedures can exploit this to deliver 2D 1H-15N correlations with good resolution and enhanced sensitivity. These enhancements depend on the exchange rates between the amides and the water, thereby yielding diagnostic information about solvent accessibility. This study applied this HyperW method to four proteins exhibiting a gamut of exchange behaviors: PhoA4, an unfolded 122-residue fragment; barstar, a fully folded ribonuclease inhibitor; R17, a 13.3 kDa system possessing folded and unfolded forms under slow interconversion; and drkN SH3, a protein domain whose folded and unfolded forms interchange rapidly and with temperature-dependent population ratios. For PhoA4 HyperW sensitivity enhancements were larger than 300-fold, as expected for an unfolded protein sequence. Though fully folded barstar also exhibited substantial enhancements; these, however, were not uniform, and according to CLEANEX experiments reflected the solvent-exposed residues. R17 showed the expected superposition of 100-fold enhancements for its unfolded form, coexisting with more modest folded counterparts. Unexpected, however, was the behavior of drkN SH3, for which HyperW enhanced the unfolded but even more certain folded protein sites. These preferential enhancements were repeatedly and reproducibly observed; a number of explanations including three-site exchange magnetization transfers between water, unfolded and folded states; cross-correlated relaxation processes from hyperpolarized structural waters and labile sidechain protons; and the possibility that faster solvent exchange rates characterize certain folded sites over their unfolded counterparts are considered to account for them.


title: Why should we add early exits to neural networks?

abstract: Deep neural networks are generally designed as a stack of differentiable layers, in which a prediction is obtained only after running the full stack. Recently, some contributions have proposed techniques to endow the networks with early exits, allowing to obtain predictions at intermediate points of the stack. These multi-output networks have a number of advantages, including: (i) significant reductions of the inference time, (ii) reduced tendency to overfitting and vanishing gradients, and (iii) capability of being distributed over multi-tier computation platforms. In addition, they connect to the wider themes of biological plausibility and layered cognitive reasoning. In this paper, we provide a comprehensive introduction to this family of neural networks, by describing in a unified fashion the way these architectures can be designed, trained, and actually deployed in time-constrained scenarios. We also describe in-depth their application scenarios in 5G and Fog computing environments, as long as some of the open research questions connected to them.


title: A noise-induced transition in the Lorenz system

abstract: We consider a stochastic perturbation of the classical Lorenz system in the range of parameters for which the origin is the global attractor. We show that adding noise in the last component causes a transition from a unique to exactly two ergodic invariant measures. The bifurcation threshold depends on the strength of the noise: if the noise is weak, the only invariant measure is Gaussian, while strong enough noise causes the appearance of a second ergodic invariant measure.


title: Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows

abstract: These results continue our studies of integrable generalized Heisenberg ferromagnet-type equations (GHFE) and their equivalent counterparts. We consider the GHFE which is the spin equivalent of the Zakharov-Ito equation (ZIE). We have established that these equations are gauge and geometrical equivalent to each other. The integrable motion of space curves induced by the ZIE is constructed. The 1-soliton solution of the GHFE is obtained from the seed solution of the ZIE.


title: LightPAFF: A Two-Stage Distillation Framework for Pre-training and Fine-tuning

abstract: While pre-training and fine-tuning, e.g., BERT~\citep{devlin2018bert}, GPT-2~\citep{radford2019language}, have achieved great success in language understanding and generation tasks, the pre-trained models are usually too big for online deployment in terms of both memory cost and inference speed, which hinders them from practical online usage. In this paper, we propose LightPAFF, a Lightweight Pre-training And Fine-tuning Framework that leverages two-stage knowledge distillation to transfer knowledge from a big teacher model to a lightweight student model in both pre-training and fine-tuning stages. In this way the lightweight model can achieve similar accuracy as the big teacher model, but with much fewer parameters and thus faster online inference speed. LightPAFF can support different pre-training methods (such as BERT, GPT-2 and MASS~\citep{song2019mass}) and be applied to many downstream tasks. Experiments on three language understanding tasks, three language modeling tasks and three sequence to sequence generation tasks demonstrate that while achieving similar accuracy with the big BERT, GPT-2 and MASS models, LightPAFF reduces the model size by nearly 5x and improves online inference speed by 5x-7x.


title: Some Ideas to Test if a Polyhedron is Empty

abstract: In this paper we develop a pure algebraic method which provides an algorithm for testing emptyness of a polyhedron.


title: Detecting and Tracking Communal Bird Roosts in Weather Radar Data

abstract: The US weather radar archive holds detailed information about biological phenomena in the atmosphere over the last 20 years. Communally roosting birds congregate in large numbers at nighttime roosting locations, and their morning exodus from the roost is often visible as a distinctive pattern in radar images. This paper describes a machine learning system to detect and track roost signatures in weather radar data. A significant challenge is that labels were collected opportunistically from previous research studies and there are systematic differences in labeling style. We contribute a latent variable model and EM algorithm to learn a detection model together with models of labeling styles for individual annotators. By properly accounting for these variations we learn a significantly more accurate detector. The resulting system detects previously unknown roosting locations and provides comprehensive spatio-temporal data about roosts across the US. This data will provide biologists important information about the poorly understood phenomena of broad-scale habitat use and movements of communally roosting birds during the non-breeding season.


title: Multiplex Markov Chains: Convection Cycles and Optimality

abstract: Multiplex networks are a common modeling framework for interconnected systems and multimodal data, yet we still lack fundamental insights for how multiplexity affects stochastic processes. We introduce a novel ``Markov chains of Markov chains'' model called multiplex Markov chains (MMCs) such that with probably $(1-\omega)\in [0,1]$ random walkers remain in the same layer and follow (layer-specific) intralayer Markov chains, whereas with probability $\omega$ they move to different layers following (node-specific) interlayer Markov chains. One main finding is the identification of multiplex convection, whereby a stationary distribution exhibits circulating flows that involve multiple layers. Convection cycles are well understood in fluids, but are insufficiently explored on networks. Our experiments reveal that one mechanism for convection is the existence of imbalances for the (intralayer) degrees of nodes in different layers. To gain further insight, we employ spectral perturbation theory to characterize the stationary distribution for the limits of small and large $\omega$, and we show that MMCs inherently exhibit optimality for intermediate $\omega$ in terms of their convergence rate and the extent of convection. As an application, we conduct an MMC-based analysis of brain-activity data, finding MMCs to differ between healthy persons and those with Alzheimer's disease. Overall, our work suggests MMCs and convection as two important new directions for network-related research.


title: SFTM: Fast Comparison of Web Documents using Similarity-based Flexible Tree Matching

abstract: Tree matching techniques have been investigated in many fields, including web data mining and extraction, as a key component to analyze the content of web documents, existing tree matching approaches, like Tree-Edit Distance (TED) or Flexible Tree Matching (FTM), fail to scale beyond a few hundreds of nodes, which is far below the average complexity of existing web online documents and applications. In this paper, we therefore propose a novel Similarity-based Flexible Tree Matching algorithm (SFTM), which is the first algorithm to enable tree matching on real-life web documents with practical computation times. In particular, we approach tree matching as an optimisation problem and we leverage node labels and local topology similarity in order to avoid any combinatorial explosion. Our practical evaluation demonstrates that our approach compares to the reference implementation of TED qualitatively, while improving the computation times by two orders of magnitude.


title: Optimal Adjacent Vertex-Distinguishing Edge-Colorings of Circulant Graphs

abstract: A $k$-proper edge-coloring of a graph G is called adjacent vertex-distinguishing if any two adjacent vertices are distinguished by the set of colors appearing in the edges incident to each vertex. The smallest value $k$ for which $G$ admits such coloring is denoted by $\chi'_a(G)$. We prove that $\chi'_a(G) = 2R + 1$ for most circulant graphs $C_n([1, R])$.


title: A Critic Evaluation of Methods for COVID-19 Automatic Detection from X-Ray Images

abstract: In this paper, we compare and evaluate different testing protocols used for automatic COVID-19 diagnosis from X-Ray images in the recent literature. We show that similar results can be obtained using X-Ray images that do not contain most of the lungs. We are able to remove the lungs from the images by turning to black the center of the X-Ray scan and training our classifiers only on the outer part of the images. Hence, we deduce that several testing protocols for the recognition are not fair and that the neural networks are learning patterns in the dataset that are not correlated to the presence of COVID-19. Finally, we show that creating a fair testing protocol is a challenging task, and we provide a method to measure how fair a specific testing protocol is. In the future research we suggest to check the fairness of a testing protocol using our tools and we encourage researchers to look for better techniques than the ones that we propose.


title: Quantum key distribution overcoming extreme noise: simultaneous subspace coding using high-dimensional entanglement

abstract: High-dimensional entanglement promises to increase the information capacity of photons and is now routinely generated exploiting spatio-temporal degrees of freedom of single photons. A curious feature of these systems is the possibility to certify entanglement despite strong noise in the data. We show that it is also possible to exploit this noisy high-dimensional entanglement for quantum key distribution by introducing a protocol that uses mutliple subspaces of the high-dimensional system simultaneously. Our protocol can be used to establish a secret key even in extremely noisy experimental conditions, where qubit protocols fail. To show that, we analyze the performance of our protocol for noise models that apply to the two most commonly used sources of high-dimensional entanglement: time bins and spatial modes.


title: Kodaira dimensions of almost complex manifolds II

abstract: This is the second of a series of papers where we study the plurigenera, the Kodaira dimension and the Iitaka dimension on compact almost complex manifolds. By using the pseudoholomorphic pluricanonical map, we define the second version of Kodaira dimension as well as Iitaka dimension on compact almost complex manifolds. We show the almost complex structures with the top Kodaira dimension are integrable. For compact almost complex 4-manifolds with Kodaira dimension one, we obtain elliptic fibration like structural description. Some vanishing theorems in complex geometry are generalized to the almost complex setting. For tamed symplectic $4$-manifolds, we show that the almost Kodaira dimension is bounded above by the symplectic Kodaira dimension, by using a probabilistic combinatorics style argument. The appendix also contains a few results including answering a question of the second author that there is a unique subvariety in exceptional curve classes for irrational symplectic $4$-manifolds, as well as extending Evans-Smith's constraint on symplectic embeddings of certain rational homology balls by removing the assumption on the intersection form.


title: On Subexponential Convergence to Equilibrium of Markov Processes

abstract: Studying the subexponential convergence towards equilibrium of a strong Markov process, we exhibit an intermediate Lyapunov condition equivalent to the control of some moment of a hitting time. This provides a link, similar (although more intricate) to the one existing in the exponential case, between the coupling method and the approach based on the existence of a Lyapunov function for the generator, in the context of the subexponential rates found by Fort-Roberts (2005), Douc-Fort-Guillin (2009) and Hairer (2016).


title: High resolution strain measurements in highly disordered materials

abstract: The ability to measure small deformations or strains is useful for understanding many aspects of materials. Here, a new analysis of speckle diffraction peaks is presented in which the systematic shifts of the speckles are analyzed allowing for strain (or flow) patterns to be inferred. This speckle tracking technique measures strain patterns with a accuracy similar to x-ray single crystal measurements but in amorphous or highly disordered materials.


title: Station-to-User Transfer Learning: Towards Explainable User Clustering Through Latent Trip Signatures Using Tidal-Regularized Non-Negative Matrix Factorization

abstract: Urban areas provide us with a treasure trove of available data capturing almost every aspect of a population's life. This work focuses on mobility data and how it will help improve our understanding of urban mobility patterns. Readily available and sizable farecard data captures trips in a public transportation network. However, such data typically lacks temporal modalities and as such the task of inferring trip semantic, station function, and user profile is quite challenging. As existing approaches either focus on station-level or user-level signals, they are prone to overfitting and generate less credible and insightful results. To properly learn such characteristics from trip data, we propose a Collective Learning Framework through Latent Representation, which augments user-level learning with collective patterns learned from station-level signals. This framework uses a novel, so-called Tidal-Regularized Non-negative Matrix Factorization method, which incorporates domain knowledge in the form of temporal passenger flow patterns in generic Non-negative Matrix Factorization. To evaluate our model performance, a user stability test based on the classical Rand Index is introduced as a metric to benchmark different unsupervised learning models. We provide a qualitative analysis of the station functions and user profiles for the Washington D.C. metro and show how our method supports spatiotemporal intra-city mobility exploration.


title: WISEA J083011.95+283716.0: A Missing Link Planetary-Mass Object

abstract: We present the discovery of WISEA J083011.95+283716.0, the first Y dwarf candidate identified through the Backyard Worlds: Planet 9 citizen science project. We identified this object as a red, fast-moving source with a faint $W2$ detection in multi-epoch \textit{AllWISE} and unWISE images. We have characterized this object with Spitzer Space Telescope and \textit{Hubble Space Telescope} follow-up imaging. With mid-infrared detections in \textit{Spitzer}'s \emph{ch1} and \emph{ch2} bands and flux upper limits in Hubble Space Telescope $F105W$ and $F125W$ filters, we find that this object is both very faint and has extremely red colors ($ch1-ch2 = 3.25\pm0.23$ mag, $F125W-ch2 \geq 9.36$ mag), consistent with a T$_{eff}\sim300$ K source, as estimated from the known Y dwarf population. A preliminary parallax provides a distance of $11.1^{+2.0}_{-1.5}$ pc, leading to a slightly warmer temperature of $\sim350$ K. The extreme faintness and red Hubble Space Telescope and Spitzer Space Telescope colors of this object suggest it may be a link between the broader Y dwarf population and the coldest known brown dwarf WISE J0855$-$0714, and highlight our limited knowledge of the true spread of Y dwarf colors. We also present four additional Backyard Worlds: Planet 9 late-T brown dwarf discoveries within 30 pc.


title: Characters and Group Invariant Polynomials of (Super)fields: Road to "Lagrangian"

abstract: The dynamics of the subatomic fundamental particles, represented by quantum fields, and their interactions are determined uniquely by the assigned transformation properties, i.e., the quantum numbers associated with the underlying symmetry of the model. These fields constitute a finite number of group invariant operators which are assembled to build a polynomial, known as the Lagrangian. The order of the polynomial is determined by the mass dimension. In this paper, we have introduced a Mathematica package, GrIP, that computes the complete set of operators that form a basis at each such order for a model containing any number of fields transforming under connected compact groups. The spacetime symmetry is restricted to the Lorentz group. The first part of the paper is dedicated to formulating the algorithm of GrIP. In this context, the detailed and explicit construction of the characters of different representations corresponding to connected compact groups and respective Haar measures have been discussed in terms of the coordinates of their respective maximal torus. In the second part, we have documented the user manual of GrIP that captures the generic features and guides to prepare the input file. This program works very efficiently to find out the higher mass (non-supersymmetric) and canonical (supersymmetric) dimensional operators relevant to the Effective Field Theory. We have demonstrated the working principles with two examples:- the SM and the MSSM. We have further highlighted important features of GrIP, e.g., identification of effective operators leading to specific rare processes linked with the violation of baryon and lepton numbers, using several BSM scenarios. We have also tabulated a complete set of dimension-6 operators for each such model. Some of the operators possess rich flavour structures which are discussed in detail. This work paves the way towards BSM-EFT.


title: Transforming physics laboratory work from 'cookbook' type to genuine inquiry

abstract: 'Cookbook' style laboratory tasks have long been criticised for the lack of critical and independent thought that students need in order to complete them. We present an account of how we transformed a 'cookbook' lab to a genuine inquiry experiment in first year physics. Crucial features of the work were visits to see other teaching laboratories, understanding student preparedness and the selection of an appropriate experiment to develop. The new two session laboratory work is structured so students make decisions related to the method of a basic experiment in the first session and then have freedom to investigate any aspect they wish to in the second. Formative feedback on laboratory notebook keeping is provided by short online activities.


title: ColBERT: Efficient and Effective Passage Search via Contextualized Late Interaction over BERT

abstract: Recent progress in Natural Language Understanding (NLU) is driving fast-paced advances in Information Retrieval (IR), largely owed to fine-tuning deep language models (LMs) for document ranking. While remarkably effective, the ranking models based on these LMs increase computational cost by orders of magnitude over prior approaches, particularly as they must feed each query-document pair through a massive neural network to compute a single relevance score. To tackle this, we present ColBERT, a novel ranking model that adapts deep LMs (in particular, BERT) for efficient retrieval. ColBERT introduces a late interaction architecture that independently encodes the query and the document using BERT and then employs a cheap yet powerful interaction step that models their fine-grained similarity. By delaying and yet retaining this fine-granular interaction, ColBERT can leverage the expressiveness of deep LMs while simultaneously gaining the ability to pre-compute document representations offline, considerably speeding up query processing. Beyond reducing the cost of re-ranking the documents retrieved by a traditional model, ColBERT's pruning-friendly interaction mechanism enables leveraging vector-similarity indexes for end-to-end retrieval directly from a large document collection. We extensively evaluate ColBERT using two recent passage search datasets. Results show that ColBERT's effectiveness is competitive with existing BERT-based models (and outperforms every non-BERT baseline), while executing two orders-of-magnitude faster and requiring four orders-of-magnitude fewer FLOPs per query.


title: Topological-defect-induced surface charge heterogeneities in nematic electrolytes

abstract: We show that topological defects in an ion-doped nematic liquid crystal can be used to manipulate the surface charge distribution on chemically homogeneous, charge-regulating external surfaces, using a minimal theoretical model. In particular, the location and type of the defect encodes the precise distribution of surface charges and the effect is enhanced when the liquid crystal is flexoelectric. We demonstrate the principle for patterned surfaces and charged colloidal spheres. More generally, our results indicate an interesting approach to control surface charges on external surfaces without changing the surface chemistry.


title: Effect of growth temperature on the CVD grown Fe filled multi-walled carbon nanotubes using a modified photoresist

abstract: Fe filled carbon nanotubes were synthesized by atmospheric pressure chemical vapor deposition using a simple mixture of iron acetylacetonate with a conventional photoresist and the effect of growth temperature from 550 to 950 {\deg}C on Fe filled nanotubes has been studied. Scanning electron microscopy results show that, as the growth temperature increases from 550 to 950 {\deg}C, the average diameter of the nanotubes increases while their number density decreases. High resolution transmission electron microscopy along with energy dispersive X-ray investigation shows that the nanotubes have a multi-walled structure with partial Fe filling for all growth temperatures. The graphitic nature of the nanotubes was observed via X-ray diffraction pattern. Raman analysis demonstrates that the degree of graphitization of the carbon nanotubes depends upon the growth temperature.


title: Intuitive Contrasting Map for Antonym Embeddings

abstract: This paper shows that, modern word embeddings contain information that distinguishes synonyms and antonyms despite small cosine similarities between corresponding vectors. This information is encoded in the geometry of the embeddings and could be extracted with a straight-forward and intuitive manifold learning procedure or a contrasting map. Such a map is trained on a small labeled subset of the data and can produce new embeddings that explicitly highlight specific semantic attributes of the word. The new embeddings produced by the map are shown to improve the performance on downstream tasks.


title: A demographic scaling model for estimating the total number of COVID-19 infections

abstract: Understanding how widely COVID-19 has spread is critical for examining the pandemic's progression. Despite efforts to carefully monitor the pandemic, the number of confirmed cases may underestimate the total number of infections. We introduce a demographic scaling model to estimate COVID-19 infections using an broadly applicable approach that is based on minimal data requirements: COVID-19 related deaths, infection fatality rates (IFRs), and life tables. As many countries lack reliable estimates of age-specific IFRs, we scale IFRs between countries using remaining life expectancy as a marker to account for differences in age structures, health conditions, and medical services. Across 10 countries with most COVID-19 deaths as of May 13, 2020, the number of infections is estimated to be four [95% prediction interval: 2-11] times higher than the number of confirmed cases. Cross-country variation is high. The estimated number of infections is 1.4 million (six times the number of confirmed cases) for Italy; 3.1 million (2.2 times the number of confirmed cases) for the U.S.; and 1.8 times the number of confirmed cases for Germany, where testing has been comparatively extensive. Our prevalence estimates, however, are markedly lower than most others based on local seroprevalence studies. We introduce formulas for quantifying the bias that is required in our data on deaths in order to reproduce estimates published elsewhere. This bias analysis shows that either COVID-19 deaths are severely underestimated, by a factor of two or more; or alternatively, the seroprevalence based results are overestimates and not representative for the total population.


title: A Light CNN for detecting COVID-19 from CT scans of the chest

abstract: OVID-19 is a world-wide disease that has been declared as a pandemic by the World Health Organization. Computer Tomography (CT) imaging of the chest seems to be a valid diagnosis tool to detect COVID-19 promptly and to control the spread of the disease. Deep Learning has been extensively used in medical imaging and convolutional neural networks (CNNs) have been also used for classification of CT images. We propose a light CNN design based on the model of the SqueezeNet, for the efficient discrimination of COVID-19 CT images with other CT images (community-acquired pneumonia and/or healthy images). On the tested datasets, the proposed modified SqueezeNet CNN achieved 83.00\% of accuracy, 85.00\% of sensitivity, 81.00\% of specificity, 81.73\% of precision and 0.8333 of F1Score in a very efficient way (7.81 seconds medium-end laptot without GPU acceleration). Besides performance, the average classification time is very competitive with respect to more complex CNN designs, thus allowing its usability also on medium power computers. In the next future we aim at improving the performances of the method along two directions: 1) by increasing the training dataset (as soon as other CT images will be available); 2) by introducing an efficient pre-processing strategy.


title: Increasing the efficiency of Sequential Monte Carlo samplers through the use of approximately optimal L-kernels

abstract: By facilitating the generation of samples from arbitrary probability distributions, Markov Chain Monte Carlo (MCMC) is, arguably, \emph{the} tool for the evaluation of Bayesian inference problems that yield non-standard posterior distributions. In recent years, however, it has become apparent that Sequential Monte Carlo (SMC) samplers have the potential to outperform MCMC in a number of ways. SMC samplers are better suited to highly parallel computing architectures and also feature various tuning parameters that are not available to MCMC. One such parameter - the `L-kernel' - is a user-defined probability distribution that can be used to influence the efficiency of the sampler. In the current paper, the authors explain how to derive an expression for the L-kernel that minimises the variance of the estimates realised by an SMC sampler. Various approximation methods are then proposed to aid implementation of the proposed L-kernel. The improved performance of the resulting algorithm is demonstrated in multiple scenarios. For the examples shown in the current paper, the use of an approximately optimum L-kernel has reduced the variance of the SMC estimates by up to 99 % while also reducing the number of times that resampling was required by between 65 % and 70 %. Python code and code tests accompanying this manuscript are available through the Github repository \url{https://github.com/plgreenLIRU/SMC_approx_optL}.


title: Three Dimensional Modified Gravities as Holographic Limits of Lancsoz-Lovelock Theories

abstract: We define a "holographic limit" of Lancsoz-Lovelock theories at the Lagrangian level which gives three-dimensional modified gravity theories. We also show that this limit applies to more general classes of theories in higher dimensions provided that they admit the holographic c-theorem.


title: Topological Magnetoelectric Effect: Nonlinear Time-Reversal-Symmetric Response, Witten Effect, and Half-Integer Quantum Hall Effect

abstract: Topological insulators (TIs) in three space dimensions can be characterized by a quantized magnetoelectric coefficient. However, this coupling does not have experimentally observable consequences in the presence of time-reversal symmetry, because the contributions of both bulk and surface states cancel each other. Instead, the characteristic response of a TI is a nonlinear magnetoelectric effect. Field theoretic aspects of the nonlinear magnetoelectric response and numerical calculations for experimentally relevant geometries are discussed. Distinct from this effect, the magnetoelectric coupling would bind a charge $\pm e/2$ in response to a monopole, which is referred to as Witten effect. If time reversal is broken explicitly, for instance, by a Zeeman field acting on the surface layer, the electromagnetic response of a TI can be described by a half-integer quantum Hall effect of surface electrons.


title: Charm-meson Triangle Singularity in ${e^+e^-}$ Annihilation into ${ D^{*0} \bar{D}^0 + \gamma }$

abstract: We calculate the cross section for $e^+ e^-$ annihilation into $D^{*0} \bar D^0 +\gamma$ at center-of-mass energies near the $D^{*0} \bar D^{*0}$ threshold under the assumption that $X(3872)$ is a weakly bound charm meson molecule. The Dalitz plot has a $\bar D^{*0}$ resonance band in the squared invariant mass $t$ of $\bar D^0 \gamma$. In the limit as the decay width of the $D^{*0}$ goes to 0, the Dalitz plot also has a narrow band in the squared invariant mass $u$ of $D^{*0} \bar D^0$ from a charm-meson triangle singularity. At the physical value of the $D^{*0}$ width, the narrow band reduces to a shoulder. Thus the triangle singularity cannot be observed directly as a peak in a differential cross section as a function of $u$. It may however be observed indirectly as a local minimum in the $t$ distribution for events with $u$ below the triangle singularity. The minimum is produced by the Schmid cancellation between triangle loop diagrams and a tree diagram. The observation of this minimum would support the identification of $X(3872)$ as a weakly bound charm meson molecule.


title: A unified view of space-time covariance functions through Gelfand pairs

abstract: We give a characterization of positive definite integrable functions on a product of two Gelfand pairs as an integral of positive definite functions on one of the Gelfand pairs with respect to the Plancherel measure on the dual of the other Gelfand pair. In the very special case where the Gelfand pairs are Euclidean groups and the compact subgroups are reduced to the identity, the characterization is a much cited result in spatio-temporal statistics due to Cressie, Huang and Gneiting. When one of the Gelfand pairs is compact the characterization leads to results about expansions in spherical functions with positive definite expansion functions, thereby recovering recent results of the author in collaboration with Peron and Porcu. In the special case when the compact Gelfand pair consists of orthogonal groups, the characterization is important in geostatistics and covers a recent result of Porcu and White.


title: Photocatalytic reduction and scavenging of Hg(II) over templated-dewetted Au on TiO$_2$ nanotubes

abstract: Gold-decorated TiO$_2$ nanotubes were used for the photocatalytic abatement of Hg(II) in aqueous solutions. The presence of dewetted Au nanoparticles induces a strong enhancement of photocatalytic reduction and scavenging performances, with respect to naked TiO$_2$. In the presence of chlorides, a massive formation of Hg2Cl2 nanowires, produced from Au nanoparticles, was observed using highly Au loaded photocatalysts to treat a 10 ppm Hg(II) solution. EDS and XPS confirmed the nature of the photo-produced nanowires. In the absence of chlorides and/or at lower Hg(II) starting concentrations, the scavenging of mercury proceeds through the formation of Hg-Au amalgams. Solar light driven Hg(II) abatements up to 90% were observed after 24h. ICP-MS analysis revealed that the removed Hg(II) is accumulated on the photocatalyst surface. Regeneration of Hg-loaded exhaust photocatalysts was easily performed by anodic stripping of Hg(0) and Hg(I) to Hg(II). After four catalytic-regeneration cycles only a 10% decrease of activity was observed.


title: Photoanodes Based on TiO$_2$ and $\alpha$-Fe$_2$O$_3$ for Solar Water Splitting Superior Role of 1D Nanoarchitectures and of Combined Heterostructures

abstract: Solar driven photoelectrochemical water splitting (PEC-WS) using semiconductor photoelectrodes represents a promising approach for a sustainable and environmentally friendly production of renewable energy vectors and fuel sources, such as dihydrogen (H2). In this context, titanium dioxide (TiO$_2$) and iron oxide (hematite, $\alpha$-Fe$_2$O$_3$) are among the most investigated candidates as photoanode materials, mainly owing to their resistance to photocorrosion, non-toxicity, natural abundance, and low production cost. Major drawbacks are, however, an inherently low electrical conductivity and a limited hole diffusion length that significantly affect the performance of TiO$_2$ and $\alpha$-Fe$_2$O$_3$ in PEC devices. To this regard, one-dimensional (1D) nanostructuring is typically applied as it provides several superior features such as a significant enlargement of the material surface area, extended contact between the semiconductor and the electrolyte and, most remarkably, preferential electrical transport that overall suppress charge carrier recombination and improve TiO$_2$ and $\alpha$-Fe$_2$O$_3$ photo-electrocatalytic properties. The present review describes various synthetic methods, properties and PEC applications of 1D-photoanodes (nanotubes, nanorods, nanofibers, nanowires) based on titania, hematite, and on $\alpha$-Fe$_2$O$_3$/TiO$_2$ heterostructures. Various routes towards modification and enhancement of PEC activity of 1D photoanodes are also discussed including doping, decoration with co-catalysts and heterojunction engineering. Finally, the challenges related to the optimization of charge transfer kinetics in both oxides are highlighted.


title: Spaced TiO$_2$ Nanotube Arrays Allow for High Performance Hierarchical Supercapacitor Structure

abstract: In this work we describe the synthesis and electrochemical properties of nitridated hierarchical TiO$_2$ nanotubes as an electrode for supercapacitors. The hierarchical TiO$_2$ nanostructures are formed by a controlled layer-by-layer TiO2 nanoparticle decoration on self-organized spaced TiO$_2$ nanotubes. These structures are then annealed in NH$_3$ atmosphere at elevated temperature to convert the material to a nitride structure -- this drastically enhances their electron-transport properties. The areal capacitance of hierarchical structures can be tuned by changing the number of decorated TiO$_2$ nanoparticle layers. The capacitance enhancement of the hierarchical structures reaches a maximum when the surface area through nanoparticle deposition is highest and the conductivity via nitridation is optimized.


title: Evolving Inborn Knowledge For Fast Adaptation in Dynamic POMDP Problems

abstract: Rapid online adaptation to changing tasks is an important problem in machine learning and, recently, a focus of meta-reinforcement learning. However, reinforcement learning (RL) algorithms struggle in POMDP environments because the state of the system, essential in a RL framework, is not always visible. Additionally, hand-designed meta-RL architectures may not include suitable computational structures for specific learning problems. The evolution of online learning mechanisms, on the contrary, has the ability to incorporate learning strategies into an agent that can (i) evolve memory when required and (ii) optimize adaptation speed to specific online learning problems. In this paper, we exploit the highly adaptive nature of neuromodulated neural networks to evolve a controller that uses the latent space of an autoencoder in a POMDP. The analysis of the evolved networks reveals the ability of the proposed algorithm to acquire inborn knowledge in a variety of aspects such as the detection of cues that reveal implicit rewards, and the ability to evolve location neurons that help with navigation. The integration of inborn knowledge and online plasticity enabled fast adaptation and better performance in comparison to some non-evolutionary meta-reinforcement learning algorithms. The algorithm proved also to succeed in the 3D gaming environment Malmo Minecraft.


title: A Deep Attentive Convolutional Neural Network for Automatic Cortical Plate Segmentation in Fetal MRI

abstract: Fetal cortical plate segmentation is essential in quantitative analysis of fetal brain maturation and cortical folding. Manual segmentation of the cortical plate, or manual refinement of automatic segmentations is tedious and time-consuming. Automatic segmentation of the cortical plate, on the other hand, is challenged by the relatively low resolution of the reconstructed fetal brain MRI scans compared to the thin structure of the cortical plate, partial voluming, and the wide range of variations in the morphology of the cortical plate as the brain matures during gestation. To reduce the burden of manual refinement of segmentations, we have developed a new and powerful deep learning segmentation method. Our method exploits new deep attentive modules with mixed kernel convolutions within a fully convolutional neural network architecture that utilizes deep supervision and residual connections. We evaluated our method quantitatively based on several performance measures and expert evaluations. Results show that our method outperforms several state-of-the-art deep models for segmentation, as well as a state-of-the-art multi-atlas segmentation technique. We achieved average Dice similarity coefficient of 0.87, average Hausdorff distance of 0.96 mm, and average symmetric surface difference of 0.28 mm on reconstructed fetal brain MRI scans of fetuses scanned in the gestational age range of 16 to 39 weeks. With a computation time of less than 1 minute per fetal brain, our method can facilitate and accelerate large-scale studies on normal and altered fetal brain cortical maturation and folding.


title: Generalization of Affine Feedback Stock Trading Results to Include Stop-Loss Orders

abstract: The takeoff point of this paper is to generalize the existing stock trading results for a class of affine feedback controller to include consideration of a stop-loss order. Using the geometric Brownian motion as the underlying stock price model, our main result is to provide a closed-form expression for the cumulative distribution function for the trading profit or loss. In addition, we show that the affine feedback controller with stop-loss order indeed generalizes the result without stop order in the sense of distribution function. Some simulations and illustrative examples are also provided as supporting evidence of the theory. Moreover, we provide some technical results aimed at addressing the issues about survivability, cash-financing considerations, long-only property, and lower bound of the expected gain or loss.


title: On the NP-Completeness of Satisfying Certain Path and Loop Puzzles

abstract: "Eye-Witless", "Haisu" and "Oriental House" are genres of logic puzzles invented by William Hu, and "Detour" is a genre of logic puzzle invented by online user Guowen Zhang. Each of these puzzles revolves around constructing a path or loop through the cells of a grid according to certain constraints given by clues in the grid. We prove that deciding whether a particular puzzle in each of these genres is solvable is NP-complete.


title: Learning Neural-Symbolic Descriptive Planning Models via Cube-Space Priors: The Voyage Home (to STRIPS)

abstract: We achieved a new milestone in the difficult task of enabling agents to learn about their environment autonomously. Our neuro-symbolic architecture is trained end-to-end to produce a succinct and effective discrete state transition model from images alone. Our target representation (the Planning Domain Definition Language) is already in a form that off-the-shelf solvers can consume, and opens the door to the rich array of modern heuristic search capabilities. We demonstrate how the sophisticated innate prior we place on the learning process significantly reduces the complexity of the learned representation, and reveals a connection to the graph-theoretic notion of "cube-like graphs", thus opening the door to a deeper understanding of the ideal properties for learned symbolic representations. We show that the powerful domain-independent heuristics allow our system to solve visual 15-Puzzle instances which are beyond the reach of blind search, without resorting to the Reinforcement Learning approach that requires a huge amount of training on the domain-dependent reward information.


title: Variations on themes of Sato

abstract: In the first part of this article, we review a formalism of local zeta integrals attached to spherical reductive prehomogeneous vector spaces, which partially extends M. Sato's theory by incorporating the generalized matrix coefficients of admissible representations. We summarize the basic properties of these integrals such as the convergence, meromorphic continuation and an abstract functional equation. In the second part, we prove a generalization that accommodates certain non-spherical spaces. As an application, the resulting theory applies to the prehomogeneous vector space underlying Bhargava's cubes, which is also considered by F. Sato and Suzuki-Wakatsuki in their study of toric periods.


title: AI-Driven CT-based quantification, staging and short-term outcome prediction of COVID-19 pneumonia

abstract: Chest computed tomography (CT) is widely used for the management of Coronavirus disease 2019 (COVID-19) pneumonia because of its availability and rapidity. The standard of reference for confirming COVID-19 relies on microbiological tests but these tests might not be available in an emergency setting and their results are not immediately available, contrary to CT. In addition to its role for early diagnosis, CT has a prognostic role by allowing visually evaluating the extent of COVID-19 lung abnormalities. The objective of this study is to address prediction of short-term outcomes, especially need for mechanical ventilation. In this multi-centric study, we propose an end-to-end artificial intelligence solution for automatic quantification and prognosis assessment by combining automatic CT delineation of lung disease meeting performance of experts and data-driven identification of biomarkers for its prognosis. AI-driven combination of variables with CT-based biomarkers offers perspectives for optimal patient management given the shortage of intensive care beds and ventilators.

categories: cs.CV cs.LG eess.IV physics.med-ph q-bio.QM


title: Dynamically accelerated cover times

abstract: Among observables characterising the random exploration of a graph or lattice, the cover time, namely the time to visit every site, continues to attract widespread interest. Much insight about cover times is gained by mapping to the (spaceless) coupon-collector problem, which amounts to ignoring spatio-temporal correlations, and an early conjecture that the limiting cover time distribution of regular random walks on large lattices converges to the Gumbel distribution in $d \geq 3$ was recently proved rigorously. Furthermore, a number of mathematical and numerical studies point to the robustness of the Gumbel universality to modifications of the \textit{spatial} features of the random search processes (e.g.\ introducing persistence and/or intermittence, or changing the graph topology). Here we investigate the robustness of the Gumbel universality to dynamical modification of the \textit{temporal} features of the search, specifically by allowing the random walker to "accelerate" or "decelerate" upon visiting a previously unexplored site. We generalise the mapping mentioned above by relating the statistics of cover times to the roughness of $1/f^\alpha$ Gaussian signals, leading to the conjecture that the Gumbel distribution is but one of a family of cover time distributions, ranging from Gaussian for highly accelerated cover, to exponential for highly decelerated cover. While our conjecture is confirmed by systematic Monte Carlo simulations in dimensions $d > 3$, our results for acceleration in $d=3$ challenge the current understanding of the role of correlations in the cover time problem.


title: A New Qubits Mapping Mechanism for Multi-programming Quantum Computing

abstract: For a specific quantum chip, multi-programming helps to improve overall throughput and resource utilization. However, the previous solutions for mapping multiple programs onto a quantum chip often lead to resource under-utilization, high error rate and low fidelity. In this paper, we propose a new approach to map concurrent quantum programs. Our approach has three critical components. The first one is the Community Detection Assisted Partition (CDAP) algorithm, which partitions physical qubits for concurrent quantum programs by considering both physical typology and the error rates, avoiding the waste of robust resources. The second one is the X-SWAP scheme that enables inter-program SWAP operations to reduce the SWAP overheads. Finally, we propose a compilation task scheduling framework, which dynamically selects concurrent quantum programs to be executed based on estimated fidelity, increasing the throughput of the quantum computer. We evaluate our work on publicly available quantum computer IBMQ16 and a simulated quantum chip IBMQ20. Our work outperforms the previous solution on multi-programming in both fidelity and SWAP overheads by 12.0% and 11.1%, respectively.


title: The energies and ANCs for 5Li resonances deduced from experimental p-$\alpha$ scattering phase shifts using the effective-range and $\Delta$ methods

abstract: Recently a new $\Delta$ method for deducing the energy and asymptotic normalization coefficient (ANC) from phase-shift data has been formulated and applied to resonance states. This differs from the conventional effective-range function (ERF) method by fitting only the nuclear part of the ERF. It also differs from the method which was proposed for bound states by Ram\'irez Su\'arez and Sparenberg (see Ref. below) which also named the $\Delta$ method where a pole condition defines by the Eq. $\Delta_l=0$ ($\Delta_l$ is the function in the ERF determined only by the scattering phase shift). Here the standard pole condition, including the Coulomb part into the relate equation, is used for a resonant state. It has been shown that the ERF method does not work for large-charge colliding nuclei. Moreover, even for lower charges it is not clear that the results of the ERF method are accurately enough. The Coulomb part forms a background, which smooths an ERF energy dependence. Therefore, one needs to find when the ERF method becomes inaccurate and this requires recalculating some published results by the $\Delta$ method. This project has already been started in a recent paper for resonances in the $\alpha$-$\alpha$ scattering. Here this method is applied using the $\Delta_l$-function fittings to the experimental $p$-${}^4$He scattering phase-shift data in the $P_{3/2}$ and $P_{1/2}$ resonance states. The calculation results are compared with those obtained earlier by the ERF method. The main changes concern resonance energy and width.


title: Measuring wage inequality under right censoring

abstract: In this paper we investigate potential changes which may have occurred over the last two decades in the probability mass of the right tail of the wage distribution, through the analysis of the corresponding tail index. In specific, a conditional tail index estimator is introduced which explicitly allows for right tail censoring (top-coding), which is a feature of the widely used current population survey (CPS), as well as of other surveys. Ignoring the top-coding may lead to inconsistent estimates of the tail index and to under or over statements of inequality and of its evolution over time. Thus, having a tail index estimator that explicitly accounts for this sample characteristic is of importance to better understand and compute the tail index dynamics in the censored right tail of the wage distribution. The contribution of this paper is threefold: i) we introduce a conditional tail index estimator that explicitly handles the top-coding problem, and evaluate its finite sample performance and compare it with competing methods; ii) we highlight that the factor values used to adjust the top-coded wage have changed over time and depend on the characteristics of individuals, occupations and industries, and propose suitable values; and iii) we provide an in-depth empirical analysis of the dynamics of the US wage distribution's right tail using the public-use CPS database from 1992 to 2017.


title: Dissociation of heavy quarkonia in a weak magnetic field

abstract: We examined the effects of the weak magnetic field on the dissociation of heavy quarkonia immersed in a thermal medium of quarks and gluons. For that purpose, we have revisited the general structure of gluon self-energy tensor in the presence of a weak magnetic field in thermal medium and obtained the relevant structure functions. The structure functions give the real and imaginary parts of the resummed gluon propagator, which further give the respective dielectric permittivities. The real and imaginary parts of the dielectric permittivity will be used to evaluate the real and imaginary parts of the complex heavy quark potential. The real-part of the potential is found to be more screened, whereas the magnitude of the imaginary-part of the potential gets increased on increasing the value of both temperature and magnetic field. In addition to this, we have observed that the real-part gets slightly more screened while the imaginary part gets increased in the presence of a weak magnetic field as compared to their counterparts in the absence of a magnetic field. The increase in the screening of the real-part of the potential leads to the decrease of binding energies of $J/\Psi$ and $\Upsilon$, whereas the increase in the magnitude of the imaginary part leads to the increase of thermal width with the temperature and magnetic field both. Also the binding energy and thermal width in the presence of weak magnetic field become smaller and larger, respectively, as compared to that in the pure thermal case. We have finally obtained the dissociation temperatures for $J/\Psi$ and $\Upsilon$, which become slightly lower in the presence of weak magnetic field. This observation leads to the slightly early dissociation of quarkonia because of the presence of a weak magnetic field.


title: Poisson-Lie T-Duality of WZW Model via Current Algebra Deformation

abstract: Poisson-Lie T-duality of the Wess-Zumino-Witten (WZW) model having the group manifold of $SU(2)$ as target space is investigated. The whole construction relies on the deformation of the affine current algebra of the model, the semi-direct sum $\mathfrak{su}(2)(\mathbb{R}) \, \dot{\oplus} \, \mathfrak{a}$, to the fully semisimple Kac-Moody algebra $\mathfrak{sl}(2,\mathbb{C})(\mathbb{R})$. A two-parameter family of models with $SL(2,\mathbb{C})$ as target phase space is obtained so that Poisson-Lie T-duality is realised as an $O(3,3)$ rotation in the phase space. The dual family shares the same phase space but its configuration space is $SB(2,\mathbb{C})$, the Poisson-Lie dual of the group $SU(2)$. A parent action with doubled degrees of freedom on $SL(2,\mathbb{C})$ is defined, together with its Hamiltonian description.


title: Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)

abstract: Go is a popular concurrent programming language thanks to its ability to efficiently combine concurrency and systems programming. In Go programs, a number of concurrency bugs can be caused by a mixture of data races and communication problems. In this paper, we develop a theory based on behavioural types to statically detect data races and deadlocks in Go programs. We first specify lock safety and liveness and data race properties over a Go program model, using the happens-before relation defined in the Go memory model. We represent these properties of programs in a $\mu$-calculus model of types, and validate them using type-level model-checking. We then extend the framework to account for Go's channels, and implement a static verification tool which can detect concurrency errors. This is, to the best of our knowledge, the first static verification framework of this kind for the Go language, uniformly analysing concurrency errors caused by a mix of shared memory accesses and asynchronous message-passing communications.