title: Investigation and improvements of the mechanical structure of Cylindrical GEMs for the BESIII experiment

abstract: Gas Electron Multipliers (GEMs) can be produced in large foils and molded in different shapes. The possibility to create cylindrical layers has opened the opportunity to use such detector as internal tracker at collider experiments. One crucial item is to have low material budget in the active area, so the supporting structure of anode and cathode must be light. KLOE2 collaboration has built the first Cylindrical GEM detector with honeycomb material with carbon fiber skins produced at high temperature. BESIII is developing an innovative CGEM detector with charge and time readout. Among several innovative features, the mechanical structure was designed to be a sandwich of Rohacell and Kapton, a PMI foam. After the transportation of a first production of the detectors from the construction site in Italy to the Institute of High Energy Physics in Beijing, some malfunctions have been observed in some of them, compatible with GEMs deformation inside the detector. We have performed a detailed study by means of an industrial CT scan available in IHEP laboratory and autopsy to the damaged detectors. In this talk, we will review the construction process, the shipment, the findings of the investigation. A new supporting structure of carbon fiber and honeycomb, assembled at room temperature, has been designed and developed. The thickness of the carbon fiber is small enough to keep the material budget of a single detector layer below 0.5$\%$ of a radiation length, while the mechanical robustness results beyond the purpose of a detector for HEP. A first detector with such a mechanical structure has been built and shipped to IHEP, preliminary results from operation (e.g. current stability, discharges, temperature and humidity correlation) of the detectors will be also presented in this talk.


title: ILD Benchmark: Search for Extra Scalars Produced in Association with a $Z$ boson at $\sqrt{s}=500$ GeV

abstract: We study the prospects for discovering an extra scalar boson $S^0$ at the International Linear Collider (ILC) based on a full simulation of the International Large Detector (ILD). In order to provide results in an as model-independent way as possible, the analysis uses the recoil of the scalar against a $Z$ boson decaying into a pair of muons, $e^+e^- \to \mu\mu S^{0}$. This process serves as a physics benchmark for the ILD detector performance at $\sqrt{s}=500$ GeV, specifically for the muon ID and momentum resolution, as well as for the identification of initial state radiation photons and their energy measurement. As final results, the sensitivities for discovering the extra scalars at 2 $\sigma$ level are evaluated in terms of a scale factor $\sin^2{\theta}$ with respect to the Standard Model value of the cross section for the Higgs--strahlung process. Two detector models, IDR-L and IDR-S, are considered in the analysis, which differ in radius of the tracking volume, aspect ratio and strength of the magnetic field. While the two detector models show a visible difference in the precision of the reconstructed invariant di-muon mass, no difference is found at the level of the final results.


title: Learning linear modules in a dynamic network using regularized kernel-based methods

abstract: In order to identify one system (module) in an interconnected dynamic network, one typically has to solve a Multi-Input-Single-Output (MISO) identification problem that requires identification of all modules in the MISO setup. For application of a parametric identification method this would require estimating a large number of parameters, as well as an appropriate model order selection step for a possibly large scale MISO problem, thereby increasing the computational complexity of the identification algorithm to levels that are beyond feasibility. An alternative identification approach is presented employing regularized kernel-based methods. Keeping a parametric model for the module of interest, we model the impulse response of the remaining modules in the MISO structure as zero mean Gaussian processes (GP) with a covariance matrix (kernel) given by the first-order stable spline kernel, accounting for the noise model affecting the output of the target module and also for possible instability of systems in the MISO setup. Using an Empirical Bayes (EB) approach the target module parameters are estimated through an Expectation-Maximization (EM) algorithm with a substantially reduced computational complexity, while avoiding extensive model structure selection. Numerical simulations illustrate the potentials of the introduced method in comparison with the state-of-the-art techniques for local module identification.


title: Strong and weak (1, 2, 3) homotopies on knot projections

abstract: A knot projection is an image of a generic immersion from a circle into a two-dimensional sphere. We can find homotopies between any two knot projections by local replacements of knot projections of three types, called Reidemeister moves. This paper defines an equivalence relation for knot projections called weak (1, 2, 3) homotopy, which consists of Reidemeister moves of type 1, weak type 2, and weak type 3. This paper defines the first non-trivial invariant under weak (1, 2, 3) homotopy. We use this invariant to show that there exist an infinite number of weak (1, 2, 3) homotopy equivalence classes of knot projections. By contrast, all equivalence classes of knot projections consisting of the other variants of a triple type, i.e., Reidemeister moves of (1, strong type 2, strong type 3), (1, weak type 2, strong type 3), and (1, strong type 2, weak type 3), are contractible.


title: Positivity-Preserving Adaptive Runge-Kutta Methods

abstract: Many important differential equations model quantities whose value must remain positive or stay in some bounded interval. These bounds may not be preserved when the model is solved numerically. We propose to ensure positivity or other bounds by applying Runge-Kutta integration in which the method weights are adapted in order to enforce the bounds. The weights are chosen at each step after calculating the stage derivatives, in a way that also preserves (when possible) the order of accuracy of the method. The choice of weights is given by the solution of a linear program. We investigate different approaches to choosing the weights by considering adding further constraints. We also provide some analysis of the properties of Runge-Kutta methods with perturbed weights. Numerical examples demonstrate the effectiveness of the approach, including application to both stiff and non-stiff problems.


title: On Kalman-Bucy filters, linear quadratic control and active inference

abstract: Linear Quadratic Gaussian (LQG) control is a framework first introduced in control theory that provides an optimal solution to linear problems of regulation in the presence of uncertainty. This framework combines Kalman-Bucy filters for the estimation of hidden states with Linear Quadratic Regulators for the control of their dynamics. Nowadays, LQG is also a common paradigm in neuroscience, where it is used to characterise different approaches to sensorimotor control based on state estimators, forward and inverse models. According to this paradigm, perception can be seen as a process of Bayesian inference and action as a process of optimal control. Recently, active inference has been introduced as a process theory derived from a variational approximation of Bayesian inference problems that describes, among others, perception and action in terms of (variational and expected) free energy minimisation. Active inference relies on a mathematical formalism similar to LQG, but offers a rather different perspective on problems of sensorimotor control in biological systems based on a process of biased perception. In this note we compare the mathematical treatments of these two frameworks for linear systems, focusing on their respective assumptions and highlighting their commonalities and technical differences.


title: On Idle Energy Consumption Minimization in Production: Industrial Example and Mathematical Model

abstract: This paper, inspired by a real production process of steel hardening, investigates a scheduling problem to minimize the idle energy consumption of machines. The energy minimization is achieved by switching a machine to some power-saving mode when it is idle. For the steel hardening process, the mode of the machine (i.e., furnace) can be associated with its inner temperature. Contrary to the recent methods, which consider only a small number of machine modes, the temperature in the furnace can be changed continuously, and so an infinite number of the power-saving modes must be considered to achieve the highest possible savings. To model the machine modes efficiently, we use the concept of the energy function, which was originally introduced in the domain of embedded systems but has yet to take roots in the domain of production research. The energy function is illustrated with several application examples from the literature. Afterward, it is integrated into a mathematical model of a scheduling problem with parallel identical machines and jobs characterized by release times, deadlines, and processing times. Numerical experiments show that the proposed model outperforms a reference model adapted from the literature.


title: Generalized entropies and corresponding holographic dark energy models

abstract: Using Tsallis statistics and its relation with Boltzmann entropy, the Tsallis entropy content of black holes is achieved, a result in full agreement with a recent study (Phys. Lett. B 794, 24 (2019)). In addition, employing Kaniadakis statistics and its relation with that of Tsallis, the Kaniadakis entropy of black holes is obtained. The Sharma-Mittal and R\'{e}nyi entropy contents of black holes are also addressed by employing their relations with Tsallis entropy. Thereinafter, relying on the holographic dark energy hypothesis and the obtained entropies, two new holographic dark energy models are introduced and their implications on the dynamics of a flat FRW universe are studied when there is also a pressureless fluid in background. In our setup, the apparent horizon is considered as the IR cutoff, and there is not any mutual interaction between the cosmic fluids. The results indicate that the obtained cosmological models have $i$) notable powers to describe the cosmic evolution from the matter-dominated era to the current accelerating universe, and $ii$) suitable predictions for the universe age.


title: On the relation of truncation and approximation errors for the set of solutions obtained by different numerical methods

abstract: The truncation and approximation errors for the set of numerical solutions computed by methods based on the algorithms of different structure are calculated and analyzed for the case of the two-dimensional steady inviscid compressible flow. The truncation errors are calculated using a special postprocessor, while the approximation errors are obtained by the comparison of the numerical solution and the analytic one. The extent of the independence of errors for the numerical solutions may be estimated via the Pearson correlation coefficient that may be geometrically expressed by the angle between errors. Due to this reason, the angles between the approximation errors are computed and related with the corresponding angles between the truncation errors. The angles between the approximation errors are found to be far from zero that enables a posteriori estimation of the error norm. The analysis of the distances between these solutions provides another approach to the estimation of the error. The comparison of the error norms, obtained by these two procedures, is provided that demonstrates the acceptable values of their effectivity indices. The results of the approximation error norm estimation for the supersonic flows, containing shock waves, are presented. The measure concentration phenomenon and the algorithmic randomness give some insights into these results.


title: Zwicky Transient Facility constraints on the optical emission from the nearby repeating FRB 180916.J0158+65

