title: Mex-related partitions and relations to ordinary partition and singular overpartitions

abstract: In a recent paper, Andrews and Newman introduced certain families of partition functions using the minimal excludant or "mex" function. In this article, we study two of the families of functions Andrews and Newman introduced, namely $p_{t,t}(n)$ and $p_{2t,t}(n)$. We establish identities connecting the ordinary partition function $p(n)$ to $p_{t,t}(n)$ and $p_{2t,t}(n)$ for all $t\geq 1$. Using these identities, we prove that the Ramanujan's famous congruences for $p(n)$ are also satisfied by $p_{t,t}(n)$ and $p_{2t,t}(n)$ for infinitely many values of $t$. Very recently, da Silva and Sellers provide complete parity characterizations of $p_{1,1}(n)$ and $p_{3,3}(n)$. We prove that $p_{t,t}(n)\equiv \overline{C}_{4t,t}(n) \pmod{2}$ for all $n\geq 0$ and $t\geq 1$, where $\overline{C}_{4t,t}(n)$ is the Andrews' singular overpartition function. Using this congruence, the parity characterization of $p_{1,1}(n)$ given by da Silva and Sellers follows from that of $\overline{C}_{4,1}(n)$. We also give elementary proofs of certain congruences already proved by da Silva and Sellers.


title: Stealth dark energy in scordatura DHOST theory

abstract: A stealth de Sitter solution in scalar-tensor theories has an exact de Sitter background metric and a nontrivial scalar field profile. Recently, in the context of Degenerate Higher-Order Scalar-Tensor (DHOST) theories it was shown that stealth de Sitter solutions suffer from either infinite strong coupling or gradient instability for scalar field perturbations. The sound speed squared is either vanishing or negative. In the first case, the strong coupling scale is zero and thus lower than the energy scale of any physical phenomena. From the viewpoint of effective field theory, this issue is naturally resolved by introducing a controlled detuning of the degeneracy condition dubbed scordatura, recovering a version of ghost condensation. In this paper we construct a viable dark energy model in the scordatura DHOST theory based on a stealth cosmological solution, in which the metric is the same as in the standard $\Lambda$CDM model and the scalar field profile is linearly time-dependent. We show that the scordatura mechanism resolves the strong coupling and gradient instability. Further, we find that the scordatura is also necessary to make the quasi-static limit well-defined, which implies that the subhorizon observables are inevitably affected by the scordatura. We derive the effective gravitational coupling and the correction to the friction term for the subhorizon evolution of the linear dark matter energy density contrast as well as the Weyl potential and the gravitational slip parameter. In the absence of the scordatura, the quasi-static approximation would break down at all scales around stealth cosmological solutions even if the issue of the infinite strong coupling is unjustly disregarded. Therefore previous estimations of the subhorizon evolution of matter density contrast in modified gravity in the literature need to be revisited by taking into account the scordatura effect.


title: Exponent of Cyclic Codes over $\mathbb{F}_q$

abstract: In this article, we introduce and study the concept of the exponent of a cyclic code over a finite field $\mathbb{F}_q.$ We give a relation between the exponent of a cyclic code and its dual code. Finally, we introduce and determine the exponent distribution of the cyclic code.


title: Distance Eigenvalues and Forwarding Indices of Multiplicative Circulant Graph of Order Power of Two and Three

abstract: In this paper, we use Breadth-first search algorithm to determine the distance matrix of multiplicative circulant graph of order power of two and three. As a consequence, the diameter of the graphs were determined. We also give their distance spectral radii, average distances, as well as the exact values of vertex-forwarding indices. Finally, using some known relationships between the distance spectral radii and forwarding indices of a graph, we give some bounds for their edge-forwarding indices.


title: Dirac operators on lightlike hypersurfaces

abstract: In this study, we obtain a spinorial Gauss formula for a lightlike hypersurface in Lorentzian manifold with 4-dimension. Then, we take into account the changes caused by degenerate metric on hypersurface and investigate Dirac operator for lightlike hypersurface. Later, we establish the relation between Dirac operators and Riemannian curvatures of manifold and hypersurface.


title: Separation and Quantification of Ionospheric Convection Sources: 1. A New Technique