abstract: The discovery rate of fast radio bursts (FRBs) is increasing dramatically thanks to new radio facilities. Meanwhile, wide-field instruments such as the 47 deg$^2$ Zwicky Transient Facility (ZTF) survey the optical sky to study transient and variable sources. We present serendipitous ZTF observations of the CHIME repeating source FRB 180916.J0158+65, that was localized to a spiral galaxy 149 Mpc away and is the first FRB suggesting periodic modulation in its activity. While 147 ZTF exposures corresponded to expected high-activity periods of this FRB, no single ZTF exposure was at the same time as a CHIME detection. No $>3\sigma$ optical source was found at the FRB location in 683 ZTF exposures, totalling 5.69 hours of integration time. We combined ZTF upper limits and expected repetitions from FRB 180916.J0158+65 in a statistical framework using a Weibull distribution, agnostic of periodic modulation priors. The analysis yielded a constraint on the ratio between the optical and radio fluences of $\eta \lesssim 200$, corresponding to an optical energy $E_{\rm opt} \lesssim 3 \times 10^{46}$ erg for a fiducial 10 Jy ms FRB (90% confidence). A deeper (but less statistically robust) constraint of $\eta \lesssim 3$ can be placed assuming a rate of $r(>5$ Jy ms)= hr$^{-1}$ and $1.2\pm 1.1$ FRB occurring during exposures taken in high-activity windows. The constraint can be improved with shorter per-image exposures and longer integration time, or observing FRBs at higher Galactic latitudes. This work demonstrated how current surveys can statistically constrain multi-wavelength counterparts to FRBs even without deliberately scheduled simultaneous radio observation.


title: Yet Another Comparison of SAT Encodings for the At-Most-K Constraint

abstract: The at-most-k constraint is ubiquitous in combinatorial problems, and numerous SAT encodings are available for the constraint. Prior experiments have shown the competitiveness of the sequential-counter encoding for k $>$ 1, and have excluded the parallel-counter encoding, which is more compact that the binary-adder encoding, from consideration due to its incapability of enforcing arc consistency through unit propagation. This paper presents an experiment that shows astounding performance of the binary-adder encoding for the at-most-k constraint.


title: A Gauche perspective on row reduced echelon form and its uniqueness

abstract: Using a left-to-right "sweeping" algorithm, we define the \emph{Gauche basis} for the column space of a matrix $M$. By means of the Gauche basis we interpret the row reduced echelon form of $M$, and give a direct proof of its uniqueness. We conclude with pedagogical reflections.


title: Byzantine-Robust Decentralized Stochastic Optimization over Static and Time-Varying Networks

abstract: In this paper, we consider the Byzantine-robust stochastic optimization problem defined over decentralized static and time-varying networks, where the agents collaboratively minimize the summation of expectations of stochastic local cost functions, but some of the agents are unreliable due to data corruptions, equipment failures or cyber-attacks. The unreliable agents, which are called as Byzantine agents thereafter, can send faulty values to their neighbors and bias the optimization process. Our key idea to handle the Byzantine attacks is to formulate a total variation (TV) norm-penalized approximation of the Byzantine-free problem, where the penalty term forces the local models of regular agents to be close, but also allows the existence of outliers from the Byzantine agents. A stochastic subgradient method is applied to solve the penalized problem. We prove that the proposed method reaches a neighborhood of the Byzantine-free optimal solution, and the size of neighborhood is determined by the number of Byzantine agents and the network topology. Numerical experiments corroborate the theoretical analysis, as well as demonstrate the robustness of the proposed method to Byzantine attacks and its superior performance comparing to existing methods.


title: Uncertainty Inference with Applications to Control and Decision

abstract: In many areas of engineering and sciences, decision rules and control strategies are usually designed based on nominal values of relevant system parameters. To ensure that a control strategy or decision rule will work properly when the relevant parameters vary within certain range, it is crucial to investigate how the performance measure is affected by the variation of system parameters. In this paper, we demonstrate that such issue boils down to the study of the variation of functions of uncertainty. Motivated by this vision, we propose a general theory for inferring function of uncertainties. By virtue of such theory, we investigate concentration phenomenon of random vectors. We derive uniform exponential inequalities and multidimensional probabilistic inequalities for random vectors, which are substantially tighter as compared to existing ones. The probabilistic inequalities are applied to investigate the performance of control systems with real parametric uncertainty. It is demonstrated much more useful insights of control systems can be obtained. Moreover, the probabilistic inequalities offer performance analysis in a significantly less conservative way as compared to the classical deterministic worst-case method.


title: A Survey on Patch-based Synthesis: GPU Implementation and Optimization

abstract: This thesis surveys the research in patch-based synthesis and algorithms for finding correspondences between small local regions of images. We additionally explore a large kind of applications of this new fast randomized matching technique. One of the algorithms we have studied in particular is PatchMatch, can find similar regions or "patches" of an image one to two orders of magnitude faster than previous techniques. The algorithmic program is driven by applying mathematical properties of nearest neighbors in natural images. It is observed that neighboring correspondences tend to be similar or "coherent" and use this observation in algorithm in order to quickly converge to an approximate solution. The algorithm is the most general form can find k-nearest neighbor matching, using patches that translate, rotate, or scale, using arbitrary descriptors, and between two or more images. Speed-ups are obtained over various techniques in an exceeding range of those areas. We have explored many applications of PatchMatch matching algorithm. In computer graphics, we have explored removing unwanted objects from images, seamlessly moving objects in images, changing image aspect ratios, and video summarization. In computer vision we have explored denoising images, object detection, detecting image forgeries, and detecting symmetries. We conclude by discussing the restrictions of our algorithmic program, GPU implementation and areas for future analysis.


title: Failure Mode Reasoning in Model Based Safety Analysis

abstract: Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of the SIS. In this paper we use a case study from the power industry to demonstrate how FMR can be utilized in conjunction with other model-based safety analysis methods, such as HiP-HOPS and CFT, in order to achieve a comprehensive safety analysis of SIS. In this case study, FMR covers the analysis of SIS inputs while HiP-HOPS/CFT models the faults of logic solver and final elements. The SIS program is analyzed by FMR and the results are exported to HiP-HOPS/CFT via automated interfaces. The final outcome is the collective list of SIS failure modes along with their reliability measures. We present and review the results from both qualitative and quantitative perspectives.


title: Ansatz for the Jahn-Teller triplet instability

abstract: A threefold degenerate electronic state is Jahn-Teller unstable with respect to symmetry lowering distortions, which transform as the five quadrupolar modes. The solution of the corresponding vibronic Hamiltonian is constructed using the analytical method introduced by Bargmann, as an alternative to existing group-theoretical methods based on coefficients of fractional parentage. It involves the construction of an Ansatz which incorporates SO(5) to SO(3) symmetry breaking. The resulting Jahn-Teller equations are derived, and solved in terms of radial polynomials and Gegenbauer functions.


title: Coherent transfer of topological domain walls

abstract: We demonstrate the controlled coherent transfer of topological domain walls in a one-dimensional non-Hermitian chain of interacting Bose-Einstein condensates. The topological protection stems from a spatially patterned pump in an open-dissipative system. As a testbed setup of the proposed phenomenon, we consider a chain of coupled micropillars with embedded quantum wells, possessing exciton-polariton resonances. The transfer of a domain wall is driven by spatially localised, adiabatic pump modulation in the vicinity of the domain wall. The stochastic calculations prove the coherent nature of the domain wall transfer. For appropriate system parameters the coherence degree is preserved after multiple transitions, paving the way towards long-range transfer of a coherent quantum state.


title: Smart To-Do : Automatic Generation of To-Do Items from Emails

abstract: Intelligent features in email service applications aim to increase productivity by helping people organize their folders, compose their emails and respond to pending tasks. In this work, we explore a new application, Smart-To-Do, that helps users with task management over emails. We introduce a new task and dataset for automatically generating To-Do items from emails where the sender has promised to perform an action. We design a two-stage process leveraging recent advances in neural text generation and sequence-to-sequence learning, obtaining BLEU and ROUGE scores of 0:23 and 0:63 for this task. To the best of our knowledge, this is the first work to address the problem of composing To-Do items from emails.


title: Split Ga vacancies and the unusually strong anisotropy of positron annihilation spectra in $\boldsymbol{\beta}$-Ga$_2$O$_3$

abstract: We report a systematic first principles study on positron annihilation parameters in the $\beta$-Ga$_2$O$_3$ lattice and Ga mono-vacancy defects complemented with orientation-dependent experiments of the Doppler broadening of the positron-electron annihilation. We find that both the $\beta$-Ga$_2$O$_3$ lattice and the considered defects exhibit unusually strong anisotropy in their Doppler broadening signals. This anisotropy is associated with low symmetry of the $\beta$-Ga$_2$O$_3$ crystal structure that leads to unusual kind of one-dimensional confinement of positrons even in the delocalized state in the lattice. In particular, the split Ga vacancies recently observed by scanning transmission electron microscopy produce unusually anisotropic positron annihilation signals. We show that in experiments, the positron annihilation signals in $\beta$-Ga$_2$O$_3$ samples seem to be often dominated by split Ga vacancies.


title: Pruning coupled with learning, ensembles of minimal neural networks, and future of XAI

abstract: Pruning coupled with learning aims to optimize the neural network (NN) structure for solving specific problems. This optimization can be used for various purposes: to prevent overfitting, to save resources for implementation and training, to provide explainability of the trained NN, and many others. The minimal structure that cannot be pruned further is not unique. Ensemble of minimal structures can be used as a committee of intellectual agents that solves problems by voting. Each minimal NN presents an "empirical knowledge" about the problem and can be verbalized. The non-uniqueness of such knowledge extracted from data is an important property of data-driven Artificial Intelligence (AI). In this work, we review an approach to pruning based on the principle: What controls training should control pruning. This principle is expected to work both for artificial NN and for selection and modification of important synaptic contacts in brain. In back-propagation artificial NN learning is controlled by the gradient of loss functions. Therefore, the first order sensitivity indicators are used for pruning and the algorithms based on these indicators are reviewed. The notion of logically transparent NN was introduced. The approach was illustrated on the problem of political forecasting: predicting the results of the US presidential election. Eight minimal NN were produced that give different forecasting algorithms. The non-uniqueness of solution can be utilised by creation of expert panels (committee). Another use of NN pluralism is to identify areas of input signals where further data collection is most useful. In Conclusion, we discuss the possible future of widely advertised XAI program.