abstract: This paper describes a novel technique that allows separation and quantification of different sources of convection in the high-latitude ionosphere. To represent the ionospheric convection electric field, we use the Spherical Elementary Convection Systems representation. We demonstrate how this technique can separate and quantify the contributions from different magnetospheric source regions to the overall ionospheric convection pattern. The technique is in particular useful for distinguishing the contributions of high-latitude reconnection associated with lobe cells from the low-latitude reconnection associated with Dungey two-cell circulation. The results from the current paper are utilized in a companion paper (Reistad et al., 2019, https://doi.org/10.1029/2019JA026641) to quantify how the dipole tilt angle influences lobe convection cells. We also describe a relation bridging other representations of the ionospheric convection electric field or potential to the Spherical Elementary Convection Systems description, enabling a similar separation of convection sources from existing models.


title: Longtime asymptotics of the two-dimensional parabolic Anderson model with white-noise potential

abstract: We consider the parabolic Anderson model (PAM) $\partial_t u = \frac12 \Delta u + \xi u$ in $\mathbb R^2$ with a Gaussian (space) white-noise potential $\xi$. We prove that the almost-sure large-time asymptotic behaviour of the total mass at time $t$, written $U(t)$, is given by $\log U(t)\sim \chi t \log t$ for $t \to \infty$, with the deterministic constant $\chi$ identified in terms of a variational formula. In earlier work of one of the authors this constant was used to describe the asymptotic behaviour $\boldsymbol \lambda_1(Q_t)\sim\chi\log t$ of the principal eigenvalue $\boldsymbol\lambda_1(Q_t)$ of the Anderson operator with Dirichlet boundary conditions on the box $Q_t= [-\frac{t}{2},\frac{t}{2}]^2$.


title: Clustering Based on Graph of Density Topology

abstract: Data clustering with uneven distribution in high level noise is challenging. Currently, HDBSCAN is considered as the SOTA algorithm for this problem. In this paper, we propose a novel clustering algorithm based on what we call graph of density topology (GDT). GDT jointly considers the local and global structures of data samples: firstly forming local clusters based on a density growing process with a strategy for properly noise handling as well as cluster boundary detection; and then estimating a GDT from relationship between local clusters in terms of a connectivity measure, givingglobal topological graph. The connectivity, measuring similarity between neighboring local clusters, is based on local clusters rather than individual points, ensuring its robustness to even very large noise. Evaluation results on both toy and real-world datasets show that GDT achieves the SOTA performance by far on almost all the popular datasets, and has a low time complexity of O(nlogn). The code is available at https://github.com/gaozhangyang/DGC.git.


title: Complete experiments in pseudoscalar meson photoproduction

abstract: The problem of extracting photoproduction amplitudes uniquely from so called complete experiments is discussed. This problem can be considered either for the extraction of full production amplitudes, or for the determination of multipoles. Both cases are treated briefly. Preliminary results for the fitting of multipoles, as well as the determination of their error, from recent polarization measurements in the $\Delta$-region are described in more detail.


title: Version 0: An Educational Package for Helium Atom Scattering Studies

abstract: Helium atom scattering studies have the potential for making numerous breakthroughs in the study of processes on surfaces. As this field remains active, there will frequently be new young researchers entering the field. The transition from student to researcher is often met with difficulty, consequently wasting limited time available for a PhD or masters level research. Addressing this issue, we present an educational package for emerging research students in the field of helium atom scattering. We hope that this package serves as sufficient material to significantly accelerate the progress made by new postgraduate students.


title: Unlocking Extra Value from Grid Batteries Using Advanced Models

abstract: Lithium-ion batteries are increasingly being deployed in liberalised electricity systems, where their use is driven by economic optimisation in a specific market context. However, battery degradation depends strongly on operational profile, and this is particularly variable in energy trading applications. Here, we present results from a year-long experiment where pairs of batteries were cycled with profiles calculated by solving an economic optimisation problem for wholesale energy trading, including a physically-motivated degradation model as a constraint. The results confirm the conclusions of previous simulations and show that this approach can increase revenue by 20% whilst simultaneously decreasing degradation by 30% compared to existing methods. Analysis of the data shows that conventional approaches cannot increase the number of cycles a battery can manage over its lifetime, but the physics-based approach increases the lifetime both in terms of years and number of cycles, as well as the revenue per year, increasing the possible lifetime revenue by 70%. Finally, the results demonstrate the economic impact of model inaccuracies, showing that the physics-based model can reduce the discrepancy in the overall business case from 170% to 13%. There is potential to unlock significant extra performance using control engineering incorporating physical models of battery ageing.


title: N-LTP: An Open-source Neural Language Technology Platform for Chinese

abstract: We introduce \texttt{N-LTP}, an open-source neural language technology platform supporting six fundamental Chinese NLP tasks: {lexical analysis} (Chinese word segmentation, part-of-speech tagging, and named entity recognition), {syntactic parsing} (dependency parsing), and {semantic parsing} (semantic dependency parsing and semantic role labeling). Unlike the existing state-of-the-art toolkits, such as \texttt{Stanza}, that adopt an independent model for each task, \texttt{N-LTP} adopts the multi-task framework by using a shared pre-trained model, which has the advantage of capturing the shared knowledge across relevant Chinese tasks. In addition, a knowledge distillation method \cite{DBLP:journals/corr/abs-1907-04829} where the single-task model teaches the multi-task model is further introduced to encourage the multi-task model to surpass its single-task teacher. Finally, we provide a collection of easy-to-use APIs and a visualization tool to make users to use and view the processing results more easily and directly. To the best of our knowledge, this is the first toolkit to support six Chinese NLP fundamental tasks. Source code, documentation, and pre-trained models are available at \url{https://github.com/HIT-SCIR/ltp}.


title: Fuel rod classification from Passive Gamma Emission Tomography (PGET) of spent nuclear fuel assemblies

abstract: Safeguarding the disposal of spent nuclear fuel in a geological repository needs an effective, efficient, reliable and robust non-destructive assay (NDA) system to ensure the integrity of the fuel prior to disposal. In the context of the Finnish geological repository, Passive Gamma Emission Tomography (PGET) will be a part of such an NDA system. We report here on the results of PGET measurements at the Finnish nuclear power plants during the years 2017-2020. Gamma activity profiles are recorded from all angles by rotating the detector arrays around the fuel assembly that has been inserted into the center of the torus. Image reconstruction from the resulting tomographic data is defined as a constrained minimization problem with a data fidelity term and regularization terms. The activity and attenuation maps, as well as detector sensitivity corrections, are the variables in the minimization process. The regularization terms ensure that prior information on the (possible) locations of fuel rods and their diameter are taken into account. Fuel rod classification, the main purpose of the PGET method, is based on the difference of the activity of a fuel rod from its immediate neighbors, taking into account its distance from the assembly center. The classification is carried out by a support vector machine. We report on the results for ten different fuel types with burnups between 5.72 and 55.0 GWd/tU, cooling times between 1.87 and 34.6 years and initial enrichments between 1.9 and 4.4%. For all fuel assemblies measured, missing fuel rods, partial fuel rods and water channels were correctly classified. Burnable absorber fuel rods were classified as fuel rods. On rare occasions, a fuel rod that is present was falsely classified as missing. We conclude that the combination of the PGET device and our image reconstruction method provides a reliable base for fuel rod classification.


title: Cohomology theory of averaging algebras, $L_\infty$-structures and homotopy averaging algebras

abstract: This paper studies averaging algebras, say, associative algebras endowed with averaging operators. We develop a cohomology theory for averaging algebras and justify it by interpreting lower degree cohomology groups as formal deformations and abelian extensions of averaging algebras. We make explicit the $L_\infty$-algebra structure over the cochain complex defining cohomology groups and introduce the notion of homotopy averaging algebras as Maurer-Cartan elements of this $L_\infty$-algebra.


title: Prediction of possible $DK_1$ bound states

abstract: Stimulated by recent experimental observation of $X_1(2900)$ just below the $\bar D_1K$ threshold, we extend our previous study of $\bar D_1D$ S-wave bound state by vector meson exchange to $\bar D_1K$ system as well as similar $\bar DK_1$, $D_1K$ and $DK_1$ systems to look for possible bound states. We find that the potential of $D K_1$ is attractive and strong enough to form bound states with mass around 3110 MeV for $DK_1(1270)$ and 3240 MeV for $DK_1(1400)$. $D_1 K$ is also attractive but weaker, hardly enough to form bound states. While $\bar DK_1$ becomes further less attractive, the potential between $\bar D_1 K$ is the weakest, definitely too weak to form any bound state, which excludes the recently observed $X_1(2900)$ to be a $\bar D_1 K$ bound state. We also give the decay properties of the predicted $D K_1$ bound states.


title: Decompositions of the stable module $\infty$-category

abstract: We show that the stable module $\infty$-category of a finite group $G$ decomposes in three different ways as a limit of the stable module $\infty$-categories of certain subgroups of $G$. Analogously to Dwyer's terminology for homology decompositions, we call these the centraliser, normaliser, and subgroup decompositions. We construct centraliser and normaliser decompositions and extend the subgroup decomposition (constructed by Mathew) to more collections of subgroups. The key step in the proof is extending the stable module $\infty$-category to be defined for any $G$-space, then showing that this extension only depends on the $S$-equivariant homotopy type of a $G$-space. The methods used are not specific to the stable module $\infty$-category, so may also be applicable in other settings where an $\infty$-category depends functorially on $G$.


title: New categories of Safe Faults in a processor-based Embedded System

abstract: The identification of safe faults (i.e., faults which are guaranteed not to produce any failure) in an electronic system is a crucial step when analyzing its dependability and its test plan development. Unfortunately, safe fault identification is poorly supported by available EDA tools, and thus remains an open problem. The complexity growth of modern systems used in safety-critical applications further complicates their identification. In this article, we identify some classes of safe faults within an embedded system based on a pipelined processor. A new method for automating the safe fault identification is also proposed. The safe faults belonging to each class are identified resorting to Automatic Test Pattern Generation (ATPG) techniques. The proposed methodology is applied to a sample system built around the OpenRisc1200 open source processor.


title: On Tractability of Ulams Metric in Highier Dimensions and Dually Related Hierarchies

abstract: The Ulam's metric is the minimal number of moves consisting in removal of one element from a permutation and its subsequent reinsertion in different place, to go between two given permutations. Thet elements that are not moved create longest common subsequence of permutations. Aldous and Diaconis, in their paper, pointed that Ulam's metric had been introduced in the context of questions concerning sorting and tossing cards. In this paper we define and study Ulam's metric in highier dimensions: for dimension one the considered object is a pair of permutations, for dimension k it is a pair of k-tuples of permutations. Over encodings by k-tuples of permutations we define two dually related hierarchies. Our very first motivation come from Murata at al. paper, in which pairs of permutations were used as representation of topological relation between rectangles packed into minimal area with application to VLSI physical design. Our results concern hardness, approximability, and parametrized complexity inside the hierarchies.


title: Asymptotic for the number of star operations on one-dimensional Noetherian domains

abstract: We study the set of star operations on local Noetherian domains $D$ of dimension $1$ such that the conductor $(D:T)$ (where $T$ is the integral closure of $D$) is equal to the maximal ideal of $D$. We reduce this problem to the study of a class of closure operations (more precisely, multiplicative operations) in a finite extension $k\subseteq B$, where $k$ is a field, and then we study how the cardinality of this set of closures vary as the size of $k$ varies while the structure of $B$ remains fixed.


title: Properties of self-gravitating quasi-stationary states

abstract: Initially far out-of-equilibrium self-gravitating systems form, through a collisionless relaxation dynamics, quasi-stationary states (QSS). These may arise from a bottom-up aggregation of structures or in a top-down frame; their quasi-equilibrium properties are well described by the Jeans equation and are not universal, i.e. they depend on initial conditions. To understand the origin of such dependence, we present results of numerical experiments of initially cold and spherical systems characterized by various choices of the spectrum of initial density fluctuations. The amplitude of such fluctuations determines whether the system relaxes in a top-down or a bottom-up manner. We find that statistical properties of the resulting QSS mainly depend upon the amount of energy exchanged during the formation process. In particular, in the violent top-down collapses the energy exchange is large and the QSS show an inner core with an almost flat density profile and a quasi Maxwell-Boltzmann (isotropic) velocity distribution, while their outer regions display a density profile $\rho(r) \propto r^{-\alpha}$ ($\alpha >0$) with radially elongated orbits. We analytically show that $\alpha=4$ in agreement with numerical experiments. In the less violent bottom-up dynamics, the energy exchange is much smaller, the orbits are less elongated and $0< \alpha(r) \le 4$, with a a density profile well fitted by the Navarro-Frenk-White behavior. Such a dynamical evolution is shown by both non-uniform spherical isolated systems and by halos extracted from cosmological simulations. We consider the relation of these results with the core-cusp problem concluding that this is naturally solved if galaxies form through a monolithic collapse.


title: Mathematical aspects of phase rotation ambiguities in partial wave analyses

abstract: The observables in a single-channel $2$-body scattering problem remain invariant once the amplitude is multiplied by an overall energy- and angle-dependent phase. This invariance is known as the continuum ambiguity. Also, mostly in truncated partial wave analyses (TPWAs), discrete ambiguities originating from complex conjugation of roots are known to occur. In this note, it is shown that the general continuum ambiguity mixes partial waves and that for scalar particles, discrete ambiguities are just a subset of continuum ambiguities with a specific phase. A numerical method is outlined briefly, which can determine the relevant connecting phases.


title: Stable cones in the thin one-phase problem

abstract: The aim of this work is to study homogeneous stable solutions to the thin (or fractional) one-phase free boundary problem. The problem of classifying stable (or minimal) homogeneous solutions in dimensions $n\geq3$ is completely open. In this context, axially symmetric solutions are expected to play the same role as Simons' cone in the classical theory of minimal surfaces, but even in this simpler case the problem is open. The goal of this paper is twofold. On the one hand, our first main contribution is to find, for the first time, the stability condition for the thin one-phase problem. Quite surprisingly, this requires the use of "large solutions" for the fractional Laplacian, which blow up on the free boundary. On the other hand, using our new stability condition, we show that any axially symmetric homogeneous stable solution in dimensions $n\le 5$ is one-dimensional, independently of the parameter $s\in (0,1)$.


title: Asymptotical quasinormal mode spectrum for piecewise approximate effective potential

abstract: It was pointed out that the black hole quasinormal modes resulting from a piecewise approximate potential are drastically distinct from those pertaining to the original black hole metric. In particular, instead of lining up parallel to the imaginary axis, the spectrum is found to stretch out along the real axis. In this work, we prove that if there is a single discontinuity in the effective potential, no matter how insignificant it is, the asymptotical behavior of the quasinormal modes will be appreciably modified. Besides showing numerical evidence, we give analytical derivations to support the above assertion even when the discontinuity is located significantly further away from the maximum of the potential and/or the size of the step is arbitrarily small. Moreover, we discuss the astrophysical significance of the potential implications in terms of the present findings.


title: Geodesic complexity for non-geodesic spaces

abstract: We define the notion of near geodesic between points of a metric space when no geodesic exists, and use this to extend Recio-Mitter's notion of geodesic complexity to non-geodesic spaces. This has potential application to topological robotics. We determine explicit near geodesics and geodesic complexity in a variety of cases.


title: The Chiral Algebra of Genus Two Class $\mathcal{S}$ Theory

abstract: We construct the chiral algebra associated with the $A_{1}$-type class $\mathcal{S}$ theory for genus two Riemann surface without punctures. By solving the BRST cohomology problem corresponding to a marginal gauging in four dimensions, we find a set of chiral algebra generators that form closed OPEs. Given the fact that they reproduce the spectrum of chiral algebra operators up to large dimensions, we conjecture that they are the complete set of generators. Remarkably, their OPEs are invariant under an action of $SU(2)$ which is not associated with any conserved one-form current in four dimensions. We find that this novel $SU(2)$ strongly constrains the OPEs of non-scalar Schur operators. For completeness, we also check the equivalence of Schur indices computed in two S-dual descriptions with a non-vanishing flavor fugacity turned on.


title: Regularity results for a class of nonlinear fractional Laplacian and singular problems

abstract: In this article, we investigate the existence, uniqueness, nonexistence, and regularity of weak solutions to the nonlinear fractional elliptic problem of type $(P)$ (see below) involving singular nonlinearity and singular weights in smooth bounded domain. We prove the existence of weak solution in $W_{loc}^{s,p}(\Omega)$ via approximation method. Establishing a new comparison principle of independent interest, we prove the uniqueness of weak solution for $0 \leq \delta< 1+s- \frac{1}{p}$ and furthermore the nonexistence of weak solution for $\delta \geq sp.$ Moreover, by virtue of barrier arguments we study the behavior of minimal weak solution in terms of distance function. Consequently, we prove H\"older regularity up to the boundary and optimal Sobolev regularity for minimal weak solutions.


title: Message-Passing Algorithms and Homology

abstract: This PhD thesis lays out algebraic and topological structures relevant for the study of probabilistic graphical models. Marginal estimation algorithms are introduced as diffusion equations of the form $\dot u = \delta \varphi$. They generalise the traditional belief propagation (BP) algorithm, and provide an alternative for contrastive divergence (CD) or Markov chain Monte Carlo (MCMC) algorithms, typically involved in estimating a free energy functional and its gradient w.r.t. model parameters. We propose a new homological picture where parameters are a collections of local interaction potentials $(u_\alpha) \in A_0$, for $\alpha$ running over the factor nodes of a given region graph. The boundary operator $\delta$ mapping heat fluxes $(\varphi_{\alpha\beta}) \in A_1$ to a subspace $\delta A_1 \subseteq A_0$ is the discrete analog of a divergence. The total energy $H = \sum_\alpha u_\alpha$ defining the global probability $p = e^{-H} / Z$ is in one-to-one correspondence with a homology class $[u] = u + \delta A_1$ of interaction potentials, so that total energy remains constant when $u$ evolves up to a boundary term $\delta \varphi$. Stationary states of diffusion are shown to lie at the intersection of a homology class of potentials with a non-linear constraint surface enforcing consistency of the local marginals estimates. This picture allows us to precise and complete a proof on the correspondence between stationary states of BP and critical points of a local free energy functional (obtained by Bethe-Kikuchi approximations) and to extend the uniqueness result for acyclic graphs (i.e. trees) to a wider class of hypergraphs. In general, bifurcations of equilibria are related to the spectral singularities of a local diffusion operator, yielding new explicit examples of the degeneracy phenomenon. Work supervised by Pr. Daniel Bennequin


title: The impact of episodic outflow feedback on stellar multiplicity and the star formation efficiency

abstract: The accretion of material onto young protostars is accompanied by the launching of outflows. Observations show that accretion, and therefore also outflows, are episodic. However, the effects of episodic outflow feedback on the core-scale are not well understood. We have performed 88 Smoothed Particle Hydrodynamic simulations of turbulent dense $1 \, \mathrm{M}_{\odot}$ cores, to study the influence of episodic outflow feedback on the stellar multiplicity and the star formation efficiency (SFE). Protostars are represented by sink particles, which use a sub-grid model to capture stellar evolution, inner-disc evolution, episodic accretion and the launching of outflows. By comparing simulations with and without episodic outflow feedback, we show that simulations with outflow feedback reproduce the binary statistics of young stellar populations, including the relative proportions of singles, binaries, triples, etc. and the high incidence of twin binaries with $q\geq 0.95$; simulations without outflow feedback do not. Entrainment factors (the ratio between total outflowing mass and initially ejected mass) are typically $\sim 7\pm 2$, but can be much higher if the total mass of stars formed in a core is low and/or outflow episodes are infrequent. By decreasing both the mean mass of the stars formed and the number of stars formed, outflow feedback reduces the SFE by about a factor of 2 (as compared with simulations that do not include outflow feedback).


title: The CHEOPS mission

abstract: The CHaracterising ExOPlanet Satellite (CHEOPS) was selected in 2012, as the first small mission in the ESA Science Programme and successfully launched in December 2019. CHEOPS is a partnership between ESA and Switzerland with important contributions by ten additional ESA Member States. CHEOPS is the first mission dedicated to search for transits of exoplanets using ultrahigh precision photometry on bright stars already known to host planets. As a follow-up mission, CHEOPS is mainly dedicated to improving, whenever possible, existing radii measurements or provide first accurate measurements for a subset of those planets for which the mass has already been estimated from ground-based spectroscopic surveys and to following phase curves. CHEOPS will provide prime targets for future spectroscopic atmospheric characterisation. Requirements on the photometric precision and stability have been derived for stars with magnitudes ranging from 6 to 12 in the V band. In particular, CHEOPS shall be able to detect Earth-size planets transiting G5 dwarf stars in the magnitude range between 6 and 9 by achieving a photometric precision of 20 ppm in 6 hours of integration. For K stars in the magnitude range between 9 and 12, CHEOPS shall be able to detect transiting Neptune-size planets achieving a photometric precision of 85 ppm in 3 hours of integration. This is achieved by using a single, frame-transfer, back-illuminated CCD detector at the focal plane assembly of a 33.5 cm diameter telescope. The 280 kg spacecraft has a pointing accuracy of about 1 arcsec rms and orbits on a sun-synchronous dusk-dawn orbit at 700 km altitude. The nominal mission lifetime is 3.5 years. During this period, 20% of the observing time is available to the community through a yearly call and a discretionary time programme managed by ESA.


title: Algebraic cycles and special Horikawa surfaces

abstract: This note is about a $16$-dimensional family of surfaces of general type with $p_g=2$ and $q=0$ and $K^2=1$, called "special Horikawa surfaces". These surfaces, studied by Pearlstein-Zhang and by Garbagnati, are related to K3 surfaces. We show that special Horikawa surfaces have a multiplicative Chow-K\"unneth decomposition, in the sense of Shen-Vial. As a consequence, the Chow ring of special Horikawa surfaces displays K3-like behaviour.


title: Zero-cycles on Garbagnati surfaces

abstract: Garbagnati has constructed certain surfaces of general type that are bidouble planes as well as double covers of K3 surfaces. In this note, we study the Chow groups (and Chow motive) of these surfaces.


title: Global Well-posedness of Free Interface Problems for the incompressible Inviscid Resistive MHD

abstract: We consider the plasma-vacuum interface problem in a horizontally periodic slab impressed by a uniform non-horizontal magnetic field. The lower plasma region is governed by the incompressible inviscid and resistive MHD, the upper vacuum region is governed by the pre-Maxwell equations, and the effect of surface tension is taken into account on the free interface. The global well-posedness of the problem, supplemented with physical boundary conditions, around the equilibrium is established, and the solution is shown to decay to the equilibrium almost exponentially. Our results reveal the strong stabilizing effect of the magnetic field as the global well-posedness of the free-boundary incompressible Euler equations, without the irrotational assumption, around the equilibrium is unknown. One of the key observations here is an induced damping structure for the fluid vorticity due to the resistivity and transversal magnetic field. A similar global well-posedness for the plasma-plasma interface problem is obtained, where the vacuum is replaced by another plasma.


title: Modeling interstellar amorphous solid water grains by tight-binding based methods: comparison between GFN-XTB and CCSD(T) results for water clusters

abstract: One believed path to Interstellar Complexes Organic Molecules (iCOMs) formation inside the Interstellar Medium (ISM) is through chemical recombination at the surface of amorphous solid water (ASW) mantle covering the silicate-based core of the interstellar grains. The study of these iCOMs formation and their binding energy to the ASW, using computational chemistry, depends strongly on the ASW models used, as different models may exhibit sites with different adsorbing features. ASW extended models are rare in the literature because large sizes require very large computational resources when quantum mechanical methods based on DFT are used. To circumvent this problem, we propose to use the newly developed GFN-xTB Semi-empirical Quantum Mechanical (SQM) methods from the Grimme's group. These methods are, at least, two orders of magnitude faster than conventional DFT, only require modest central memory, and in this paper we aim to benchmark their accuracy against rigorous and resource hungry quantum mechanical methods. We focused on 38 water structures studied by MP2 and CCSD(T) approaches comparing energetic and structures with three levels of GFN-xTB parametrization (GFN0, GFN1, GFN2) methods. The extremely good results obtained at the very cheap GFN-xTB level for both water cluster structures and energetic paved the way towards the modeling of very large AWS models of astrochemical interest.


title: Optimal Strategies in Weighted Limit Games

abstract: We prove the existence and computability of optimal strategies in weighted limit games, zero-sum infinite-duration games with a B\"uchi-style winning condition requiring to produce infinitely many play prefixes that satisfy a given regular specification. Quality of plays is measured in the maximal weight of infixes between successive play prefixes that satisfy the specification.


title: Solitary states in multiplex neural networks: onset and vulnerability

abstract: We investigate solitary states in a two-layer multiplex network of FitzHugh-Nagumo neurons in the oscillatory regime. We demonstrate how solitary states can be induced in a multiplex network consisting of two non-identical layers. More specifically, we show that these patterns can be introduced via weak multiplexing into a network that is fully synchronized in isolation. We show that this result is robust under variations of the inter-layer coupling strength and largely independent of the choice of initial conditions. Moreover, we study the vulnerability of solitary states with respect to changes in the inter-layer topology. In more detail, we remove links that connect two solitary nodes of each layer and evaluate the resulting pattern. We find a highly non-trivial dependence of the survivability of the solitary states on topological (position in the network) and dynamical (phase of the oscillation) characteristics.


title: On the use of evidence theory in belief base revision

abstract: This paper deals with belief base revision that is a form of belief change consisting of the incorporation of new facts into an agent's beliefs represented by a finite set of propositional formulas. In the aim to guarantee more reliability and rationality for real applications while performing revision, we propose the idea of credible belief base revision yielding to define two new formula-based revision operators using the suitable tools offered by evidence theory. These operators, uniformly presented in the same spirit of others in [9], stem from consistent subbases maximal with respect to credibility instead of set inclusion and cardinality. Moreover, in between these two extremes operators, evidence theory let us shed some light on a compromise operator avoiding losing initial beliefs to the maximum extent possible. Its idea captures maximal consistent sets stemming from all possible intersections of maximal consistent subbases. An illustration of all these operators and a comparison with others are inverstigated by examples.


title: Algebra of quantum ${\cal C}$-polynomials

abstract: Knot polynomials colored with symmetric representations of $SL_q(N)$ satisfy difference equations as functions of representation parameter, which look like quantization of classical ${\cal A}$-polynomials. However, they are quite difficult to derive and investigate. Much simpler should be the equations for coefficients of differential expansion nicknamed quantum ${\cal C}$-polynomials. It turns out that, for each knot, one can actually derive two difference equations of a finite order for these coefficients, those with shifts in spin $n$ of the representation and in $A=q^N$. Thus, the ${\cal C}$-polynomials are much richer and form an entire ring. We demonstrate this with the examples of various defect zero knots, mostly discussing the entire twist family.


title: Fine-grained complexity of the list homomorphism problem: feedback vertex set and cutwidth

abstract: For graphs $G,H$, a homomorphism from $G$ to $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the list homomorphism problem, denoted by \textsc{LHom}($H$), we are given a graph $G$ and lists $L: V(G) \to 2^{V(H)}$, and we ask for a homomorphism from $G$ to $H$ which additionally respects the lists $L$. Very recently Okrasa, Piecyk, and Rz\k{a}\.zewski [ESA 2020] defined an invariant $i^*(H)$ and proved that under the SETH $\mathcal{O}^*\left (i^*(H)^{\textrm{tw}(G)}\right)$ is the tight complexity bound for \textsc{LHom}($H$), parameterized by the treewidth $\textrm{tw}(G)$ of the instance graph $G$. We study the complexity of the problem under dirretent parameterizations. As the first result, we show that $i^*(H)$ is also the right complexity base if the parameter is the size of a minimum feedback vertex set of $G$. Then we turn our attention to a parameterization by the cutwidth $\textrm{ctw}(G)$ of $G$. Jansen and Nederlof~[ESA 2018] showed that \textsc{List $k$-Coloring} (i.e., \textsc{LHom}($K_k$)) can be solved in time $\mathcal{O}^*\left (c^{\textrm{ctw}(G)}\right)$ where $c$ does not depend on $k$. Jansen asked if this behavior extends to graph homomorphisms. As the main result of the paper, we answer the question in the negative. We define a new graph invariant $mim^*(H)$ and prove that \textsc{LHom}($H$) problem cannot be solved in time $\mathcal{O}^*\left ((mim^*(H)-\varepsilon)^{\textrm{ctw}(G)}\right)$ for any $\varepsilon >0$, unless the SETH fails. This implies that there is no $c$, such that for every odd cycle the non-list version of the problem can be solved in time $\mathcal{O}^*\left (c^{\textrm{ctw}(G)} \right)$. Finally, we generalize the algorithm of Jansen and Nederlof, so that it can be used to solve \textsc{LHom}($H$) for every graph $H$; its complexity depends on $\textrm{ctw}(G)$ and another invariant of $H$, which is constant for cliques.


title: Comparing Labelled Markov Decision Processes

abstract: A labelled Markov decision process is a labelled Markov chain with nondeterminism, i.e., together with a strategy a labelled MDP induces a labelled Markov chain. The model is related to interval Markov chains. Motivated by applications of equivalence checking for the verification of anonymity, we study the algorithmic comparison of two labelled MDPs, in particular, whether there exist strategies such that the MDPs become equivalent/inequivalent, both in terms of trace equivalence and in terms of probabilistic bisimilarity. We provide the first polynomial-time algorithms for computing memoryless strategies to make the two labelled MDPs inequivalent if such strategies exist. We also study the computational complexity of qualitative problems about making the total variation distance and the probabilistic bisimilarity distance less than one or equal to one.


title: The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

abstract: Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. However, there is currently no validated database of cough sounds with which to train such ML models. The COUGHVID dataset provides over 20,000 crowdsourced cough recordings representing a wide range of subject ages, genders, geographic locations, and COVID-19 statuses. First, we filtered the dataset using our open-sourced cough detection algorithm. Second, experienced pulmonologists labeled more than 2,000 recordings to diagnose medical abnormalities present in the coughs, thereby contributing one of the largest expert-labeled cough datasets in existence that can be used for a plethora of cough audio classification tasks. Finally, we ensured that coughs labeled as symptomatic and COVID-19 originate from countries with high infection rates, and that their expert labels are consistent. As a result, the COUGHVID dataset contributes a wealth of cough recordings for training ML models to address the world's most urgent health crises.


title: Universal moir\'e nematic phase in twisted graphitic systems

abstract: Graphene moir\'e superlattices display electronic flat bands. At integer fillings of these flat bands, energy gaps due to strong electron-electron interactions are generally observed. However, the presence of other correlation-driven phases in twisted graphitic systems at non-integer fillings is unclear. Here, we report scanning tunneling microscopy (STM) measurements that reveal the existence of threefold rotational (C3) symmetry breaking in twisted double bilayer graphene (tDBG). Using spectroscopic imaging over large and uniform areas to characterize the direction and degree of C3 symmetry breaking, we find it to be prominent only at energies corresponding to the flat bands and nearly absent in the remote bands. We demonstrate that the C3 symmetry breaking cannot be explained by heterostrain or the displacement field, and is instead a manifestation of an interaction-driven electronic nematic phase, which emerges even away from integer fillings. Comparing our experimental data with a combination of microscopic and phenomenological modeling, we show that the nematic instability is not associated with the local scale of the graphene lattice, but is an emergent phenomenon at the scale of the moir\'e lattice, pointing to the universal character of this ordered state in flat band moir\'e materials.


title: Risk upper bounds for RKHS ridge group sparse estimator in the regression model with non-Gaussian and non-bounded error

abstract: We consider the problem of estimating a meta-model of an unknown regression model with non-Gaussian and non-bounded error. The meta-model belongs to a reproducing kernel Hilbert space constructed as a direct sum of Hilbert spaces leading to an additive decomposition including the variables and interactions between them. The estimator of this meta-model is calculated by minimizing an empirical least-squares criterion penalized by the sum of the Hilbert norm and the empirical $L^2$-norm. In this context, the upper bounds of the empirical $L^2$ risk and the $L^2$ risk of the estimator are established.


title: The Next Era of American Law Amid the Advent of Autonomous AI Legal Reasoning

abstract: Legal scholars have postulated that there have been three eras of American law to-date, consisting in chronological order of the initial Age of Discovery, the Age of Faith, and then the Age of Anxiety. An open question that has received erudite attention in legal studies is what the next era, the fourth era, might consist of, and for which various proposals exist including examples such as the Age of Consent, the Age of Information, etc. There is no consensus in the literature as yet on what the fourth era is, and nor whether the fourth era has already begun or will instead emerge in the future. This paper examines the potential era-elucidating impacts amid the advent of autonomous Artificial Intelligence Legal Reasoning (AILR), entailing whether such AILR will be an element of a fourth era or a driver of a fourth, fifth, or perhaps the sixth era of American law. Also, a set of meta-characteristics about the means of identifying a legal era changeover are introduced, along with an innovative discussion of the role entailing legal formalism versus legal realism in the emergence of the American law eras.


title: Effective and Efficient Variable-Length Data Series Analytics

abstract: In the last twenty years, data series similarity search has emerged as a fundamental operation at the core of several analysis tasks and applications related to data series collections. Many solutions to different mining problems work by means of similarity search. In this regard, all the proposed solutions require the prior knowledge of the series length on which similarity search is performed. In several cases, the choice of the length is critical and sensibly influences the quality of the expected outcome. Unfortunately, the obvious brute-force solution, which provides an outcome for all lengths within a given range is computationally untenable. In this Ph.D. work, we present the first solutions that inherently support scalable and variable-length similarity search in data series, applied to sequence/subsequences matching, motif and discord discovery problems.The experimental results show that our approaches are up to orders of magnitude faster than the alternatives. They also demonstrate that we can remove the unrealistic constraint of performing analytics using a predefined length, leading to more intuitive and actionable results, which would have otherwise been missed.


title: Prescribed-Time Fully Distributed Nash Equilibrium Seeking in Noncooperative Games

abstract: In this paper, we investigate a prescribed-time and fully distributed Nash Equilibrium (NE) seeking problem for continuous-time noncooperative games. By exploiting pseudo-gradient play and consensus-based schemes, various distributed NE seeking algorithms are presented over either fixed or switching communication topologies so that the convergence to the NE is reached in a prescribed time. In particular, a prescribed-time distributed NE seeking algorithm is firstly developed under a fixed graph to find the NE in a prior-given and user-defined time, provided that a static controller gain can be selected based on certain global information such as the algebraic connectivity of the communication graph and both the Lipschitz and monotone constants of the pseudo-gradient associated with players' objective functions. Secondly, a prescribed-time and fully distributed NE seeking algorithm is proposed to remove global information by designing heterogeneous dynamic gains that turn on-line the weights of the communication topology. Further, we extend this algorithm to accommodate jointly switching topologies. It is theoretically proved that the global convergence of those proposed algorithms to the NE is rigorously guaranteed in a prescribed time based on a time function transformation approach. In the last, numerical simulation results are presented to verify the effectiveness of the designs.


title: An endpoint estimate for the commutators of singular integral operators with rough kernels

abstract: Let $\Omega$ be homogeneous of degree zero and have mean value zero on the unit sphere ${S}^{d-1}$, $T_{\Omega}$ be the homogeneous singular integral operator with kernel $\frac{\Omega(x)}{|x|^d}$ and $T_{\Omega,\,b}$ be the commutator of $T_{\Omega}$ with symbol $b$. In this paper, we prove that if $\Omega\in L(\log L)^2(S^{d-1})$, then for $b\in {\rm BMO}(\mathbb{R}^d)$, $T_{\Omega,\,b}$ satisfies an endpoint estimate of $L\log L$ type.


title: Flexibility of sections of nearly integrable Hamiltonian systems

abstract: Given any symplectomorphism on $D^{2n} (n\geq 1)$ which is $C^{\infty}$ close to the identity, and any completely integrable Hamiltonian system $\Phi^t_H$ in the proper dimension, we construct a $C^{\infty}$ perturbation of $H$ such that the resulting Hamiltonian flow contains a "local Poincar\'{e} section" that "realizes" the symplectomorphism. As a (motivating) application, we show that there are arbitrarily small perturbations of any completely integrable Hamiltonian system which are entropy non-expansive (and, in particular, exhibit hyperbolic behavior on a set of positive measure).


title: Fluorescence-Guided Raman Spectroscopy for Tumour Margin Delineation

abstract: The initial detection and identification of suspicious lesions and the precise delineation of tumour mar-gins are essential for successful tumour resection, with progression-free survival linked to rates of complete resection. However, post-surgical positive margin rates remain high for many cancers and despite numerous advances in intraoperative imaging and diagnostic technologies, there exists no single modality that can adequately perform both tumoural detection and delineation. Here, we demonstrate a multimodal computer vision-based diagnostic system capable of both the gross detection and identification of suspicious lesions and the precise delineation of disease margins. We first show that through visual tracking of a spectroscopic probe, we enable real-time tumour margin delineation both for ex vivo human tumour biopsies and for an in vivo tumour xenograft mouse model. We then demonstrate that the combination of Raman spectroscopic diagnoses with protoporphyrin IX (PPIX) fluorescence imaging enables fluorescence-guided Raman spectroscopic margin delineation. Our fluorescence-guided Raman spectroscopic system achieves superior margin delineation accuracy to fluorescence imaging alone, demonstrating the potential for our system to achieve improved clinical outcomes for tumour resection surgeries.


title: Adding Potentials to Superintegrable Systems with Symmetry

abstract: In previous work, we have considered Hamiltonians associated with 3 dimensional conformally flat spaces, possessing 2, 3 and 4 dimensional isometry algebras. Previously our Hamiltonians have represented free motion, but here we consider the problem of adding potential functions in the presence of symmetry. Separable potentials in the 3 dimensional space reduce to 3 or 4 parameter potentials for Darboux-Koenigs Hamiltonians. Other 3D coordinate systems reveal connections between Darboux-Koenigs and other well known super-integrable Hamiltonians, such as the Kepler problem and isotropic oscillator.


title: Best Practices for Managing Data Annotation Projects

abstract: Annotation is the labeling of data by human effort. Annotation is critical to modern machine learning, and Bloomberg has developed years of experience of annotation at scale. This report captures a wealth of wisdom for applied annotation projects, collected from more than 30 experienced annotation project managers in Bloomberg's Global Data department.


title: Apriori and aposteriori error estimation of Subgrid multiscale stabilized finite element method for fully coupled Navier-Stokes Transport model

abstract: In this paper a fully coupled system of transient $Navier$-$Stokes$ ($NS$) fluid flow model and variable coefficient unsteady Advection-Diffusion-Reaction ($VADR$) transport model has been studied through subgrid multiscale stabilized finite element method. In particular algebraic approach of approximating the subscales has been considered to arrive at stabilized variational formulation of the coupled system. This system is strongly coupled since viscosity of the fluid depends upon the concentration, whose transportation is modelled by $VADR$ equation. Fully implicit schemes have been considered for time discretisation. Further more elaborated derivations of both $apriori$ and $aposteriori$ error estimates for stabilized finite element scheme have been carried out. Credibility of the stabilized method is also established well through various numerical experiments, presented before concluding.


title: Skyrmion lattice creep at ultra-low current densities

abstract: Magnetic skyrmions are well-suited for encoding information because they are nano-sized, topologically stable, and only require ultra-low critical current densities $j_c$ to depin from the underlying atomic lattice. Above $j_c$ skyrmions exhibit well-controlled motion, making them prime candidates for race-track memories. In thin films thermally-activated creep motion of isolated skyrmions was observed below $j_c$ as predicted by theory. Uncontrolled skyrmion motion is detrimental for race-track memories and is not fully understood. Notably, the creep of skyrmion lattices in bulk materials remains to be explored. Here we show using resonant ultrasound spectroscopy--a probe highly sensitive to the coupling between skyrmion and atomic lattices--that in the prototypical skyrmion lattice material MnSi depinning occurs at $j_c^*$ that is only 4 percent of $j_c$. Our experiments are in excellent agreement with Anderson-Kim theory for creep and allow us to reveal a new dynamic regime at ultra-low current densities characterized by thermally-activated skyrmion-lattice-creep with important consequences for applications.


title: The Leray-G{\aa}rding method for finite difference schemes. II. Smooth crossing modes

abstract: In [Cou15] a multiplier technique, going back to Leray and G{\aa}rding for scalar hyperbolic partial differential equations, has been extended to the context of finite difference schemes for evolutionary problems. The key point of the analysis in [Cou15] was to obtain a discrete energy-dissipation balance law when the initial difference operator is multiplied by a suitable quantity. The construction of the energy and dissipation functionals was achieved in [Cou15] under the assumption that all modes were separated. We relax this assumption here and construct, for the same multiplier as in [Cou15], the energy and dissipation functionals when some modes cross. Semigroup estimates for fully discrete hy-perbolic initial boundary value problems are deduced in this broader context by following the arguments of [Cou15].


title: Effects of surface topography on low Reynolds number droplet/bubble flow through constricted passage

abstract: This paper is an attempt to study the effects of surface topography on the flow of a droplet (or a bubble) in a low Reynolds number flow regime. Multiphase flows through a constricted passage find many interesting applications in chemistry and biology. The main parameters which determine the flow properties such as flow rate and pressure drop, and govern the complex multiphase phenomena such as drop coalescence, break-up and snap-off in a straight channel flow are the viscosity ratio, droplet size and ratio of the viscous forces to the surface tension forces (denoted by Capillary number). But in flow through a constricted passage, in addition to the above-mentioned parameters, various other geometric parameters such as constriction ratio, length and shape of the constriction, phase angle, and spacing between the constrictions also start playing an important role. Most of the studies done on the problem of drop flow through a constricted passage have aimed to understand the role of physical parameters, with some studies extending their analysis to understand the variation of one or two geometric parameters. But no study could be found which explicitly evaluates the role of surface topography. An attempt has been made to unify the current literature as well as analyze the effect of the geometric parameters by understanding the physics and mechanisms involved. The non-dimensional numbers which govern this problem are then identified using the scaling analysis.


title: Boundedness in a chemotaxis system with consumed chemoattractant and produced chemorepellent

abstract: We study this zero-flux attraction-repulsion chemotaxis model, with linear and superlinear production $g$ for the chemorepellent and sublinear rate $f$ for the chemoattractant: \begin{equation}\label{problem_abstract} \tag{$\Diamond$} \begin{cases} u_t= \Delta u - \chi \nabla \cdot (u \nabla v)+\xi \nabla \cdot (u \nabla w) & \text{ in } \Omega \times (0,T_{max}),\\ v_t=\Delta v-f(u)v & \text{ in } \Omega \times (0,T_{max}),\\ 0= \Delta w - \delta w + g(u)& \text{ in } \Omega \times (0,T_{max}). %u(x,0)=u_0(x), \; v(x,0)=v_0(x) & x \in \bar\Omega. \end{cases} \end{equation} In this problem, $\Omega$ is a bounded and smooth domain of $\R^n$, for $n\geq 1$, $\chi,\xi,\delta>0$, $f(u)$ and $g(u)$ reasonably regular functions generalizing the prototypes $f(u)=K u^\alpha$ and $g(u)=\gamma u^l$, with $K,\gamma>0$ and proper $ \alpha, l>0$. Once it is indicated that any sufficiently smooth $u(x,0)=u_0(x)\geq 0$ and $v(x,0)=v_0(x)\geq 0$ produce a unique classical and nonnegative solution $(u,v,w)$ to \eqref{problem_abstract}, which is defined in $\Omega \times (0,T_{max})$, we establish that for any such $(u_0,v_0)$, the life span $\TM=\infty$ and $u, v$ and $w$ are uniformly bounded in $\Omega\times (0,\infty)$, (i) for $l=1$, $n\in \{1,2\}$, $\alpha\in (0,\frac{1}{2}+\frac{1}{n})\cap (0,1)$ and any $\xi>0$, (ii) for $l=1$, $n\geq 3$, $\alpha\in (0,\frac{1}{2}+\frac{1}{n})$ and $\xi$ larger than a quantity depending on $\chi \lVert v_0 \rVert_{L^\infty(\Omega)}$, (iii) for $l>1$ any $\xi>0$, and in any dimensional settings. Finally, an indicative analysis about the effect by logistic and repulsive actions on chemotactic phenomena is proposed by comparing the results herein derived for the linear production case with those in \cite{LankeitWangConsumptLogistic}.


title: Association between COVID-19 cases and international equity indices

abstract: This paper analyzes the impact of COVID-19 on the populations and equity markets of 92 countries. We compare country-by-country equity market dynamics to cumulative COVID-19 case and death counts and new case trajectories. First, we examine the multivariate time series of cumulative cases and deaths, particularly regarding their changing structure over time. We reveal similarities between the case and death time series, and key dates that the structure of the time series changed. Next, we classify new case time series, demonstrate five characteristic classes of trajectories, and quantify discrepancy between them with respect to the behavior of waves of the disease. Finally, we show there is no relationship between countries' equity market performance and their success in managing COVID-19. Each country's equity index has been unresponsive to the domestic or global state of the pandemic. Instead, these indices have been highly uniform, with most movement in March.


title: On the modified ideal sheaf

abstract: It is a sequel to (Wu in arXiv:2003.05187). In that paper, we introduce a notion called modified ideal sheaf in order to make an asymptotic estimate for the order of the cohomology group. Here we continue to a general discussion about this notion. As an application, we study the direct images associated with a pseudo-effective line bundle.


title: EEGdenoiseNet: A benchmark dataset for end-to-end deep learning solutions of EEG denoising

abstract: Deep learning networks are increasingly attracting attention in various fields, including electroencephalography (EEG) signal processing. These models provided comparable performance with that of traditional techniques. At present, however, lacks of well-structured and standardized datasets with specific benchmark limit the development of deep learning solutions for EEG denoising. Here, we present EEGdenoiseNet, a benchmark EEG dataset that is suited for training and testing deep learning-based denoising models, as well as for performance comparisons across models. EEGdenoiseNet contains 4514 clean EEG segments, 3400 ocular artifact segments and 5598 muscular artifact segments, allowing users to synthesize contaminated EEG segments with the ground-truth clean EEG. We used EEGdenoiseNet to evaluate denoising performance of four classical networks (a fully-connected network, a simple and a complex convolution network, and a recurrent neural network). Our analysis suggested that deep learning methods have great potential for EEG denoising even under high noise contamination. Through EEGdenoiseNet, we hope to accelerate the development of the emerging field of deep learning-based EEG denoising.


title: Heuristics based Mosaic of Social-Sensor Services for Scene Reconstruction

abstract: We propose a heuristics-based social-sensor cloud service selection and composition model to reconstruct mosaic scenes. The proposed approach leverages crowdsourced social media images to create an image mosaic to reconstruct a scene at a designated location and an interval of time. The novel approach relies on the set of features defined on the bases of the image metadata to determine the relevance and composability of services. Novel heuristics are developed to filter out non-relevant services. Multiple machine learning strategies are employed to produce smooth service composition resulting in a mosaic of relevant images indexed by geolocation and time. The preliminary analytical results prove the feasibility of the proposed composition model.


title: High reflectance and optical dynamics of a metasurface comprizing quantum $\Lambda$-emitters

abstract: In this Letter, we study theoretically reflectance of a monolayer comprizing regularly spaced quantum $\Lambda$-emitters. Due to high density of the latter, the monolayer almost totally reflects the incident field in the vicinity of the system's collective (excitonic) resonance. The emitter self-action through the secondary field provides a positive feedback, interplay of which with the inherent nonlinearity of an emitter itself, results in an exotic behavior of the system reflectance, including bistability, self-oscillations, and chaotic dynamics. All these features might be of interest for nanophotonic applications


title: SubGraph2Vec: Highly-Vectorized Tree-likeSubgraph Counting

abstract: Subgraph counting aims to count occurrences of a template T in a given network G(V, E). It is a powerful graph analysis tool and has found real-world applications in diverse domains. Scaling subgraph counting problems is known to be memory bounded and computationally challenging with exponential complexity. Although scalable parallel algorithms are known for several graph problems such as Triangle Counting and PageRank, this is not common for counting complex subgraphs. Here we address this challenge and study connected acyclic graphs or trees. We propose a novel vectorized subgraph counting algorithm, named Subgraph2Vec, as well as both shared memory and distributed implementations: 1) reducing algorithmic complexity by minimizing neighbor traversal; 2) achieving a highly-vectorized implementation upon linear algebra kernels to significantly improve performance and hardware utilization. 3) Subgraph2Vec improves the overall performance over the state-of-the-art work by orders of magnitude and up to 660x on a single node. 4) Subgraph2Vec in distributed mode can scale up the template size to 20 and maintain good strong scalability. 5) enabling portability to both CPU and GPU.