title: Bisimulation Finiteness of Pushdown Systems Is Elementary

abstract: We show that in case a pushdown system is bisimulation equivalent to a finite system, there is already a bisimulation equivalent finite system whose size is elementarily bounded in the description size of the pushdown system. As a consequence we obtain that it is elementarily decidable if a given pushdown system is bisimulation equivalent to some finite system. This improves a previously best-known ACKERMANN upper bound for this problem.


title: Dynamics of the COVID-19 pandemic in India

abstract: Understanding the dynamics of the COVID-19 pandemic is crucial for improved control and social distancing strategies. To that effect, we have employed the susceptible-exposed-infectious-recovered model, refined by contact tracing and hospitalization data from Indian provinces Kerala, Delhi, Maharashtra, and West Bengal, as well as from overall India. We have performed a sensitivity analysis to identify the most crucial input parameters, and we have calibrated the model to describe the data as best as possible. Short-term predictions reveal an increasing and worrying trend of COVID-19 cases for all four provinces and India as a whole, while long-term predictions also reveal the possibility of oscillatory dynamics. Our research thus leaves the option open that COVID-19 might become a seasonal occurrence. We also simulate and discuss the impact of media on the dynamics of the COVID-19 pandemic.


title: Expansion of EYM Amplitudes in Gauge Invariant Vector Space

abstract: Motivated by the problem of expanding single-trace tree-level amplitude of Einstein-Yang-Mills theory to the BCJ basis of Yang-Mills amplitudes, we present an alternative expansion formula in the gauge invariant vector space. Starting from a generic vector space consisting of polynomials of momenta and polarization vectors, we define a new sub-space as gauge invariant vector space by imposing constraints of gauge invariant conditions. To characterize this sub-space, we compute its dimension and construct an explicit gauge invariant basis from it. We propose an expansion formula in the gauge invariant basis with expansion coefficients being linear combinations of Yang-Mills amplitude, manifesting the gauge invariance of both expansion basis and coefficients. With help of quivers, we compute the expansion coefficients via differential operators and demonstrate the general expansion algorithm by several examples.


title: Large amplitude electromagnetic solitons in a fully relativistic magnetized electron-positron-pair plasma

abstract: Nonlinear propagation of purely stationary large amplitude electromagnetic (EM) solitary waves in a magnetized electron-positron (EP) plasma is studied using a fully relativistic two-fluid hydrodynamic model which accounts for physical regimes of both weakly relativistic $(P\ll nmc^2)$ and ultrarelativistic $(P\gg nmc^2)$ random thermal energies. Here, $P$ is the thermal pressure, $n$ the number density and $m$ the mass of a particle, and $c$ is the speed of light in vacuum. Previous theory in the literature [Phys. Plasmas \textbf{11}, 3078 (2004)] is advanced and generalized by the relativistic thermal motion of both electrons and positrons. While both the sub-Alfv{\'e}nic and super-Alfv{\'e}nic solitons coexist in the weakly relativistic regime, the ultrarelativistic EP plasmas in contrast support only the sub-Alfv{\'e}nic solitons. Different limits of the Mach numbers and soliton amplitudes are also examined in these two physical regimes.


title: Sustaining a temperature difference

abstract: We derive an expression for the minimal rate of entropy that sustains two reservoirs at different temperatures $T_0$ and $T_\ell$. The law displays an intuitive $\ell^{-1}$ dependency on the relative distance and a characterisic $\log^2 (T_\ell/T_0)$ dependency on the boundary temperatures. First we give a back-of-envelope argument based on the Fourier Law (FL) of conduction, showing that the least-dissipation profile is exponential. Then we revisit a model of a chain of oscillators, each coupled to a heat reservoir. In the limit of large damping we reobtain the exponential and squared-log behaviors, providing a self-consistent derivation of the FL. For small damping "equipartition frustration" leads to a well-known balistic behaviour, whose incompatibility with the FL posed a long-time challenge.


title: An Alexander type invariant for doodles

abstract: We construct an Alexander type invariant for oriented doodles from a deformation of the Tits representation of the twin group and from the Chebyshev polynomials of second kind. Similar to the Alexander polynomial, our invariant vanishes on unlinked doodles with more than one component. We also include values of our invariant on several doodles.


title: Levitation Simulator: Prototyping Ultrasonic Levitation Interfaces in Virtual Reality

abstract: We present the Levitation Simulator, a system that enables researchers and designers to iteratively develop and prototype levitation interface ideas in Virtual Reality. This includes user tests and formal experiments. We derive a model of the movement of a levitating particle in such an interface. Based on this, we develop an interactive simulation of the levitation interface in VR, which exhibits the dynamical properties of the real interface. The results of a Fitts' Law pointing study show that the Levitation Simulator enables performance, comparable to the real prototype. We developed the first two interactive games, dedicated for levitation interfaces: LeviShooter and BeadBounce, in the Levitation Simulator, and then implemented them on the real interface. Our results indicate that participants experienced similar levels of user engagement when playing the games, in the two environments. We share our Levitation Simulator as Open Source, thereby democratizing levitation research, without the need for a levitation apparatus.


title: HaptiRead: Reading Braille as Mid-Air Haptic Information

abstract: Mid-air haptic interfaces have several advantages - the haptic information is delivered directly to the user, in a manner that is unobtrusive to the immediate environment. They operate at a distance, thus easier to discover; they are more hygienic and allow interaction in 3D. We validate, for the first time, in a preliminary study with sighted and a user study with blind participants, the use of mid-air haptics for conveying Braille. We tested three haptic stimulation methods, where the haptic feedback was either: a) aligned temporally, with haptic stimulation points presented simultaneously (Constant); b) not aligned temporally, presenting each point independently (Point-By-Point); or c) a combination of the previous methodologies, where feedback was presented Row-by-Row. The results show that mid-air haptics is a viable technology for presenting Braille characters, and the highest average accuracy (94% in the preliminary and 88% in the user study) was achieved with the Point-by-Point method.


title: R2RML and RML Comparison for RDF Generation, their Rules Validation and Inconsistency Resolution

abstract: In this paper, an overview of the state of the art on knowledge graph generation is provided, with focus on the two prevalent mapping languages: the W3C recommended R2RML and its generalisation RML. We look into details on their differences and explain how knowledge graphs, in the form of RDF graphs, can be generated with each one of the two mapping languages. Then we assess if the vocabulary terms were properly applied to the data and no violations occurred on their use, either using R2RML or RML to generate the desired knowledge graph.


title: Dark Matter Abundance from Sequential Freeze-in Mechanism

abstract: We present a thorough analysis of the sequential freeze-in mechanism for dark matter production in the early universe. In this mechanism the dark matter relic density results from pair annihilation of mediator particles which are themselves produced by thermal collisions of standard model particles. Below some critical value of the mediator coupling to standard model fields, this sequential channel dominates over the usual freeze-in where dark matter is directly produced from thermal collisions, even when the mediator is not in thermal equilibrium. The latter case requires computing the full non-thermal distribution of the mediators, for which finite temperature corrections are particularly important.


title: A Two-fluid Model for Plasma with Prandtl Number Correction

abstract: A two-fluid model is derived from the plasma kinetic equations using the moment model reduction method. The moment method we adopt was recently developed with a globally hyperbolic regularization where the moment model attained is locally well-posed in time. Based on the hyperbolic moment model with well-posedness, the Maxwellian iteration method is utilized to get the closure relations for the resulted two-fluid model. By taking the Shakhov collision operator in the Maxwellian iteration, the two-fluid model inherits the correct Prandtl number from the plasma kinetic equations. The new model is formally the same as the five-moment two-fluid model except for the closure relations, where the pressure tensor is anisotropic and the heat flux is presented. This provides the model the capacity to depict problems with anisotropic pressure tensor and large heat flux.


title: Stability analysis of an interacting holographic dark energy model

abstract: The present work deals with dynamical system analysis of Holographic Dark Energy cosmological model with different infra-red (IR)-cutoff. By suitable transformation of variables the Einstein field equations are converted to an autonomous system. The critical points are determined and the stability of the equilibrium points are examined by Center Manifold Theory and Liapunov function method. Possible bifurcation scenarios have also been explained.


title: A numerical simulation of the COVID-19 epidemic in Argentina using the SEIR model

abstract: A pandemic caused by a new coronavirus has spread worldwide, affecting Argentina. We implement an SEIR model to analyze the disease evolution in Buenos Aires and neighbouring cities. The model parameters are calibrated using the number of casualties officially reported. Since infinite solutions honour the data, we show different cases. In all of them the reproduction ratio $R_0$ decreases after early lockdown, but then raises, probably due to an increase in contagion in highly populated slums. Therefore it is mandatory to reverse this growing trend in $R_0$ by applying control strategies to avoid a high number of infectious and dead individuals. The model provides an effective procedure to estimate epidemic parameters (fatality rate, transmission probability, infection and incubation periods) and monitor control measures during the epidemic evolution.


title: Effective Wave Factorization for a Stochastic Schr\"{o}dinger Equation

abstract: We study the homogenization of a stochastic Schr\"odinger equation with a large periodic potential in solid state physics. Denoting by $\varepsilon$ the period, the potential is scaled as $\varepsilon^{-2}$. Under a generic assumption on the spectral properties of the associated cell problem, we prove that the solution can be approximately factorized as the product of a fast oscillating cell eigenfunction and of a slowly varying solution of an effective equation. Our method is based on two-scale convergence and Bloch waves theory.


title: Some Model Theory of Guarded Negation

abstract: The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In this paper we study the model theory of GNFO formulas. Our results include effective preservation theorems for GNFO, effective Craig Interpolation and Beth Definability results, and the ability to express the certain answers of queries with respect to a large class of GNFO sentences within very restricted logics. This version of the paper contains streamlined and corrected versions of results concerning entailment of a conjunctive query from a set of ground facts and a theory consisting of GNFO sentences of a special form ("dependencies").


title: Long-range magnetic order in the ${\tilde S}=1/2$ triangular lattice antiferromagnet KCeS$_2$

abstract: Recently, several putative quantum spin liquid (QSL) states were discovered in ${\tilde S} = 1/2$ rare-earth based triangular-lattice antiferromagnets (TLAF) with the delafossite structure. A way to clarify the origin of the QSL state in these systems is to identify ways to tune them from the putative QSL state towards long-range magnetic order. Here, we introduce the Ce-based TLAF KCeS$_2$ and show via low-temperature specific heat and $\mu$SR investigations that it yields magnetic order below $T_{\mathrm N} = 0.38$ K despite the same delafossite structure. We identify a well separated ${\tilde S} = 1/2$ ground state for KCeS$_2$ from inelastic neutron scattering and embedded-cluster quantum chemical calculations. Magnetization and electron spin resonance measurements on single crystals indicate a strong easy-plane $g$~factor anisotropy, in agreement with the ab initio calculations. Finally, our specific-heat studies reveal an in-plane anisotropy of the magnetic field-temperature phase diagram which may indicate anisotropic magnetic interactions in KCeS$_2$.


title: LeviCursor: Dexterous Interaction with a Levitating Object

abstract: We present LeviCursor, a method for interactively moving a physical, levitating particle in 3D with high agility. The levitating object can move continuously and smoothly in any direction. We optimize the transducer phases for each possible levitation point independently. Using precomputation, our system can determine the optimal transducer phases within a few microseconds and achieves round-trip latencies of 15 ms. Due to our interpolation scheme, the levitated object can be controlled almost instantaneously with sub-millimeter accuracy. We present a particle stabilization mechanism which ensures the levitating particle is always in the main levitation trap. Lastly, we conduct the first Fitts' law-type pointing study with a real 3D cursor, where participants control the movement of the levitated cursor between two physical targets. The results of the user study demonstrate that using LeviCursor, users reach performance comparable to that of a mouse pointer.


title: Oblivion of Online Reputation: How Time Cues Improve Online Recruitment

abstract: In online crowdsourcing labour markets, employers decide which job-seekers to hire based on their reputation profiles. If reputation systems neglect the aspect of time when displaying reputation profiles, though, employers risk taking false decisions, deeming an obsolete reputation to be still relevant. As a consequence, job-seekers might be unwarrantedly deprived of getting hired for new jobs and can be harmed in their professional careers in the long-run. This paper argues that exposing employers to the temporal context of job-seekers' reputation leads to better hiring decisions. The visible temporal context in reputation systems helps employers to ignore a job-seeker's obsolete reputation. An experimental lab study with 335 students shows that current reputation systems fall short of making them aware of obsolete reputation. In contrast, graphical time cues improve the social efficiency of hiring decisions.


title: Meta-Research: COVID-19 medical papers have fewer women first authors than expected

abstract: The COVID-19 pandemic has resulted in school closures and distancing requirements that have disrupted both work and family life for many. Concerns exist that these disruptions caused by the pandemic may not have influenced men and women researchers equally. Many medical journals have published papers on the pandemic, which were generated by researchers facing the challenges of these disruptions. Here we report the results of an analysis that compared the gender distribution of authors on 1,893 medical papers related to the pandemic with that on papers published in the same journals in 2019, for papers with first authors and last authors from the United States. Using mixed-effects regression models, we estimated that the proportion of COVID-19 papers with a woman first author was 19% lower than that for papers published in the same journals in 2019, while our comparisons for last authors and overall proportion of women authors per paper were inconclusive. A closer examination suggested that women's representation as first authors of COVID-19 research was particularly low for papers published in March and April 2020. Our findings are consistent with the idea that the research productivity of women, especially early-career women, has been affected more than the research productivity of men.


title: Density in categorical topology via quantaloid-enriched categories

abstract: Based on Garner's discovery that topological categories are total categories enriched in a quantaloid, this paper presents a series of results related to initial and final density in categorical topology via (co)density in quantaloid-enriched categories, focusing on (co-)Sierpi\'{n}ski objects, Galois correspondences and their fixed points.


title: Binarizing MobileNet via Evolution-based Searching

abstract: Binary Neural Networks (BNNs), known to be one among the effectively compact network architectures, have achieved great outcomes in the visual tasks. Designing efficient binary architectures is not trivial due to the binary nature of the network. In this paper, we propose a use of evolutionary search to facilitate the construction and training scheme when binarizing MobileNet, a compact network with separable depth-wise convolution. Inspired by one-shot architecture search frameworks, we manipulate the idea of group convolution to design efficient 1-Bit Convolutional Neural Networks (CNNs), assuming an approximately optimal trade-off between computational cost and model accuracy. Our objective is to come up with a tiny yet efficient binary neural architecture by exploring the best candidates of the group convolution while optimizing the model performance in terms of complexity and latency. The approach is threefold. First, we train strong baseline binary networks with a wide range of random group combinations at each convolutional layer. This set-up gives the binary neural networks a capability of preserving essential information through layers. Second, to find a good set of hyperparameters for group convolutions we make use of the evolutionary search which leverages the exploration of efficient 1-bit models. Lastly, these binary models are trained from scratch in a usual manner to achieve the final binary model. Various experiments on ImageNet are conducted to show that following our construction guideline, the final model achieves 60.09% Top-1 accuracy and outperforms the state-of-the-art CI-BCNN with the same computational cost.


title: A possible simultaneous fit to the available $e^+e^- \rightarrow \Lambda^+_c \bar{\Lambda}^-_c$ cross section data nearby $\psi(4660)$ by means of a strong correction to the Coulomb enhancement factor

abstract: There are two available set of data on the $e^+e^- \rightarrow \Lambda^+_c \bar{\Lambda}_c^-$ cross section above threshold. The BELLE measurement, with ISR return, is compatible with the presence of a resonant state, called $\psi(4660)$ (formerly known as $Y(4660)$), observed also in other final states. The BESIII dataset has shown a different trend, with a flat cross section. We propose a new solution to fit both datasets by means of a strong correction to the Coulomb enhancement factor. Mass and width of the resonant state is extracted.


title: Absence of nematic quasi-long-range order in two-dimensional liquid crystals with three director components

abstract: The Lebwohl-Lasher model describes the isotropic-nematic transition in liquid crystals. In two dimensions, where its continuous symmetry cannot break spontaneously, it is investigated numerically since decades to verify, in particular, the conjecture of a topological transition leading to a nematic phase with quasi-long-range order. We use scale invariant scattering theory to exactly determine the renormalization group fixed points in the general case of $N$ director components ($RP^{N-1}$ model), which yields the Lebwohl-Lasher model for $N=3$. For $N>2$ we show the absence of quasi-long-range order and the presence of a zero temperature critical point in the universality class of the $O(N(N+1)/2-1)$ model. For $N=2$ the fixed point equations yield the Berezinskii-Kosterlitz-Thouless transition required by the correspondence $RP^1\sim O(2)$.

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


title: Hamiltonicity of a coprime graph

abstract: The $k$-coprime graph of order $n$ is the graph with vertex set $\{k, k+1, \ldots, k+n-1\}$ in which two vertices are adjacent if and only if they are coprime. We characterize Hamiltonian $k$-coprime graphs. As a particular case, two conjectures by Tout, Dabboucy, Howalla (1982) and by Schroeder (2019) on prime labeling of $2$-regular graphs follow. A prime labeling of a graph with $n$ vertices is a labeling of its vertices with distinct integers from $\{1, 2,\ldots , n\}$ in such a way that the labels of any two adjacent vertices are relatively prime.


title: Nonsingular Bernoulli actions of arbitrary Krieger type

abstract: We prove that every infinite amenable group admits Bernoulli actions of any possible Krieger type, including type $II_\infty$ and type $III_0$. We obtain this result as a consequence of general results on the ergodicity and Krieger type of nonsingular Bernoulli actions $G \curvearrowright \prod_{g \in G} (X_0,\mu_g)$ with arbitrary base space $X_0$, both for amenable and for nonamenable groups. Earlier work focused on two point base spaces $X_0 = \{0,1\}$, where type $II_\infty$ was proven not to occur.


title: The changing circumgalactic medium over the last 10 Gyr I: physical and dynamical properties

abstract: We present an analysis of the physical and dynamical states of two sets of EAGLE zoom simulations of galaxy haloes, one at high redshift ($z=2-3$) and the other at low redshift ($z=0$), with masses of $\approx 10^{12} M_{\odot}$. Our focus is how the circumgalactic medium (CGM) of these $L^*$ star-forming galaxies change over the last 10 Gyr. We find that the high-$z$ CGM is almost equally divided between the "cool" ($T<10^5$ K) and "hot" ($T\geq 10^5$ K) phases, while the low-$z$ hot CGM phase contains $5\times$ more mass. The high-$z$ hot CGM contains 60% more metals than the cool CGM, while the low-$z$ cool CGM contains 35% more metals than the hot CGM content. The metals are evenly distributed radially between the hot and cool phases throughout the high-$z$ CGM. At high $z$, the CGM volume is dominated by hot outflows, cool gas is mainly inflowing, but cool metals are flowing outward. At low $z$, the cool metals dominate the interior and the hot metals are more prevalent at larger radii. The low-$z$ cool CGM has tangential motions consistent with rotational support out to $0.2 R_{200}$, often exhibiting $r \approx 40$ kpc disc-like structures. The low-$z$ hot CGM has several times greater angular momentum than the cool CGM, and a more flattened radial density profile than the high-$z$ hot CGM. This study verifies that, just as galaxies demonstrate significant evolutionary stages over cosmic time, the gaseous haloes surrounding them also undergo considerable changes of their own both in physical characteristics of density, temperature and metallicity, and dynamic properties of velocity and angular momentum.


title: Fully Online Matching II: Beating Ranking and Water-filling