title: Centrality dependence of limiting fragmentation

abstract: We investigate the centrality-dependent validity of the limiting-fragmentation hypothesis in relativistic heavy-ion collisions at energies reached at the Relativistic Heavy Ion Collider (RHIC) and the Large Hadron Collider (LHC). A phenomenological analysis of Au-Au and Pb-Pb collisions within a three-source relativistic diffusion model (RDM) is performed at sqrt(s_NN) = 19.6, 62.4, 130, 200, 2760 and 5023 GeV using four centrality cuts at each energy. Linear and nonlinear expressions for the rapidity drift function are tested and their physical relevance is discussed. Our results are compatible with the limiting-fragmentation conjecture for the investigated centralities in the full energy range. The number of particles in the fragmentation and fireball sources are found to depend on sqrt(s_NN) logarithmically and cubic-logarithmically, respectively.


title: Marginal dynamics of interacting diffusions on unimodular Galton-Watson trees

abstract: Consider a system of homogeneous interacting diffusive particles labeled by the nodes of a unimodular Galton-Watson (UGW) tree, where the state of each node evolves like a d-dimensional diffusion whose drift coefficient depends on (the histories of) its own state and the states of neighboring nodes, and whose diffusion coefficient depends only on (the history of) its own state. Under suitable regularity assumptions on the coefficients, an autonomous characterization is obtained for the marginal distribution of the dynamics of the neighborhood of a typical node in terms of a certain local equation, which is a new kind of SDE that is nonlinear in the sense of McKean. This equation describes a finite-dimensional non-Markovian stochastic process whose evolution at any time depends not only on the structure and current state of the neighborhood, but also on the conditional law of the current state given the past of the states of neighborhing nodes. Such marginal distributions are of interest because they arise as weak limits of both marginal distributions and empirical measures of interacting diffusions on many sequences of sparse random graphs, including the configuration model and Erdos-Renyi graphs whose average degrees converge to a finite non-zero limit. The results obtained complement classical results in the mean-field regime, which characterize the limiting dynamics of homogeneous interacting diffusions on complete graphs, as the number of nodes goes to infinity, in terms of a corresponding nonlinear Markov process. However, in the sparse graph setting, the topology of the graph strongly influences the dynamics, and the analysis requires a completely different approach. The proofs of existence and uniqueness of the local equation rely on delicate new conditional independence and symmetry properties of particle trajectories on UGW trees, as well as judicious use of changes of measure.