abstract: Karp, Vazirani, and Vazirani (STOC 1990) initiated the study of online bipartite matching, which has held a central role in online algorithms ever since. Of particular importance are the Ranking algorithm for integral matching and the Water-filling algorithm for fractional matching. Most algorithms in the literature can be viewed as adaptations of these two in the corresponding models. Recently, Huang et al.~(STOC 2018, SODA 2019) introduced a more general model called \emph{fully online matching}, which considers general graphs and allows all vertices to arrive online. They also generalized Ranking and Water-filling to fully online matching and gave some tight analysis: Ranking is $\Omega \approx 0.567$-competitive on bipartite graphs where the $\Omega$-constant satisfies $\Omega e^\Omega = 1$, and Water-filling is $2-\sqrt{2} \approx 0.585$-competitive on general graphs. We propose fully online matching algorithms strictly better than Ranking and Water-filling. For integral matching on bipartite graphs, we build on the online primal dual analysis of Ranking and Water-filling to design a $0.569$-competitive hybrid algorithm called Balanced Ranking. To our knowledge, it is the first integral algorithm in the online matching literature that successfully integrates ideas from Water-filling. For fractional matching on general graphs, we give a $0.592$-competitive algorithm called Eager Water-filling, which may match a vertex on its arrival. By contrast, the original Water-filling algorithm always matches vertices at their deadlines. Our result for fractional matching further shows a separation between fully online matching and the general vertex arrival model by Wang and Wong (ICALP 2015), due to an upper bound of $0.5914$ in the latter model by Buchbinder, Segev, and Tkach (ESA 2017).


title: Reasoning with Latent Structure Refinement for Document-Level Relation Extraction

abstract: Document-level relation extraction requires integrating information within and across multiple sentences of a document and capturing complex interactions between inter-sentence entities. However, effective aggregation of relevant information in the document remains a challenging research question. Existing approaches construct static document-level graphs based on syntactic trees, co-references or heuristics from the unstructured text to model the dependencies. Unlike previous methods that may not be able to capture rich non-local interactions for inference, we propose a novel model that empowers the relational reasoning across sentences by automatically inducing the latent document-level graph. We further develop a refinement strategy, which enables the model to incrementally aggregate relevant information for multi-hop reasoning. Specifically, our model achieves an F1 score of 59.05 on a large-scale document-level dataset (DocRED), significantly improving over the previous results, and also yields new state-of-the-art results on the CDR and GDA dataset. Furthermore, extensive analyses show that the model is able to discover more accurate inter-sentence relations.


title: Stealth Communication with Vanishing Power over Binary Symmetric Channels

abstract: A framework for stealth communication with vanishing power (VP) is presented by studying binary symmetric channels. Coding theorems are proved by modifying Gallager's error exponents for VP and by applying resolvability exponents. The analysis unifies and generalizes existing rate bounds for covert and stealth communication.


title: Accuracy Characterization of the Vehicle State Estimation from Aerial Imagery

abstract: Due to their capability of acquiring aerial imagery, camera-equipped Unmanned Aerial Vehicles (UAVs) are very cost-effective tools for acquiring traffic information. However, not enough attention has been given to the validation of the accuracy of these systems. In this paper, an analysis of the most significant sources of error is done. This includes three key components. First, a vehicle state estimation by means of statistical filtering. Second, a quantification of the most significant sources of error. Third, a benchmark of the estimated state compared with state-of-the-art reference sensors. This work presents ways to minimize the errors of the most relevant sources. With these error reductions, camera-equipped UAVs are very attractive tools for traffic data acquisition. The test data and the source code are made publicly available.


title: Coexistence of planar and aplanar rotations in $^{195}$Tl

abstract: The chirality suggested for the doublet bands B2 and B2a in $^{195}$Tl in $A\sim190$ region is reexamined. The potential-energy curves and the configurations together with the deformation parameters are obtained by the constrained covariant density functional theory. The corresponding experimental energy spectra, energy differences between doublet bands, and the available $B(M1)/B(E2)$ values are investigated by the fully quantal particle rotor model. Analysis on the basis of the angular momentum components, the $K$-plots, and the azimuthal plots suggest a planar rotation interpretation for the bands B2 and B2a. Hence, it coexists with the aplanar rotation in the other doublet bands B4 and B4a in $^{195}$Tl.


title: Isometric Transformation Invariant and Equivariant Graph Convolutional Networks

abstract: Graphs are one of the most important data structures for representing pairwise relations between objects. Specifically, a graph embedded in a Euclidean space is essential to solving real problems, such as physical simulations. A crucial requirement for applying graphs in Euclidean spaces to physical simulations is learning and inferring the isometric transformation invariant and equivariant features in a computationally efficient manner. In this paper, we propose a set of transformation invariant and equivariant models based on graph convolutional networks, called IsoGCNs. We demonstrate that the proposed model has a competitive performance compared to state-of-the-art methods on tasks related to geometrical and physical simulation data. Moreover, the proposed model can scale up to graphs with 1M vertices and conduct an inference faster than a conventional finite element analysis, which the existing equivariant models cannot achieve.


title: Two-Dimensional graphene-HfS$_2$ van der Waals heterostructure as electrode material for Alkali-ion batteries

abstract: Poor electrical conductivity and large volume expansion during repeated charge and discharge is what has characterized many battery electrode materials in current use. This has led to 2D materials, specifically multi-layered 2D systems, being considered as alternatives. Among these 2D multi-layered systems are the graphene-based van der Waals heterostructures with transition metal di-chalcogenides (TMDCs) as one of the layers. Thus in this study, graphene-Hafnium disulphide (Gr-HfS$_2$) system, has been investigated as a prototype Gr-TMDC system for application as battery electrode. Density functional theory calculations indicate that Gr-HfS$_2$ van der Waals heterostructure formation is energetically favoured. In order to probe its battery electrode applications capability, Li, Na and K intercalants were introduced between the layers of the heterostructure. Li and K were found to be good intercalants as they had low diffusion barriers as well as positive open circuit voltage. A comparison to bilayer graphene and bilayer HfS$_2$ indicate that Gr-HfS$_2$ is a favourable battery electrode system.


title: A 28-nm Convolutional Neuromorphic Processor Enabling Online Learning with Spike-Based Retinas

abstract: In an attempt to follow biological information representation and organization principles, the field of neuromorphic engineering is usually approached bottom-up, from the biophysical models to large-scale integration in silico. While ideal as experimentation platforms for cognitive computing and neuroscience, bottom-up neuromorphic processors have yet to demonstrate an efficiency advantage compared to specialized neural network accelerators for real-world problems. Top-down approaches aim at answering this difficulty by (i) starting from the applicative problem and (ii) investigating how to make the associated algorithms hardware-efficient and biologically-plausible. In order to leverage the data sparsity of spike-based neuromorphic retinas for adaptive edge computing and vision applications, we follow a top-down approach and propose SPOON, a 28-nm event-driven CNN (eCNN). It embeds online learning with only 16.8-% power and 11.8-% area overheads with the biologically-plausible direct random target projection (DRTP) algorithm. With an energy per classification of 313nJ at 0.6V and a 0.32-mm$^2$ area for accuracies of 95.3% (on-chip training) and 97.5% (off-chip training) on MNIST, we demonstrate that SPOON reaches the efficiency of conventional machine learning accelerators while embedding on-chip learning and being compatible with event-based sensors, a point that we further emphasize with N-MNIST benchmarking.


title: Turbulent model of Crab nebula radiation

abstract: We construct a turbulent model of the Crab Nebula's non-thermal emission. The present model resolves a number of long-standing problems of the Kennel-Coroniti (1984) model: (i) the sigma problem; (ii) the hard spectrum of radio electrons; (iii) the high peak energy of gamma-ray flares; (iv) and the spacial evolution of the infrared (IR) emission. The Nebula contains two populations of injected particles: Component-I accelerated at the wind termination shock via Fermi-I mechanism, and Component-II accelerated in reconnecting turbulence in highly magnetized ($\sigma$ $\gg 1$) plasma in the central part of the Crab Nebula. The reconnecting turbulence Component-II extends from radio to gamma rays: it accelerate radio electrons with a hard spectrum, destroy the large scale magnetic flux (and thus resolves the sigma-problem), and occasionally produces gamma-ray flares (from the largest scale reconnection events). The model reproduces the broad-band spectrum of the Crab Nebula, from low-frequency synchrotron emission in radio to inverse-Compton emission at TeV energies, as well as spatially resolved evolution of the spectral indices in IR and optical bands.


title: A multiscale method for heterogeneous bulk-surface coupling

abstract: In this paper, we construct and analyze a multiscale (finite element) method for parabolic problems with heterogeneous dynamic boundary conditions. As origin, we consider a reformulation of the system in order to decouple the discretization of bulk and surface dynamics. This allows us to combine multiscale methods on the boundary with standard Lagrangian schemes in the interior. We prove convergence and quantify explicit rates for low-regularity solutions, independent of the oscillatory behavior of the heterogeneities. As a result, coarse discretization parameters, which do not resolve the fine scales, can be considered. The theoretical findings are justified by a number of numerical experiments including dynamic boundary conditions with random diffusion coefficients.


title: Reply to "Comment on "Quantum Time Crystals from Hamiltonians with Long-Range Interactions""

abstract: In the note by Khemani et al. [arXiv:2001.11037] the authors express conceptual disagreement with our recent paper on quantum time crystals [Phys. Rev. Lett. 123, 210602]. They criticise the idealized nature of the considered quantum time crystal, and make several points about properties of Hamiltonians presented in our work. In this reply we answer one-by-one all questions raised in the discussion. As for the ideological dispute, it brightly highlights a bizarre nature of time crystalline order in closed quantum systems, and we offer a different vision for the development of the field.


title: Generating Subgroups of the Circle using a Generalized class of Density Functions