title: Rational solutions of Painleve systems

abstract: Although the solutions of Painlev\'e equations are transcendental in the sense that they cannot be expressed in terms of known elementary functions, there do exist rational solutions for specialized values of the equation parameters. A very successful approach in the study of rational solutions to Painlev\'e equations involves the reformulation of these scalar equations into a symmetric system of coupled, Riccati-like equations known as dressing chains. Periodic dressing chains are known to be equivalent to the $A_N$-Painlev\'e system, first described by Noumi and Yamada. The Noumi-Yamada system, in turn, can be linearized as using bilinear equations and $\tau$-functions; the corresponding rational solutions can then be given as specializations of rational solutions of the KP hierarchy. The classification of rational solutions to Painlev\'e equations and systems may now be reduced to an analysis of combinatorial objects known as Maya diagrams. The upshot of this analysis is a an explicit determinental representation for rational solutions in terms of classical orthogonal polynomials. In this paper we illustrate this approach by describing Hermite-type rational solutions of Painlev\'e of the Noumi-Yamada system in terms of cyclic Maya diagrams. By way of example we explicitly construct Hermite-type solutions for the PIV, PV equations and the $A_4$ Painlev\'e system.


title: Forecasting for Social Good

abstract: Forecasting plays a critical role in the development of organisational business strategies. Despite a considerable body of research in the area of forecasting, the focus has largely been on the financial and economic outcomes of the forecasting process as opposed to societal benefits. Our motivation in this study is to promote the latter, with a view to using the forecasting process to advance social and environmental objectives such as equality, social justice and sustainability. We refer to such forecasting practices as Forecasting for Social Good (FSG) where the benefits to society and the environment take precedence over economic and financial outcomes. We conceptualise FSG and discuss its scope and boundaries in the context of the "Doughnut theory". We present some key attributes that qualify a forecasting process as FSG: it is concerned with a real problem, it is focused on advancing social and environmental goals and prioritises these over conventional measures of economic success, and it has a broad societal impact. We also position FSG in the wider literature on forecasting and social good practices. We propose an FSG maturity framework as the means to engage academics and practitioners with research in this area. Finally, we highlight that FSG: (i) cannot be distilled to a prescriptive set of guidelines, (ii) is scalable, and (iii) has the potential to make significant contributions to advancing social objectives.