abstract: In this article, we consider the generalized version $d^f_g$ of the natural density function introduced in \cite{BDK} where $g : \N \rightarrow [0,\infty)$ satisfies $g(n) \rightarrow \infty$ and $\frac{n}{g(n)} \nrightarrow 0$ whereas $f$ is an unbounded modulus function and generate versions of characterized subgroups of the circle group $\T$ using these density functions. We show that these subgroups have the same feature as the $s$-characterized subgroups \cite{DDB} or $\alpha$-characterized subgroups \cite{BDH} and our results provide more general versions of the main results of both the articles. But at the same time the utility of this more general approach is justified by constructing new and nontrivial subgroups for suitable choice of $f$ and $g$. In several of our results we use properties of the ideal $\iZ_g(f)$ which are first presented along with certain new observations about these ideals which were not there in \cite{BDK}.


title: On the scaling critical regularity of the Yang-Mills system in the Lorenz gauge

abstract: In this paper, we prove the local well-posedness of the Yang-Mills system in the Lorenz gauge for initial data in the Besov space $B^\frac12_{2,1}\times B^{-\frac12}_{2,1}$ with additional angular regularity. To the best of our knowledge, our study is the first result on $(1+3)$ dimensional Yang-Mills system with initial data in the scaling critical regularity.


title: A vision for global privacy bridges: Technical and legal measures for international data markets

abstract: From the early days of the information economy, personal data has been its most valuable asset. Despite data protection laws and an acknowledged right to privacy, trading personal information has become a business equated with "trading oil". Most of this business is done without the knowledge and active informed consent of the people. But as data breaches and abuses are made public through the media, consumers react. They become irritated about companies' data handling practices, lose trust, exercise political pressure and start to protect their privacy with the help of technical tools. As a result, companies' Internet business models that are based on personal data are unsettled. An open conflict is arising between business demands for data and a desire for privacy. As of 2015 no true answer is in sight of how to resolve this conflict. Technologists, economists and regulators are struggling to develop technical solutions and policies that meet businesses' demand for more data while still maintaining privacy. Yet, most of the proposed solutions fail to account for market complexity and provide no pathway to technological and legal implementation. They lack a bigger vision for data use and privacy. To break this vicious cycle, we propose and test such a vision of a personal information market with privacy. We accumulate technical and legal measures that have been proposed by technical and legal scholars over the past two decades. And out of this existing knowledge, we compose something new: a four-space market model for personal data.


title: Constraining the growth rate of structure with phase correlations

abstract: We show that correlations between the phases of the galaxy density field in redshift space provide additional information about the growth rate of large-scale structure that is complementary to the power spectrum multipoles. In particular, we consider the multipoles of the line correlation function (LCF), which correlates phases between three collinear points, and use the Fisher forecasting method to show that the LCF multipoles can break the degeneracy between the measurement of the growth rate of structure $f$ and the amplitude of perturbations $\sigma_8$ that is present in the power spectrum multipoles at large scales. This leads to an improvement in the measurement of $f$ and $\sigma_8$ by up to 220 per cent for $k_{\rm max} = 0.15 \, h\mathrm{Mpc}^{-1}$ and up to 50 per cent for $k_{\rm max} = 0.30 \, h\mathrm{Mpc}^{-1}$ at redshift $z=0.25$, with respect to power spectrum measurements alone for the upcoming generation of galaxy surveys like DESI and Euclid. The average improvements in the constraints on $f$ and $\sigma_8$ for $k_{\rm max} = 0.15 \, h\mathrm{Mpc}^{-1}$ are $\sim 90$ per cent for the DESI BGS sample with mean redshift $\overline{z}=0.25$, $\sim 40$ per cent for the DESI ELG sample with $\overline{z}=1.25$, and $\sim 40$ per cent for the Euclid H$\alpha$ galaxies with $\overline{z}=1.3$. For $k_{\rm max} = 0.30 \, h\mathrm{Mpc}^{-1}$, the average improvements are $\sim 40$ per cent for the DESI BGS sample and $\sim 20$ per cent for both the DESI ELG and Euclid H$\alpha$ galaxies.


title: Cumulative Games: Who is the current player?

abstract: Combinatorial Game Theory (CGT) is a branch of game theory that has developed almost independently from Economic Game Theory (EGT), and is concerned with deep mathematical properties of 2-player 0-sum games that are defined over various combinatorial structures. The aim of this work is to lay foundations to bridging the conceptual and technical gaps between CGT and EGT, here interpreted as so-called Extensive Form Games, so they can be treated within a unified framework. More specifically, we introduce a class of $n$-player, general-sum games, called Cumulative Games, that can be analyzed by both CGT and EGT tools. We show how two of the most fundamental definitions of CGT---the outcome function, and the disjunctive sum operator---naturally extend to the class of Cumulative Games. The outcome function allows for an efficient equilibrium computation under certain restrictions, and the disjunctive sum operator lets us define a partial order over games, according to the advantage that a certain player has. Finally, we show that any Extensive Form Game can be written as a Cumulative Game.


title: On compactness and fixed point theorems in partial metric spaces

abstract: In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that Hausdorff compact partial metric spaces are metrizable. In the second part of this article we discuss the significance of bottom sets of partial metric spaces in fixed point theorems for mappings acting in these spaces.


title: Understanding Semiconductor Valence Mass

abstract: The Bloch theorem mathematically proves that in a periodic crystal, electrons can acquire a negative mass. The present work aims to provide a physical understanding for why this is so. We successively analyze the consequences of the 3-fold orbital valence state coupling to (i) a non-degenerate orbital level in the conduction band, (ii) a 3-fold orbital level in the conduction band, and (iii) spin states through spin-orbit interaction. We show that it is not at all trivial for valence electrons to acquire a negative mass for whatever their momentum with respect to the crystal axes: it is necessary to not only have a coupling to a degenerate orbital conduction level, but also a symmetry breaking of the 3-fold valence subspace by the spin quantization axis, as induced by spin-orbit interaction. Due to the relativistic origin of this interaction, the existence of negative valence masses thus constitutes an unexpected signature of quantum relativity.


title: k-Approximate Quasiperiodicity under Hamming and Edit Distance

abstract: Quasiperiodicity in strings was introduced almost 30 years ago as an extension of string periodicity. The basic notions of quasiperiodicity are cover and seed. A cover of a text $T$ is a string whose occurrences in $T$ cover all positions of $T$. A seed of text $T$ is a cover of a superstring of $T$. In various applications exact quasiperiodicity is still not sufficient due to the presence of errors. We consider approximate notions of quasiperiodicity, for which we allow approximate occurrences in $T$ with a small Hamming, Levenshtein or weighted edit distance. In previous work Sip et al. (2002) and Christodoulakis et al. (2005) showed that computing approximate covers and seeds, respectively, under weighted edit distance is NP-hard. They, therefore, considered restricted approximate covers and seeds which need to be factors of the original string $T$ and presented polynomial-time algorithms for computing them. Further algorithms, considering approximate occurrences with Hamming distance bounded by $k$, were given in several contributions by Guth et al. They also studied relaxed approximate quasiperiods that do not need to cover all positions of $T$. In case of large data the exponents in polynomial time complexity play a crucial role. We present more efficient algorithms for computing restricted approximate covers and seeds. In particular, we improve upon the complexities of many of the aforementioned algorithms, also for relaxed quasiperiods. Our solutions are especially efficient if the number (or total cost) of allowed errors is bounded. We also show NP-hardness of computing non-restricted approximate covers and seeds under Hamming distance. Approximate covers were studied in three recent contributions at CPM over the last three years. However, these works consider a different definition of an approximate cover of $T$.


title: Nanosheet-stabilized emulsions: ultra-low loading segregated networks and surface energy determination of pristine few-layer 2D materials

abstract: A framework is developed to allow emulsification to be used to fabricate functional structures from, and study the properties of, pristine layered nanosheets. Liquid-exfoliated few-layer graphene and MoS2 are demonstrated to stablize emulsions which exhibit system-scale electrical conductivity at ultra-low nanosheet volume fractions. When deposited on a substrate, the controlled drying dynamics of these emulsions facilitates their application as inks where the lack of any coffee ring effect allows manual deposition of high conductivity films. In order to broaden the range of compositions and subsequently applications, an understanding of emulsion stability and orientation in terms of surface energy of the three phases is developed. Importantly, this model facilitates determination of the surface energies of the nanosheets themselves and subsequently allows design of emulsions. Finally, emulsification by surfactant-exfoliated nanosheets and emulsion inversion using basic solution are demonstrated to allow water-based processing where composition and orientation can be tailored to enable applications.


title: Multi-modal Embedding Fusion-based Recommender

abstract: Recommendation systems have lately been popularized globally, with primary use cases in online interaction systems, with significant focus on e-commerce platforms. We have developed a machine learning-based recommendation platform, which can be easily applied to almost any items and/or actions domain. Contrary to existing recommendation systems, our platform supports multiple types of interaction data with multiple modalities of metadata natively. This is achieved through multi-modal fusion of various data representations. We deployed the platform into multiple e-commerce stores of different kinds, e.g. food and beverages, shoes, fashion items, telecom operators. Here, we present our system, its flexibility and performance. We also show benchmark results on open datasets, that significantly outperform state-of-the-art prior work.


title: MPI+OpenMP Tasking Scalability for Multi-Morphology Simulations of the Human Brain

abstract: The simulation of the behavior of the human brain is one of the most ambitious challenges today with a non-end of important applications. We can find many different initiatives in the USA, Europe and Japan which attempt to achieve such a challenging target. In this work, we focus on the most important European initiative (the Human Brain Project) and on one of the models developed in this project. This tool simulates the spikes triggered in a neural network by computing the voltage capacitance on the neurons' morphology, being one of the most precise simulators today. In the present work, we have evaluated the use of MPI+OpenMP tasking on top of this framework. We prove that this approach is able to achieve a good scaling even when computing a relatively low workload (number of neurons) per node. One of our targets consists of achieving not only a highly scalable implementation, but also to develop a tool with a high degree of abstraction without losing control and performance by using \emph{MPI+OpenMP} tasking. The main motivation of this work is the evaluation of this cutting-edge simulation on multi-morphology neural networks. The simulation of a high number of neurons, which are completely different among them, is an important challenge. In fact, in the multi-morphology simulations, we find an important unbalancing between the nodes, mainly due to the differences in the neurons, which causes an important under-utilization of the available resources. In this work, the authors present and evaluate mechanisms to deal with this and reduce the time of this kind of simulations considerably.