title: The Euler characteristic of configuration spaces

abstract: In this short note we present a generating function computing the compactly supported Euler characteristic $\chi_c(F(X, n), K^{\boxtimes n})$ of the configuration spaces on a topologically stratified space $X$, with $K$ a constructible complex of sheaves on $X$, and we obtain as a special case a generating function for the Euler characteristic $\chi(F(X, n))$. We also recall how to use existing results to turn our computation of the Euler characteristic into a computation of the equivariant Euler characteristic.


title: Doubly Modulated Optical Lattice Clock Interference and Topology

abstract: The quantum system under periodical modulation is the simplest path to understand the quantum non-equilibrium system, because it can be well described by the effective static Floquet Hamiltonian. Under the stroboscopic measurement, the initial phase is usually irrelevant. However, if two uncorrelated parameters are modulated, their relative phase can not be gauged out, so that the physics can be dramatically changed. Here, we simultaneously modulate the frequency of the lattice laser and the Rabi frequency in an optical lattice clock (OLC) system. Thanks to ultra-high precision and ultra-stability of OLC, the relative phase could be fine-tuned. As a smoking gun, we observed the interference between two Floquet channels. Finally, by experimentally detecting the eigen-energies, we demonstrate the relation between effective Floquet Hamiltonian and 1-D topological insulator with high winding number. Our experiment not only provides a direction for detecting the phase effect, but also paves a way in simulating quantum topological phase in OLC platform.


title: Accurate characterization of tip-induced potential using electron interferometry

abstract: Using the tip of a scanning probe microscope as a local electrostatic gate gives access to real space information on electrostatics as well as charge transport at the nanoscale, provided that the tip-induced electrostatic potential is well known. Here, we focus on the accurate characterization of the tip potential, in a regime where the tip locally depletes a two-dimensional electron gas (2DEG) hosted in a semiconductor heterostructure. Scanning the tip in the vicinity of a quantum point contact defined in the 2DEG, we observe Fabry-P\'erot interference fringes at low temperature in maps of the device conductance. We exploit the evolution of these fringes with the tip voltage to measure the change in depletion radius by electron interferometry. We find that a semi-classical finite-element self-consistent model taking into account the conical shape of the tip reaches a faithful correspondence with the experimental data.


title: Uniqueness for an inverse coefficient problem for a one-dimensional time-fractional diffusion equation with non-zero boundary conditions

abstract: We consider initial boundary value problems for one-dimensional diffusion equation with time-fractional derivative of order $\alpha \in (0,1)$ which are subject to non-zero Neumann boundary conditions. We prove the uniqueness for an inverse coefficient problem of determining a spatially varying potential and the order of the time-fractional derivative by Dirichlet data at one end point of the spatial interval. The imposed Neumann conditions are required to be within the correct Sobolev space of order $\alpha$. Our proof is based on a representation formula of solution to an initial boundary value problem with non-zero boundary data. Moreover, we apply such a formula and prove the uniqueness in the determination of boundary value at another end point by Cauchy data at one end point.