title: Multiparty Session Programming with Global Protocol Combinators

abstract: Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well-typed communicating processes. The state-of-the-art implementations of the MPST theory rely on (1) runtime linearity checks to ensure correct usage of communication channels and (2) external domain-specific languages for specifying and verifying multiparty protocols. To overcome these limitations, we propose a library for programming with global combinators -- a set of functions for writing and verifying multiparty protocols in OCaml. Local behaviours for all processes in a protocol are inferred at once from a global combinator. We formalise global combinators and prove a sound realisability of global combinators -- a well-typed global combinator derives a set of local types, by which typed endpoint programs can ensure type and communication safety. Our approach enables fully-static verification and implementation of the whole protocol, from the protocol specification to the process implementations, to happen in the same language. We compare our implementation to untyped and continuation-passing style implementations, and demonstrate its expressiveness by implementing a plethora of protocols. We show our library can interoperate with existing libraries and services, implementing DNS (Domain Name Service) protocol and the OAuth (Open Authentication) protocol.


title: The JuliaConnectoR: a functionally oriented interface for integrating Julia in R

abstract: Like many groups considering the new programming language Julia, we faced the challenge of accessing the algorithms that we develop in Julia from R. Therefore, we developed the R package JuliaConnectoR, available from the CRAN repository and GitHub (https://github.com/stefan-m-lenz/JuliaConnectoR), in particular for making advanced deep learning tools available. For maintainability and stability, we decided to base communication between R and Julia on TCP, using an optimized binary format for exchanging data. Our package also specifically contains features that allow for a convenient interactive use in R. This makes it easy to develop R extensions with Julia or to simply call functionality from Julia packages in R. Interacting with Julia objects and calling Julia functions becomes user-friendly, as Julia functions and variables are made directly available as objects in the R workspace. We illustrate the further features of our package with code examples, and also discuss advantages over the two alternative packages JuliaCall and XRJulia. Finally, we demonstrate the usage of the package with a more extensive example for employing neural ordinary differential equations, a recent deep learning technique that has received much attention. This example also provides more general guidance for integrating deep learning techniques from Julia into R.


title: INTEGRAL discovery of a burst with associated radio emission from the magnetar SGR 1935+2154

abstract: We report on INTEGRAL observations of the soft $\gamma$-ray repeater SGR 1935+2154 performed between 2020 April 28 and May 3. Several short bursts with fluence of $\sim10^{-7}-10^{-6}$ erg cm$^{-2}$ were detected by the IBIS instrument in the 20-200 keV range. The burst with the hardest spectrum, discovered and localized in real time by the INTEGRAL Burst Alert System, was spatially and temporally coincident with a short and very bright radio burst detected by the CHIME and STARE2 radio telescopes at 400-800 MHz and 1.4 GHz, respectively. Its lightcurve shows three narrow peaks separated by $\sim$29 ms time intervals, superimposed on a broad pulse lasting $\sim$0.6 s. The brightest peak had a delay of 6.5$\pm$1.0 ms with respect to the 1.4 GHz radio pulse (that coincides with the second and brightest component seen at lower frequencies). The burst spectrum, an exponentially cut-off power law with photon index $\Gamma=0.7_{-0.2}^{+0.4}$ and peak energy $E_p=65\pm5$ keV, is harder than those of the bursts usually observed from this and other magnetars. By the analysis of an expanding dust scattering ring seen in X-rays with the {\it Neil Gehrels Swift Observatory} XRT instrument, we derived a distance of 4.4$_{-1.3}^{+2.8}$ kpc for SGR 1935+2154, independent of its possible association with the supernova remnant G57.2+0.8. At this distance, the burst 20-200 keV fluence of $(6.1\pm 0.3)\times10^{-7}$ erg cm$^{-2}$ corresponds to an isotropic emitted energy of $\sim1.4\times10^{39}$ erg. This is the first burst with a radio counterpart observed from a soft $\gamma$-ray repeater and it strongly supports models based on magnetars that have been proposed for extragalactic fast radio bursts.


title: Degradation of 2-mercaptobenzothizaole in microbial electrolysis cells: intermediates, toxicity, and microbial communities

abstract: The compound 2-mercaptobenzothizaole (MBT) has been frequently detected in wastewater and surface water and is a potential threat to both aquatic organisms and human health (its mutagenic potential has been demonstrated). This study investigated the degradation routes of MBT in the anode of a microbial electrolysis cell (MEC) and the involved microbial communities. The results indicated that graphene-modified anodes promoted the presence of more enriched, developed, and specific communities compared to bare anodes. Moreover, consecutive additions of the OH substituent to the benzene ring of MBT were only detected in the reactor equipped with the graphene-treated electrode. Both phenomena, together with the application of an external voltage, may be related to the larger reduction of biotoxicity observed in the MEC equipped with graphene-modified anodes (46.2 eqtox/m3 to 27.9 eqtox/m3).


title: Realistic simulation of quantum computation using unitary and measurement channels

abstract: The implementation and practicality of quantum algorithms highly hinge on the quality of operations within a quantum processor. Therefore, including realistic error models in quantum computing simulation platforms is crucial for testing these algorithms. Existing classical simulation techniques of quantum information processing devices exhibit a trade-off between scalability (number of qubits that can be simulated) and accuracy (how close the simulation is to the target error model). In this paper, we introduce a new simulation approach that relies on approximating the density matrix evolution by a stochastic sum of unitary and measurement channels within a pure state simulation environment. This model shows an improvement of at least one order of magnitude in terms of accuracy compared to the best known stochastic approaches while allowing to simulate a larger number of qubits compared to the exact density matrix simulation. Furthermore, we used this approach to realistically simulate the Grover's algorithm and the surface code 17 using gate set tomography characterization of quantum operations as a noise model.


title: Neural Architecture Search for Gliomas Segmentation on Multimodal Magnetic Resonance Imaging

abstract: Past few years have witnessed the artificial intelligence inspired evolution in various medical fields. The diagnosis and treatment of gliomas -- one of the most commonly seen brain tumors with low survival rate -- rely heavily on the computer assisted segmentation process undertaken on the magnetic resonance imaging (MRI) scans. Although the encoder-decoder shaped deep learning networks have been the de facto standard style for semantic segmentation tasks in medical imaging analysis, enormous effort is still required to be spent on designing the detailed architecture of the down-sampling and up-sampling blocks. In this work, we propose a neural architecture search (NAS) based solution to brain tumor segmentation tasks on multimodal volumetric MRI scans. Three sets of candidate operations are composed respectively for three kinds of basic building blocks in which each operation is assigned with a specific probabilistic parameter to be learned. Through alternately updating the weights of operations and the other parameters in the network, the searching mechanism ends up with two optimal structures for the upward and downward blocks. Moreover, the developed solution also integrates normalization and patching strategies tailored for brain MRI processing. Extensive comparative experiments on the BraTS 2019 dataset demonstrate that the proposed algorithm not only could relieve the pressure of fabricating block architectures but also possesses competitive feasibility and scalability.


title: Emergence of maximal hidden quantum correlations and its trade-off with the filtering probability in dissipative two-qubit systems

abstract: We investigate the behaviour of quantum CHSH-nonlocality, $\rm F_3$-steering, and usefulness for teleportation in an interacting two-qubit dissipative system. We show regimes where these three quantum correlations can be extracted by means of local filtering operations, despite them not being displayed in the bare natural time evolution. Moreover, we show the existence of local hidden state (LHS) and local hidden variable (LHV) models for some states during the dynamics and thus, showing that apparently-useless physical systems could still exhibit quantum correlations, which are hidden from us, but that can still be revealed by means of local filtering operations and therefore, displaying the phenomenon of \emph{hidden} quantum correlations. We furthermore show that there actually exists a trade-off between the amount of quantum correlations which can be extracted and the filtering probability with which such protocol can be implemented. From a theoretical point of view, the existence of such trade-off imposes a fundamental limit to the extraction of quantum correlations by local filtering operations. From a practical point of view on the other hand, the results here presented determine the amount of resources that should be invested in order to extract such maximal hidden quantum correlations.


title: Cooperative Monitoring and Dissemination of Urban Events Supported by Dynamic Clustering of Vehicles

abstract: Critical urban events take places at a random way and they need to be dealt with by public authorities quickly to maintain the proper operation of cities. The main challenges for an efficient handling of an event fall precisely in its random nature, and in the speed and accuracy of the notification of its manifestation to the authority. The pervasiveness of vehicles in urban environments, and their communication and monitoring capabilities, allow to employ VANETs to support the dissemination and handling of such events. Thus, this work proposes MINUET, a dynamic system to support the monitoring and dissemination of urban events, which operates in an ad hoc vehicular network. It uses a cooperative-based strategy where vehicles are able to dynamically coordinate the monitoring and dissemination of events in real time by the means of clusters. Results obtained by NS3 show the performance of MINUET regarding the real-time monitoring and dissemination of events detected in urban areas.


title: Human Mobility in Response to COVID-19 in France, Italy and UK

abstract: The policies implemented to hinder the COVID-19 outbreak represent one of the largest critical events in history. The understanding of this process is fundamental for crafting and tailoring post-disaster relief. In this work we perform a massive data analysis, through geolocalized data from 13M Facebook users, on how such a stress affected mobility patterns in France, Italy and UK. We find that the general reduction of the overall efficiency in the network of movements is accompanied by geographical fragmentation with a massive reduction of long-range connections. The impact, however, differs among nations according to their initial mobility structure. Indeed, we find that the mobility network after the lockdown is more concentrated in the case of France and UK and more distributed in Italy. Such a process can be approximated through percolation to quantify the substantial impact of the lockdown.


title: sCrop: A Internet-of-Agro-Things (IoAT) Enabled Solar Powered Smart Device for Automatic Plant Disease Prediction

abstract: Internet-of-Things (IoT) is omnipresent, ranging from home solutions to turning wheels for the fourth industrial revolution. This article presents the novel concept of Internet-of-Agro-Things (IoAT) with an example of automated plant disease prediction. It consists of solar enabled sensor nodes which help in continuous sensing and automating agriculture. The existing solutions have implemented a battery powered sensor node. On the contrary, the proposed system has adopted the use of an energy efficient way of powering using solar energy. It is observed that around 80% of the crops are attacked with microbial diseases in traditional agriculture. To prevent this, a health maintenance system is integrated with the sensor node, which captures the image of the crop and performs an analysis with the trained Convolutional Neural Network (CNN) model. The deployment of the proposed system is demonstrated in a real-time environment using a microcontroller, solar sensor nodes with a camera module, and an mobile application for the farmers visualization of the farms. The deployed prototype was deployed for two months and has achieved a robust performance by sustaining in varied weather conditions and continued to remain rust-free. The proposed deep learning framework for plant disease prediction has achieved an accuracy of 99.2% testing accuracy.


title: Regge OPE blocks and light-ray operators

abstract: We consider the structure of the operator product expansion (OPE) in conformal field theory by employing the OPE block formalism. The OPE block acted on the vacuum is promoted to an operator and its implications are examined on a non-vacuum state. We demonstrate that the OPE block is dominated by a light-ray operator in the Regge limit, which reproduces precisely the Regge behavior of conformal blocks when used inside scalar four-point functions. Motivated by this observation, we propose a new form of the OPE block, called the light-ray channel OPE block that has a well-behaved expansion dominated by a light-ray operator in the Regge limit. We also show that the two OPE blocks have the same asymptotic form in the Regge limit and confirm the assertion that the Regge limit of a pair of spacelike-separated operators in a Minkowski patch is equivalent to the OPE limit of a pair of timelike-separated operators associated with the original pair in a different Minkowski patch.


title: A remark on approximating permanents of positive definite matrices

abstract: Let $A$ be an $n \times n$ positive definite Hermitian matrix with all eigenvalues between 1 and 2. We represent the permanent of $A$ as the integral of some explicit log-concave function on ${\Bbb R}^{2n}$. Consequently, there is a fully polynomial randomized approximation scheme (FPRAS) for the permanent of $A$.


title: Libration-driven inertial waves and mean zonal flows in spherical shells

abstract: Several planetary bodies in our solar system undergo a forced libration owing to gravitational interactions with their orbital companions, leading to complex fluid motions in their metallic liquid cores or subsurface oceans. In this study, we numerically investigate flows in longitudinally librating spherical shells. We focus on the Ekman number dependencies of several shear layers when the libration frequency is less than twice of the rotation frequency and the libration amplitude is small. Time-dependent flows mainly consist of inertial waves excited at the critical latitudes due to the Ekman pumping singularities, forming conical shear layers. In particular, previous theoretical studies have proposed different scalings for the conical shear layers spawned from the critical latitudes at the inner boundary. Our numerical results favor the velocity amplitude scaling $\mathrm{O}(\varepsilon E^{1/12})$ predicted by Le Diz\`es \& Le Bars (2017) over the scaling $\mathrm{O}(\varepsilon E^{1/6})$ initially proposed by Kerswell (1995), though the Ekman numbers in our calculations are not sufficiently small to pin down this scaling. Non-linear interactions in the boundary layers drive a mean zonal flow with several geostrophic shears. Our numerical results show that geostrophic shears associated with the critical latitudes at the inner and outer boundaries exhibit the same scalings, i.e. an amplitude of $\mathrm{O}(\varepsilon^2 E^{-1/10})$ over a width of $\mathrm{O}(E^{1/5})$. Apart from the geostrophic shear associated with the critical latitude, our numerical results show that the reflection of inertial waves can induce a geostrophic shear with an amplitude of $\mathrm{O}(\varepsilon^2 E^{-1/6})$ over a width of $\mathrm{O}(E^{1/3})$.


title: Hybridized intervalley moir\'e excitons and flat bands in twisted WSe$_2$ bilayers

abstract: The large surface-to-volume ratio in atomically thin 2D materials allows to efficiently tune their properties through modifications of their environment. Artificial stacking of two monolayers into a bilayer leads to an overlap of layer-localized wave functions giving rise to a twist angle-dependent hybridization of excitonic states. In this joint theory-experiment study, we demonstrate the impact of interlayer hybridization on bright and momentum-dark excitons in twisted WSe$_2$ bilayers. In particular, we show that the strong hybridization of electrons at the $\Lambda$ point leads to a drastic redshift of the momentum-dark K-$\Lambda$ exciton, accompanied by the emergence of flat moir\'e exciton bands at small twist angles. We directly compare theoretically predicted and experimentally measured optical spectra allowing us to identify photoluminescence signals stemming from phonon-assisted recombination of layer-hybridized dark excitons. Moreover, we predict the emergence of additional spectral features resulting from the moir\'e potential of the twisted bilayer lattice.


title: On Some Operators Associated with Non-Degenerate Symmetric $\alpha$-Stable Probability Measures

abstract: Boundedness properties of operators associated with non-degenerate symmetric $\alpha$-stable, $\alpha \in (1,2)$, probability measures on $\mathbb{R}^d$ are investigated on appropriate, Euclidean or otherwise, $L^p$-spaces, $p \in (1,+\infty)$. Our approach is based on first obtaining Bismut-type formulae which lead to useful representations for various operators. In the Euclidean setting, the method of transference and one-dimensional multiplier theory combined with fine properties of stable distributions provide dimension-free estimates for the fractional Laplacian. In the non-Euclidean setting, we obtain boundedness results for the non-singular cases as well as dimension-free estimates when the reference measure is the rotationally invariant $\alpha$-stable probability measure.


title: A characterization of semistable radial solutions of k-Hessian equations

abstract: We characterize semistable radial solutions of the equation $S_k\left(D^2u\right)=g(u)\;\mbox{in } B_1$, where $B_1$ is the unit ball of $\mathbb{R}^n$, $D^2u$ is the Hessian matrix of $u,\,g$ is a positive $C^1$ nonlinearity and $S_k\left(D^2u\right)$ denotes the $k$-Hessian operator of $u$. This class of radial solutions has been recently introduced by the authors in [8]. The proofs are new relative to those given in [8] and focus on the structure of the equation directly, thereby improving some previous results.


title: Analytic and rational sections of relative semi-abelian varieties

abstract: The hyperbolicity statements for subvarieties and complements of hypersurfaces in abelian varieties admit arithmetic analogues, due to Faltings (and Vojta for the semi-abelian case). In Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 29 (2018) by the second author, an analogy between the analytic and arithmetic theories was shown to hold also at proof level, namely in a proof of Raynaud's theorem (Manin-Mumford Conjecture). The first aim of this paper is to extend to the relative setting the above mentioned hyperbolicity results. We shall be concerned with analytic sections of a relative (semi-)abelian scheme over an affine algebraic curve. These sections form a group; while the group of rational sections (the Mordell-Weil group) has been widely studied, little investigation has been pursued so far on the group of the analytic sections. We take the opportunity of developing some basic structure of this apparently new theory, defining a notion of height or order functions for the analytic sections, by means of Nevanlinna theory.


title: Cyclic Bayesian Attack Graphs: A Systematic Computational Approach

abstract: Attack graphs are commonly used to analyse the security of medium-sized to large networks. Based on a scan of the network and likelihood information of vulnerabilities, attack graphs can be transformed into Bayesian Attack Graphs (BAGs). These BAGs are used to evaluate how security controls affect a network and how changes in topology affect security. A challenge with these automatically generated BAGs is that cycles arise naturally, which make it impossible to use Bayesian network theory to calculate state probabilities. In this paper we provide a systematic approach to analyse and perform computations over cyclic Bayesian attack graphs. %thus providing a generic approach to handle cycles as well as unifying the theory of Bayesian attack graphs. Our approach first formally introduces two commonly used versions of Bayesian attack graphs and compares their expressiveness. We then present an interpretation of Bayesian attack graphs based on combinational logic circuits, which facilitates an intuitively attractive systematic treatment of cycles. We prove properties of the associated logic circuit and present an algorithm that computes state probabilities without altering the attack graphs (e.g., remove an arc to remove a cycle). Moreover, our algorithm deals seamlessly with all cycles without the need to identify their types. A set of experiments using synthetically created networks demonstrates the scalability of the algorithm on computer networks with hundreds of machines, each with multiple vulnerabilities.


title: Continuous-time quantum walks in the presence of a quadratic perturbation

abstract: We address the properties of continuous-time quantum walks with Hamiltonians of the form $\mathcal{H}= L + \lambda L^2$, being $L$ the Laplacian matrix of the underlying graph and being the perturbation $\lambda L^2$ motivated by its potential use to introduce next-nearest-neighbor hopping. We consider cycle, complete, and star graphs because paradigmatic models with low/high connectivity and/or symmetry. First, we investigate the dynamics of an initially localized walker. Then, we devote attention to estimating the perturbation parameter $\lambda$ using only a snapshot of the walker dynamics. Our analysis shows that a walker on a cycle graph is spreading ballistically independently of the perturbation, whereas on complete and star graphs one observes perturbation-dependent revivals and strong localization phenomena. Concerning the estimation of the perturbation, we determine the walker preparations and the simple graphs that maximize the Quantum Fisher Information. We also assess the performance of position measurement, which turns out to be optimal, or nearly optimal, in several situations of interest. Besides fundamental interest, our study may find applications in designing enhanced algorithms on graphs.