title: The Bipartite Boolean Quadric Polytope with Multiple-Choice Constraints

abstract: We consider the bipartite boolean quadric polytope (BQP) with multiple-choice constraints and analyse its combinatorial properties. The well-studied BQP is defined as the convex hull of all quadric incidence vectors over a bipartite graph. In this work, we study the case where there is a partition on one of the two bipartite node sets such that at most one node per subset of the partition can be chosen. This polytope arises, for instance, in pooling problems with fixed proportions of the inputs at each pool. We show that it inherits many characteristics from BQP, among them a wide range of facet classes and operations which are facet preserving. Moreover, we characterize various cases in which the polytope is completely described via the relaxation-linearization inequalities. The special structure induced by the additional multiple-choice constraints also allows for new facet-preserving symmetries as well as lifting operations. Furthermore, it leads to several novel facet classes as well as extensions of these via lifting. We additionally give computationally tractable exact separation algorithms, most of which run in polynomial time. Finally, we demonstrate the strength of both the inherited and the new facet classes in computational experiments on random as well as real-world problem instances. It turns out that in many cases we can close the optimality gap almost completely via cutting planes alone, and, consequently, solution times can be reduced significantly.


title: Kirchhoff's Circuit Law Applications to Graph Simplification in Search Problems

abstract: This paper proposes a new analysis of graph using the concept of electric potential, and also proposes a graph simplification method based on this analysis. Suppose that each node in the weighted-graph has its respective potential value. Furthermore, suppose that the start and terminal nodes in graphs have maximum and zero potentials, respectively. When we let the level of each node be defined as the minimum number of edges/hops from the start node to the node, the proper potential of each level can be estimated based on geometric proportionality relationship. Based on the estimated potential for each level, we can re-design the graph for path-finding problems to be the electrical circuits, thus Kirchhoff's Circuit Law can be directed applicable for simplifying the graph for path-finding problems.


title: Eye Movement Feature Classification for Soccer Goalkeeper Expertise Identification in Virtual Reality

abstract: The latest research in expertise assessment of soccer players has affirmed the importance of perceptual skills (especially for decision making) by focusing either on high experimental control or on a realistic presentation. To assess the perceptual skills of athletes in an optimized manner, we captured omnidirectional in-field scenes and showed these to 12 expert, 10 intermediate and 13 novice soccer goalkeepers on virtual reality glasses. All scenes were shown from the same natural goalkeeper perspective and ended after the return pass to the goalkeeper. Based on their gaze behavior we classified their expertise with common machine learning techniques. This pilot study shows promising results for objective classification of goalkeepers expertise based on their gaze behaviour and provided valuable insight to inform the design of training systems to enhance perceptual skills of athletes.


title: Legally grounded fairness objectives

abstract: Recent work has identified a number of formally incompatible operational measures for the unfairness of a machine learning (ML) system. As these measures all capture intuitively desirable aspects of a fair system, choosing "the one true" measure is not possible, and instead a reasonable approach is to minimize a weighted combination of measures. However, this simply raises the question of how to choose the weights. Here, we formulate Legally Grounded Fairness Objectives (LGFO), which uses signals from the legal system to non-arbitrarily measure the social cost of a specific degree of unfairness. The LGFO is the expected damages under a putative lawsuit that might be awarded to those who were wrongly classified, in the sense that the ML system made a decision different to that which would have be made under the court's preferred measure. Notably, the two quantities necessary to compute the LGFO, the court's preferences about fairness measures, and the expected damages, are unknown but well-defined, and can be estimated by legal advice. Further, as the damages awarded by the legal system are designed to measure and compensate for the harm caused to an individual by an unfair classification, the LGFO aligns closely with society's estimate of the social cost.


title: MeV-scale Seesaw and Leptogenesis

abstract: We study the type-I seesaw model with three right-handed neutrinos and Majorana masses below the pion mass. In this mass range, the model parameter space is not only strongly constrained by the requirement to explain the light neutrino masses, but also by experimental searches and cosmological considerations. In the existing literature, three disjoint regions of potentially viable parameter space have been identified. In one of them, all heavy neutrinos decay shortly before big bang nucleosynthesis. In the other two regions, one of the heavy neutrinos either decays between BBN and the CMB decoupling or is quasi-stable. We show that previously unaccounted constraints from photodisintegration of nuclei practically rule out all relevant decays that happen between BBN and the CMB decoupling. Quite remarkably, if all heavy neutrinos decay before BBN, the baryon asymmetry of the universe can be quite generically explained by low-scale leptogenesis, i.e. without further tuning in addition to what is needed to avoid experimental and cosmological constraints. This motivates searches for heavy neutrinos in pion decay experiments.


title: Covering monotonicity of the limit shapes of first passage percolation on crystal lattices

abstract: This paper studies the first passage percolation (FPP) model: each edge in the cubic lattice is assigned a random passage time, and consideration is given to the behavior of the percolation region $B(t)$, which consists of those vertices that can be reached from the origin within a time $t > 0$. Cox and Durrett showed the shape theorem for the percolation region, saying that the normalized region $B(t)/t$ converges to some limit shape $\mathcal{B}$. This paper introduces a general FPP model defined on crystal lattices, and shows the monotonicity of the limit shapes under covering maps, thereby providing insight into the limit shape of the cubic FPP model.


title: Privacy-preserving Transfer Learning via Secure Maximum Mean Discrepancy

abstract: The success of machine learning algorithms often relies on a large amount of high-quality data to train well-performed models. However, data is a valuable resource and are always held by different parties in reality. An effective solution to such a data isolation problem is to employ federated learning, which allows multiple parties to collaboratively train a model. In this paper, we propose a Secure version of the widely used Maximum Mean Discrepancy (SMMD) based on homomorphic encryption to enable effective knowledge transfer under the data federation setting without compromising the data privacy. The proposed SMMD is able to avoid the potential information leakage in transfer learning when aligning the source and target data distribution. As a result, both the source domain and target domain can fully utilize their data to build more scalable models. Experimental results demonstrate that our proposed SMMD is secure and effective.


title: Probing redox potential for Iron sulfur clusters in photosystem I

abstract: Photosystem I is a light-driven electron transfer device. Available X-ray crystal structure from Thermosynechococcus elongatus, showed that electron transfer pathways consist of two nearly symmetric branches of cofactors converging at the first iron sulfur cluster FX, which is followed by two terminal iron sulfur clusters FA and FB. Experiments have shown that Fx has lower oxidation potential than FA and FB, which facilitate the electron transfer reaction. Here, we use Density Functional Theory and Multi-Conformer Continuum Electrostatics to explain the differences in the midpoint Em potentials of the Fx, FA and FB clusters. Our calculations show that Fx has the lowest oxidation potential compared to FA and FB due strong pair-wise electrostatic interactions with surrounding residues. These interactions are shown to dominated by the bridging sulfurs and cysteine ligands, which may be attributed to the shorter average bond distances between the oxidized Fe ion and ligating sulfurs for FX compared to FA and FB. Moreover, the electrostatic repulsion between the 4Fe-4S clusters and the positive potential of the backbone atoms is least for FX compared to both of FA and FB. These results agree with the experimental measurements from the redox titrations of low-temperature EPR signals and of room temperature recombination kinetics.


title: Trigonometric $\vee$-systems and solutions of WDVV equations

abstract: We consider a class of trigonometric solutions of WDVV equations determined by collections of vectors with multiplicities. We show that such solutions can be restricted to special subspaces to produce new solutions of the same type. We find new solutions given by restrictions of root systems, as well as examples which are not of this form. Further, we consider a closely related notion of a trigonometric $\vee$-system and we show that their subsystems are also trigonometric $\vee$-systems. Finally, while reviewing the root system case we determine a version of (generalised) Coxeter number for the exterior square of the reflection representation of a Weyl group.


title: Magnetic anisotropy and exchange paths for octa- and tetrahedrally coordinated Mn$^{2+}$ ions in the honeycomb multiferroic Mn$_2$Mo$_3$O$_8$

abstract: We investigated the static and dynamic magnetic properties of the polar ferrimagnet Mn$_2$Mo$_3$O$_8$ in three magnetically ordered phases via magnetization, magnetic torque, and THz absorption spectroscopy measurements. The observed magnetic field dependence of the spin-wave resonances, including Brillouin zone-center and zone-boundary excitations, magnetization, and torque, are well described by an extended two-sublattice antiferromagnetic classical mean-field model. In this orbitally quenched system, the competing weak easy-plane and easy-axis single-ion anisotropies of the two crystallographic sites are determined from the model and assigned to the tetra- and octahedral sites, respectively, by ab initio calculations.


title: AliMe KG: Domain Knowledge Graph Construction and Application in E-commerce

abstract: Pre-sales customer service is of importance to E-commerce platforms as it contributes to optimizing customers' buying process. To better serve users, we propose AliMe KG, a domain knowledge graph in E-commerce that captures user problems, points of interests (POI), item information and relations thereof. It helps to understand user needs, answer pre-sales questions and generate explanation texts. We applied AliMe KG to several online business scenarios such as shopping guide, question answering over properties and recommendation reason generation, and gained positive results. In the paper, we systematically introduce how we construct domain knowledge graph from free text, and demonstrate its business value with several applications. Our experience shows that mining structured knowledge from free text in vertical domain is practicable, and can be of substantial value in industrial settings.


title: On the Relationship between Refactoring Actions and Bugs: A Differentiated Replication

abstract: Software refactoring aims at improving code quality while preserving the system's external behavior. Although in principle refactoring is a behavior-preserving activity, a study presented by Bavota et al. in 2012 reported the proneness of some refactoring actions (e.g., pull up method) to induce faults. The study was performed by mining refactoring activities and bugs from three systems. Taking profit of the advances made in the mining software repositories field (e.g., better tools to detect refactoring actions at commit-level granularity), we present a differentiated replication of the work by Bavota et al. in which we (i) overcome some of the weaknesses that affect their experimental design, (ii) answer the same research questions of the original study on a much larger dataset (3 vs 103 systems), and (iii) complement the quantitative analysis of the relationship between refactoring and bugs with a qualitative, manual inspection of commits aimed at verifying the extent to which refactoring actions trigger bug-fixing activities. The results of our quantitative analysis confirm the findings of the replicated study, while the qualitative analysis partially demystifies the role played by refactoring actions in the bug introduction.


title: Data-Driven Acceleration of Thermal Radiation Transfer Calculations with the Dynamic Mode Decomposition and a Sequential Singular Value Decomposition

abstract: We present a method for accelerating discrete ordinates radiative transfer calculations for radiative transfer. Our method works with nonlinear positivity fixes, in contrast to most acceleration schemes. The method is based on the dynamic mode decomposition (DMD) and using a sequence of rank-one updates to compute the singular value decomposition needed for DMD. Using a sequential method allows us to automatically determine the number of solution vectors to include in the DMD acceleration. We present results for slab geometry discrete ordinates calculations with the standard temperature linearization. Compared with positive source iteration, our results demonstrate that our acceleration method reduces the number of transport sweeps required to solve the problem by a factor of about 3 on a standard diffusive Marshak wave problem, a factor of several thousand on a cooling problem where the effective scattering ratio approaches unity, and a factor of 20 improvement in a realistic, multimaterial radiating shock problem.


title: Radiation Eigenmodes of Dicke Superradiance

abstract: We calculate the field eigenmodes of the superradiant emission from an ensemble of $N$ two-level atoms. While numerical techniques are effective due to the symmetry of the problem, we develop also an analytical method to approximates the modes in the limit of a large number of emitters. We find that Dicke superradiant emission is restricted to a small number of modes, with a little over 90\% of the photons emitted in a single dominant mode.


title: Fractional Ornstein-Uhlenbeck process with stochastic forcing and its applications

abstract: We consider a fractional Ornstein-Uhlenbeck process involving a stochastic forcing term in the drift, as a solution of a linear stochastic differential equation driven by a fractional Brownian motion. For such process we specify mean and covariance functions, concentrating on their asymptotic behavior. This gives us a sort of short- or long-range dependence, under specified hypotheses on the covariance of the forcing process. Applications of this process in neuronal modeling are discussed, providing an example of a stochastic forcing term as a linear combination of Heaviside functions with random center. Simulation algorithms for the sample path of this process are finally given.


title: A characterization of absorbing sets in coalition formation games

abstract: Given a standard myopic dynamic process among coalition structures, an absorbing set is a minimal collection of such structures that is never left once entered through that process. Absorbing sets are an important solution concept in coalition formation games, but they have drawbacks: they can be large and hard to obtain. In this paper, we characterize an absorbing set in terms of a collection consisting of a small number of sets of coalitions that we refer to as a "reduced form" of a game. We apply our characterization to study convergence to stability in several economic environments.


title: Technical design of the phase I Mu3e experiment

abstract: The Mu3e experiment aims to find or exclude the lepton flavour violating decay $\mu \rightarrow eee$ at branching fractions above $10^{-16}$. A first phase of the experiment using an existing beamline at the Paul Scherrer Institute (PSI) is designed to reach a single event sensitivity of $2\cdot 10^{-15}$. We present an overview of all aspects of the technical design and expected performance of the phase~I Mu3e detector. The high rate of up to $10^{8}$ muon decays per second and the low momenta of the decay electrons and positrons pose a unique set of challenges, which we tackle using an ultra thin tracking detector based on high-voltage monolithic active pixel sensors combined with scintillating fibres and tiles for precise timing measurements.


title: Experimentally friendly approach towards nonlocal correlations in multisetting N -partite Bell scenarios

abstract: In this work, we study a recently proposed operational measure of nonlocality by Fonseca and Parisio~[Phys. Rev. A 92, 030101(R) (2015)] which describes the probability of violation of local realism under randomly sampled observables, and the strength of such violation as described by resistance to white noise admixture. While our knowledge concerning these quantities is well established from a theoretical point of view, the experimental counterpart is a considerably harder task and very little has been done in this field. It is caused by the lack of complete knowledge about the facets of the local polytope required for the analysis. In this paper, we propose a simple procedure towards experimentally determining both quantities for $N$-qubit pure states, based on the incomplete set of tight Bell inequalities. We show that the imprecision arising from this approach is of similar magnitude as the potential measurement errors. We also show that even with both a randomly chosen $N$-qubit pure state and randomly chosen measurement bases, a violation of local realism can be detected experimentally almost $100\%$ of the time. Among other applications, our work provides a feasible alternative for the witnessing of genuine multipartite entanglement without aligned reference frames.


title: Language Generation with Multi-Hop Reasoning on Commonsense Knowledge Graph

abstract: Despite the success of generative pre-trained language models on a series of text generation tasks, they still suffer in cases where reasoning over underlying commonsense knowledge is required during generation. Existing approaches that integrate commonsense knowledge into generative pre-trained language models simply transfer relational knowledge by post-training on individual knowledge triples while ignoring rich connections within the knowledge graph. We argue that exploiting both the structural and semantic information of the knowledge graph facilitates commonsense-aware text generation. In this paper, we propose Generation with Multi-Hop Reasoning Flow (GRF) that enables pre-trained models with dynamic multi-hop reasoning on multi-relational paths extracted from the external commonsense knowledge graph. We empirically show that our model outperforms existing baselines on three text generation tasks that require reasoning over commonsense knowledge. We also demonstrate the effectiveness of the dynamic multi-hop reasoning module with reasoning paths inferred by the model that provide rationale to the generation.


title: A Variational Auto-Encoder for Reservoir Monitoring

abstract: Carbon dioxide Capture and Storage (CCS) is an important strategy in mitigating anthropogenic CO$_2$ emissions. In order for CCS to be successful, large quantities of CO$_2$ must be stored and the storage site conformance must be monitored. Here we present a deep learning method to reconstruct pressure fields and classify the flux out of the storage formation based on the pressure data from Above Zone Monitoring Interval (AZMI) wells. The deep learning method is a version of a semi conditional variational auto-encoder tailored to solve two tasks: reconstruction of an incremental pressure field and leakage rate classification. The method, predictions and associated uncertainty estimates are illustrated on the synthetic data from a high-fidelity heterogeneous 2D numerical reservoir model, which was used to simulate subsurface CO$_2$ movement and pressure changes in the AZMI due to a CO$_2$ leakage.


title: (Sub)stellar companions shape the winds of evolved stars

abstract: Binary interactions dominate the evolution of massive stars, but their role is less clear for low- and intermediate-mass stars. The evolution of a spherical wind from an asymptotic giant branch (AGB) star into a nonspherical planetary nebula (PN) could be due to binary interactions. We observed a sample of AGB stars with the Atacama Large Millimeter/submillimeter Array (ALMA) and found that their winds exhibit distinct nonspherical geometries with morphological similarities to planetary nebulae (PNe). We infer that the same physics shapes both AGB winds and PNe; additionally, the morphology and AGB mass-loss rate are correlated. These characteristics can be explained by binary interaction. We propose an evolutionary scenario for AGB morphologies that is consistent with observed phenomena in AGB stars and PNe.


title: Correlation of microdistortions with misfit volumes in High Entropy Alloys

abstract: The yield strengths of High Entropy Alloys have recently been correlated with measured picometer-scale atomic distortions. Here, the root mean square microdistortion in a multicomponent alloy is shown to be nearly proportional to the misfit-volume parameter that enters into a predictive model of solute strengthening. Analysis of two model ternary alloy families, face-centered cubic Cr-Fe-Ni and body-centered cubic Nb-Mo-V, demonstrates the correlation over a wide composition space. The reported correlation of yield strength with microdistortion is thus a consequence of the correlation between microdistortion and misfit parameter and the derived dependence of yield strength on the misfit parameter.


title: Efficient mesh refinement for the Poisson-Boltzmann equation with boundary elements

abstract: The Poisson-Boltzmann equation is a widely used model to study the electrostatics in molecular solvation. Its numerical solution using a boundary integral formulation requires a mesh on the molecular surface only, yielding accurate representations of the solute, which is usually a complicated geometry. Here, we utilize adjoint-based analyses to form two goal-oriented error estimates that allows us to determine the contribution of each discretization element (panel) to the numerical error in the solvation free energy. This information is useful to identify high-error panels to then refine them adaptively to find optimal surface meshes. We present results for spheres and real molecular geometries, and see that elements with large error tend to be in regions where there is a high electrostatic potential. We also find that even though both estimates predict different total errors, they have similar performance as part of an adaptive mesh refinement scheme. Our test cases suggest that the adaptive mesh refinement scheme is very effective, as we are able to reduce the error one order of magnitude by increasing the mesh size less than 20\%. This result sets the basis towards efficient automatic mesh refinement schemes that produce optimal meshes for solvation energy calculations.


title: Compressed imitation learning

abstract: In analogy to compressed sensing, which allows sample-efficient signal reconstruction given prior knowledge of its sparsity in frequency domain, we propose to utilize policy simplicity (Occam's Razor) as a prior to enable sample-efficient imitation learning. We first demonstrated the feasibility of this scheme on linear case where state-value function can be sampled directly. We also extended the scheme to scenarios where only actions are visible and scenarios where the policy is obtained from nonlinear network. The method is benchmarked against behavior cloning and results in significantly higher scores with limited expert demonstrations.