title: Guide to optical spectroscopy of layered semiconductors

abstract: In this technical review we give an introduction to optical spectroscopy for layered materials as a powerful, non-invasive tool to access details of the electronic band structure and crystal quality. Potential applications in photonics and optoelectronics are based on our understanding of the light-matter interaction on an atomic monolayer scale. Here atomically thin transition metal dichalcogenides, such as MoS2 and WSe2, are model systems for layered semiconductors with a bandgap in the visible region of the optical spectrum. They can be assembled to form heterostructures and combine the unique properties of the constituent monolayers. We review the working principles of micro-photoluminescence spectroscopy and optical absorption experiments. We discuss the physical origin of the main absorption and emission features in the optical spectra and how they can be tuned. We explain key-aspects of practical set-ups for performing experiments in different conditions such as variable temperatures or in applied magnetic fields and how parameters such as detection spot size and excitation laser wavelength impact the optical spectra. We describe the important influence of the direct sample environment, such as substrates and encapsulation layers, on the emission and absorption mechanisms. A survey of optical techniques that probe the coupling between layers and analyse carrier polarisation dynamics for spin- and valleytronics is provided.


title: Pressure-Induced Superconductivity in Layered Transition-metal Chalcogenides (Zr,Hf)GeTe$_{4}$ Explored by Data-driven Approach

abstract: Layered transition-metal chalcogenides (Zr,Hf)GeTe$_{4}$ were screened out from database of Atomwork as a candidate for pressure-induced superconductivity due to their narrow band gap and high density of state near the Fermi level. The (Zr,Hf)GeTe$_{4}$ samples were synthesized in single crystal and then the compositional ratio, crystal structures, and valence states were investigated via energy dispersive spectrometry, single crystal X-ray diffraction, and X-ray photoelectron spectroscopy, respectively. The pressure-induced superconductivity in both crystals were first time reported by using a diamond anvil cell with a boron-doped diamond electrode and an undoped diamond insulating layer. The maximum superconducting transition temperatures of ZrGeTe$_{4}$ and HfGeTe$_{4}$ were 6.5 K under 57 GPa and 6.6 K under 60 GPa, respectively.


title: The space of Schwarz-Klein triangles

abstract: We describe the space of spherical triangles (in the sense of Schwarz and Klein). It is a smooth connected orientable 3-manifold, homotopy equivalent to the 1-skeleton of the cubic partition of the closed first octant in $\mathbf{R}^3$. The angles and sides are real analytic functions on this manifold which embed it to $\mathbf{R}^6$.


title: A Central Limit Theorem for Sets of Probability Measures

abstract: We prove a central limit theorem for a sequence of random variables whose means are ambiguous and vary in an unstructured way. Their joint distribution is described by a set of measures. The limit is (not the normal distribution and is) defined by a backward stochastic differential equation that can be interpreted as modeling an ambiguous continuous-time random walk.


title: XENON1T excess in local $Z_2$ DM models with light dark sector

abstract: Recently XENON1T Collaboration announced that they observed some excess in the electron recoil energy around a 2-3 keV. We show that this excess can be interpreted as exothermic scattering of excited dark matter (XDM), $XDM + e_{atomic} \rightarrow DM + e_{free}$ on atomic electron through dark photon exchange. We consider DM models with local dark $U(1)$ gauge symmetry that is spontaneously broken into its $Z_2$ subgroup by Krauss-Wilczek mechanism. In order to explain the XENON1T excess with the correct DM thermal relic density within freeze-out scenario, all the particles in the dark sector should be light enough, namely $\sim O(100)$ MeV for scalar DM and $\sim O(1-10)$ MeV for fermion DM cases. And even lighter dark Higgs $\phi$ plays an important role in the DM relic density calculation: $X X^\dagger \rightarrow Z' \phi$ for scalar DM ($X$) and $\chi \bar{\chi} \rightarrow \phi \phi$for fermion DM ($\chi$) assuming $m_{Z'} > m_\chi$. Both of them are in the $p$-wave annihilation, and one can easily evade stringent bounds from Planck data on CMB on the $s$-wave annihilations, assuming other dangerous $s$-wave annihilations are kinematically forbidden.


title: A non-linear EFT description of $gg\to HH$ at NLO interfaced to POWHEG

abstract: We present the implementation of Higgs boson pair production in gluon fusion within a non-linear Effective Field Theory framework containing five anomalous couplings for this process. The code, available within the POWHEG-BOX-V2, includes full NLO QCD corrections with massive top quarks. All five couplings can be modified by the user. We show $m_{hh}$ distributions at seven benchmark points provided by an $m_{hh}$ shape analysis at NLO and showered $p_T^{hh}$ distributions resulting from an interface to Pythia-8 and Herwig-7.2.


title: Predictions for the beauty meson spectrum

abstract: We predict the spectrum of the four $1S$ and eight $1P$ nonstrange and strange states in the beauty meson family in the context of effective field theory. By the union of heavy quark effective theory and chiral perturbation theory, the mass formalisms for the heavy-light mesons are defined. Our analysis uses mass expressions involving, for the first time, the full leading self-energy corrections and leading power corrections to the heavy quark and chiral limits. The counterterms present in these expressions are fitted using available experimental and theoretical information on the charmed meson masses and couplings. The results from charm sector are used to make theoretical expectations on the analog beauty meson spectrum. The observed spectrum of the ground state, $B^{(*)}_{(s)}$, and excited, $B_{(s)1}$ and $B^*_{(s)2}$, beauty mesons are well reproduced in our theoretical calculations. The excited scalar, $B^*_{(s)0}$, and axial-vector, $B^\prime_{(s)1}$, beauty mesons have not yet been discovered. Hopefully our predictions may provide valuable clues to further experimental exploration of these missing resonances.


title: Combating Anti-Blackness in the AI Community

abstract: In response to a national and international awakening on the issues of anti-Blackness and systemic discrimination, we have penned this piece to serve as a resource for allies in the AI community who are wondering how they can more effectively engage with dismantling racist systems. This work aims to help elucidate areas where the AI community actively and passively contributes to anti-Blackness and offers actionable items on ways to reduce harm.


title: The topology of Bott integrable fluids

abstract: We construct non-vanishing steady solutions to the Euler equations (for some metric) with analytic Bernoulli function in each three-manifold where they can exist: graph manifolds. Using the theory of integrable systems, any admissible Morse-Bott function can be realized as the Bernoulli function of some non-vanishing steady Euler flow. This can be interpreted as an inverse problem to Arnold's structure theorem and yields as a corollary the topological classification of such solutions. Finally, we prove that the topological obstruction holds without the non-vanishing assumption: steady Euler flows with a Morse-Bott Bernoulli function only exist on graph three-manifolds.


title: Equation of state of a cell fluid model with allowance for Gaussian fluctuations of the order parameter

abstract: The paper is devoted to the development of a microscopic description of the critical behavior of a cell fluid model with allowance for the contributions from collective variables with nonzero values of the wave vector. The mathematical description is performed in the supercritical temperature range ($T>T_c$) in the case of a modified Morse potential with additional repulsive interaction. The method, developed here for constructing the equation of state of the system by using the Gaussian distribution of the order parameter fluctuations, is valid beyond the immediate vicinity of the critical point for a wide range of density and temperature. The pressure of the system as a function of chemical potential and density is plotted for various fixed values of the relative temperature, both with and without considering the above-mentioned contributions. Compared with the results of the zero-mode approximation, the insignificant role of these contributions is indicated for temperatures $T>T_c$. At $T<T_c$, they are more significant.


title: A Systematic Review of the Digital Interventions for Fighting COVID-19: The Bangladesh Perspective

abstract: The objective of this paper is to synthesize the digital interventions initiatives to fight against COVID-19 in Bangladesh and compare with other countries. In order to obtain our research objective, we conducted a systematic review of the online content. We first reviewed the digital interventions that have been used to fight against COVID-19 across the globe. We then reviewed the initiatives that have been taken place in Bangladesh. Thereafter, we present a comparative analysis between the initiatives taken in Bangladesh and the other countries. Our findings show that while Bangladesh is capable to take benefits of the digital intervention approaches, tighter cooperation between government and private organizations as well as universities would be needed to get the most benefits. Furthermore, the government needs to make sure that the privacy of its citizens are protected.


title: Updated MiniBooNE Neutrino Oscillation Results with Increased Data and New Background Studies

abstract: The MiniBooNE experiment at Fermilab reports a total excess of $638.0 \pm 132.8$ electron-like events ($4.8 \sigma$) from a data sample corresponding to $18.75 \times 10^{20}$ protons-on-target in neutrino mode, which is a 46\% increase in the data sample with respect to previously published results, and $11.27 \times 10^{20}$ protons-on-target in antineutrino mode. The additional statistics allow several studies to address questions on the source of the excess. First, we provide two-dimensional plots in visible energy and cosine of the angle of the outgoing lepton, which can provide valuable input to models for the event excess. Second, we test whether the excess may arise from photons that enter the detector from external events or photons exiting the detector from $\pi^0$ decays in two model independent ways. Beam timing information shows that almost all of the excess is in time with neutrinos that interact in the detector. The radius distribution shows that the excess is distributed throughout the volume, while tighter cuts on the fiducal volume increase the significance of the excess. We conclude that models of the event excess based on entering and exiting photons are disfavored.


title: On the Vertical Distribution of Values of $L$-functions in the Selberg Class

abstract: We prove explicit formulae for $\alpha$-points of $L$-functions from the Selberg class. Next we extend a theorem of Littlewood on the vertical distribution of zeros of the Riemann zeta-function $\zeta(s)$ to the case of $\alpha$-points of the aforementioned $L$-functions. This result implies the uniform distribution of subsequences of $\alpha$-points and from this a discrete universality theorem in the spirit of Voronin is derived.


title: Mirror Symmetry and smoothing Gorenstein toric affine 3-folds

abstract: We state two conjectures that together allow one to describe the set of smoothing components of a Gorenstein toric affine 3-fold in terms of a combinatorially defined and easily studied set of Laurent polynomials called 0-mutable polynomials. We explain the origin of the conjectures in mirror symmetry and present some of the evidence.


title: Lower Order Terms for Expected Value of Traces of Frobenius of a Family of Cyclic Covers of $\mathbb{P}^1_{\mathbb{F}_q}$ and One-Level Densities

abstract: We consider the expected value of $\mbox{Tr}(\Theta_C^n)$ where $C$ runs over a thin family of $r$-cyclic covers of $\mathbb{P}^1_{\mathbb{F}_q}$ for any $r$. We obtain many lower order terms dependent on the divisors of $r$. We use these results to calculate the one-level density of the family and hypothesize a refined one-level density result.


title: Thinness of product graphs

abstract: The thinness of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Many NP-complete problems can be solved in polynomial time for graphs with bounded thinness, given a suitable representation of the graph. In this paper we study the thinness and its variations of graph products. We show that the thinness behaves "well" in general for products, in the sense that for most of the graph products defined in the literature, the thinness of the product of two graphs is bounded by a function (typically product or sum) of their thinness, or of the thinness of one of them and the size of the other. We also show for some cases the non-existence of such a function.


title: Primary Control Effort under Fluctuating Power Generation in Realistic High-Voltage Power Networks

abstract: Many recent works in control of electric power systems have investigated their synchronization through global performance metrics under external disturbances. The approach is motivated by fundamental changes in the operation of power grids, in particular by the substitution of conventional power plants with new renewable sources of electrical energy. This substitution will simultaneously increase fluctuations in power generation and reduce the available mechanical inertia. It is crucial to understand how strongly these two evolutions will impact grid stability. With very few, mostly numerical exceptions, earlier works on performance metrics had to rely on unrealistic assumptions of grid homogeneity. Here we show that a modified spectral decomposition can tackle that issue in inhomogeneous power grids in cases where disturbances occur on time scales that are long compared to the intrinsic time scales of the grid. We find in particular that the magnitude of the transient excursion generated by disturbances with long characteristic times does not depend on inertia. For continental-size, high-voltage power grids, this corresponds to power fluctuations that are correlated on time scales of few seconds or more. We conclude that power fluctuations arising from new renewables will not require per se the deployment of additional rotational inertia. We numerically illustrate our results on the IEEE 118-Bus test case and a model of the synchronous grid of continental Europe.


title: Diagonal and off-diagonal hyperfine structure matrix elements in KCs within the relativistic Fock space coupled cluster theory

abstract: The four-component relativistic Fock space coupled cluster method is used to describe the magnetic hyperfine interaction in low-lying electronic states of the KCs molecule. Both diagonal and off-diagonal matrix elements as functions of the internuclear separation $R$ are calculated within the finite-field scheme. The resulting matrix elements exhibit very weak dependence on $R$ for the separations exceeding 8 \AA , whereas in the vicinity of the ground-state equilibrium the deviation of molecular HFS matrix elements from the atomic values reaches 15\%. The dependence of the computed HFS couplings on the level of core correlation treatment is discussed.


title: Real Edge Modes in a Floquet-modulated $\mathcal{PT}$-symmetric SSH model

abstract: Non-Hermitian Hamiltonians provide a simple picture for analyzing systems with natural or induced gain and loss; however, in general, such Hamiltonians feature complex energies and a corresponding non-orthonormal eigenbasis. Provided that the Hamiltonian has $\mathcal{PT}$ symmetry, it is possible to find a regime in which the eigenspectrum is completely real. In the case of static $\mathcal{PT}$-symmetric extensions of the simple Su-Schrieffer-Heeger model, it has been shown that the energies associated with any edge states are guaranteed to be complex. Moving to a time-dependent system means that treatment of the Hamiltonian must be done at the effective time-scale of the modulation itself, allowing for more intricate phases to occur than in the static case. It has been demonstrated that with particular classes of periodic driving, achieving a real topological phase at high driving frequency is possible. In the present paper, we show the details of this process by using a simple two-step periodic modulation. We obtain a rigorous expression for the effective Floquet Hamiltonian and compare its symmetries to those of the original Hamiltonians which comprise the modulation steps. The $\mathcal{PT}$ phase of the effective Hamiltonian is dependent on the modulation frequency as well as the gain/loss strength. Furthermore, the topologically nontrivial regime of the $\mathcal{PT}$-unbroken phase admits highly-localized edge states with real eigenvalues in both the high frequency case and below it, albeit within a smaller extent of the parameter space.


title: Upper security bounds for coherent-one-way quantum key distribution

abstract: The performance of quantum key distribution (QKD) is severely limited by multi-photon pulses emitted by laser sources due to the photon-number splitting attack. Coherent-one-way (COW) QKD has been introduced as a promising solution to overcome this limitation, and thus extend the achievable distance of practical QKD. Indeed, thanks to its experimental simplicity, the COW protocol is already used in commercial applications. Here, we derive simple upper security bounds on its secret key rate, which demonstrate that it scales at most quadratically with the system's transmittance, thus solving a long-standing problem. That is, in contrast to what has been claimed, this approach is inappropriate for long-distance QKD transmission. Remarkably, our findings imply that all implementations of the COW protocol performed so far are insecure.


title: Large-scale regularity in stochastic homogenization with divergence-free drift

abstract: We provide a simple proof of quenched stochastic homogenization for random environments with a mean zero, divergence-free drift under the assumption that the drift admits a stationary $L^d$-integrable stream matrix in $d\geq 3$ or an $L^{2+\delta}$-integrable stream matrix in $d=2$. In addition, we prove that the environment almost surely satisfies a large-scale H\"older regularity estimate and first-order Liouville principle.


title: FVV Live: Real-Time, Low-Cost, Free Viewpoint Video

abstract: FVV Live is a novel real-time, low-latency, end-to-end free viewpoint system including capture, transmission, synthesis on an edge server and visualization and control on a mobile terminal. The system has been specially designed for low-cost and real-time operation, only using off-the-shelf components.


title: QoE Based Revenue Maximizing Dynamic Resource Allocation and Pricing for Fog-Enabled Mission-Critical IoT Applications

abstract: Fog computing is becoming a vital component for Internet of things (IoT) applications, acting as its computational engine. Mission-critical IoT applications are highly sensitive to latency, which depends on the physical location of the cloud server. Fog nodes of varying response rates are available to the cloud service provider (CSP) and it is faced with a challenge of forwarding the sequentially received IoT data to one of the fog nodes for processing. Since the arrival times and nature of requests is random, it is important to optimally classify the requests in real-time and allocate available virtual machine instances (VMIs) at the fog nodes to provide a high QoE to the users and consequently generate higher revenues for the CSP. In this paper, we use a pricing policy based on the QoE of the applications as a result of the allocation and obtain an optimal dynamic allocation rule based on the statistical information of the computational requests. The developed solution is statistically optimal, dynamic, and implementable in real-time as opposed to other static matching schemes in the literature. The performance of the proposed framework has been evaluated using simulations and the results show significant improvement as compared with benchmark schemes.


title: Dragoon: Advanced Modelling of IP Geolocation by use of Latency Measurements

abstract: IP Geolocation is a key enabler for many areas of application like determination of an attack origin, targeted advertisement, and Content Delivery Networks. Although IP Geolocation is an ongoing field of research for over one decade, it is still a challenging task, whereas good results are only achieved by the use of active latency measurements. Nevertheless, an increased accuracy is needed to improve service quality. This paper presents an novel approach to find optimized Landmark positions which are used for active probing. Since a reasonable Landmark selection is important for a highly accurate localization service, the goal is to find Landmarks close to the target with respect to the infrastructure and hop count. Furthermore, we introduce a new approach of an adaptable and more accurate mathematical modelling of an improved geographical location estimation process. Current techniques provide less information about solving the Landmark problem as well as are using imprecise models. We demonstrate the usability of our approach in a real-world environment and analyse Geolocation for the first time in Europe. The combination of an optimized Landmark selection and advanced modulation results in an improved accuracy of IP Geolocation.


title: White Paper on Crowdsourced Network and QoE Measurements -- Definitions, Use Cases and Challenges

abstract: This white paper is the outcome of the W\"urzburg seminar on "Crowdsourced Network and QoE Measurements" which took place from 25-26 September 2019 in W\"urzburg, Germany. International experts were invited from industry and academia. They are well known in their communities, having different backgrounds in crowdsourcing, mobile networks, network measurements, network performance, Quality of Service (QoS), and Quality of Experience (QoE). The discussions in the seminar focused on how crowdsourcing will support vendors, operators, and regulators to determine the Quality of Experience in new 5G networks that enable various new applications and network architectures. As a result of the discussions, the need for a white paper manifested, with the goal of providing a scientific discussion of the terms "crowdsourced network measurements" and "crowdsourced QoE measurements", describing relevant use cases for such crowdsourced data, and its underlying challenges. During the seminar, those main topics were identified, intensively discussed in break-out groups, and brought back into the plenum several times. The outcome of the seminar is this white paper at hand which is - to our knowledge - the first one covering the topic of crowdsourced network and QoE measurements.


title: Quantum Statistical Mechanics and the Boundary of Modular Curves

abstract: The theory of limiting modular symbols provides a noncommutative geometric model of the boundary of modular curves that includes irrational points in addition to cusps. A noncommutative space associated to this boundary is constructed, as part of a family of noncommutative spaces associated to different continued fractions algorithms, endowed with the structure of a quantum statistical mechanical system. Two special cases of this family of quantum systems can be interpreted as a boundary of the system associated to the Shimura variety of $GL_2$ and an analog for $SL_2$. The structure of KMS states for this family of systems is discussed. In the geometric cases, the ground states evaluated on boundary arithmetic elements are given by pairings of cusp forms and limiting modular symbols.


title: Lower Bounds for Dynamic Distributed Task Allocation

abstract: We study the problem of distributed task allocation in multi-agent systems. Suppose there is a collection of agents, a collection of tasks, and a demand vector, which specifies the number of agents required to perform each task. The goal of the agents is to cooperatively allocate themselves to the tasks to satisfy the demand vector. We study the dynamic version of the problem where the demand vector changes over time. Here, the goal is to minimize the switching cost, which is the number of agents that change tasks in response to a change in the demand vector. The switching cost is an important metric since changing tasks may incur significant overhead. We study a mathematical formalization of the above problem introduced by Su, Su, Dornhaus, and Lynch, which can be reformulated as a question of finding a low distortion embedding from symmetric difference to Hamming distance. In this model it is trivial to prove that the switching cost is at least 2. We present the first non-trivial lower bounds for the switching cost, by giving lower bounds of 3 and 4 for different ranges of the parameters.


title: The finiteness conjecture holds in SL(2,Z>=0)^2

abstract: Let A,B be matrices in SL(2,R) having trace greater than or equal to 2. Assume the pair A,B is coherently oriented, that is, can be conjugated to a pair having nonnegative entries. Assume also that either A,B^(-1) is coherently oriented as well, or A,B have integer entries. Then the Lagarias-Wang finiteness conjecture holds for the set {A,B}, with optimal product in {A,B,AB,A^2B,AB^2}. In particular, it holds for every matrix pair in SL(2,Z>=0).


title: From Simple Features to Moving Features and Beyond?

abstract: Mobility data science lacks common data structures and analytical functions. This position paper assesses the current status and open issues towards a universal API for mobility data science. In particular, we look at standardization efforts revolving around the OGC Moving Features standard which, so far, has not attracted much attention within the mobility data science community. We discuss the hurdles any universal API for movement data has to overcome and propose key steps of a roadmap that would provide the foundation for the development of this API.


title: Hierarchical sparse Cholesky decomposition with applications to high-dimensional spatio-temporal filtering

abstract: Spatial statistics often involves Cholesky decomposition of covariance matrices. To ensure scalability to high dimensions, several recent approximations have assumed a sparse Cholesky factor of the precision matrix. We propose a hierarchical Vecchia approximation, whose conditional-independence assumptions imply sparsity in the Cholesky factors of both the precision and the covariance matrix. This remarkable property is crucial for applications to high-dimensional spatio-temporal filtering. We present a fast and simple algorithm to compute our hierarchical Vecchia approximation, and we provide extensions to non-linear data assimilation with non-Gaussian data based on the Laplace approximation. In several numerical comparisons, including a filtering analysis of satellite data, our methods strongly outperformed alternative approaches.


title: Time-reversible and norm-conserving high-order integrators for the nonlinear time-dependent Schr\"{o}dinger equation: Application to local control theory

abstract: The explicit split-operator algorithm has been extensively used for solving not only linear but also nonlinear time-dependent Schr\"{o}dinger equations. When applied to the nonlinear Gross-Pitaevskii equation, the method remains time-reversible, norm-conserving, and retains its second-order accuracy in the time step. However, this algorithm is not suitable for all types of nonlinear Schr\"{o}dinger equations. Indeed, we demonstrate that local control theory, a technique for the quantum control of a molecular state, translates into a nonlinear Schr\"{o}dinger equation with a more general nonlinearity, for which the explicit split-operator algorithm loses time reversibility and efficiency (because it has only first-order accuracy). Similarly, the trapezoidal rule (the Crank-Nicolson method), while time-reversible, does not conserve the norm of the state propagated by a nonlinear Schr\"{o}dinger equation. To overcome these issues, we present high-order geometric integrators suitable for general time-dependent nonlinear Schr\"{o}dinger equations and also applicable to nonseparable Hamiltonians. These integrators, based on the symmetric compositions of the implicit midpoint method, are both norm-conserving and time-reversible. The geometric properties of the integrators are proven analytically and demonstrated numerically on the local control of a two-dimensional model of retinal. For highly accurate calculations, the higher-order integrators are more efficient. For example, for a wavefunction error of $10^{-9}$, using the eighth-order algorithm yields a $48$-fold speedup over the second-order implicit midpoint method and trapezoidal rule, and $400000$-fold speedup over the explicit split-operator algorithm.


title: Secular dynamics for curved two-body problems

abstract: Consider the dynamics of two point masses on a surface of constant curvature subject to an attractive force analogue of Newton's inverse square law. When the distance between the bodies is sufficiently small, the reduced equations of motion may be seen as a perturbation of an integrable system. We define suitable action-angle coordinates to average these perturbing terms and observe dynamical effects of the curvature on the motion of the two-bodies.


title: Graph Clustering with Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have achieved state-of-the-art results on many graph analysis tasks such as node classification and link prediction. However, important unsupervised problems on graphs, such as graph clustering, have proved more resistant to advances in GNNs. Graph clustering has the same overall goal as node pooling in GNNs - does this mean that GNN pooling methods do a good job at clustering graphs? Surprisingly, the answer is no - current GNN pooling methods often fail to recover the cluster structure in cases where simple baselines, such as k-means applied on learned representations, work well. We investigate further by carefully designing a set of experiments to study different signal-to-noise scenarios both in graph structure and attribute data. To address these methods' poor performance in clustering, we introduce Deep Modularity Networks (DMoN), an unsupervised pooling method inspired by the modularity measure of clustering quality, and show how it tackles recovery of the challenging clustering structure of real-world graphs. Similarly, on real-world data, we show that DMoN produces high quality clusters which correlate strongly with ground truth labels, achieving state-of-the-art results with over 40% improvement over other pooling methods across different metrics.


title: Energy polydisperse 2d Lennard-Jones fluid in presence of flow field

abstract: The behavior of energy polydisperse $2d$ Lennard-Jones fluid (in thin-film geometry) is studied subjected to linear flow field using molecular dynamics simulations. By considering neutral and selective substrates we systematically explore the effect of flow field on particle ordering as well as response of the system. It is shown that particle density profile, spatial organization as well as local particle identity ordering in the film are affected. Furthermore, we observe flow field induced melting associated with a decrease of effective interaction parameter, $\left< \epsilon_i^{\rm eff} \right>$, which characterizes local neighborhood identity ordering. In terms of macroscopic response, the systems show both shear-thinning and shear-thickening behaviors, and shear-thinning exponent decreases with increasing temperature and eventually attains Netwonian fluid-like behavior at sufficiently high temperature. It is found that the qualitative behaviour of one component LJ-fluid and energy polydisperse fluid with neutral substrates are similar in many respects, while the one with selective substrate shows differences. In the case of energy polydisperse system, the effect of having different substrate types is significantly manifested in the density profile near the interface, $\left< \epsilon_i^{\rm eff} \right>$, and in the viscosity. We have shown that, unlike one component fluid, it is possible to tune the macroscopic response by tuning substrate-fluid interaction in energy polydisperse fluids.


title: Ultraviolet and X-ray Properties of Coma's Ultra-Diffuse Galaxies

abstract: Many ultra-diffuse galaxies (UDGs) have been discovered in the Coma cluster, and there is evidence that some, notably Dragonfly 44, have Milky Way-like dynamical masses despite dwarf-like stellar masses. We used X-ray, UV, and optical data to investigate the star formation and nuclear activity in the Coma UDGs, and we obtained deep UV and X-ray data (Swift and XMM-Newton) for Dragonfly 44 to search for low-level star formation, hot circumgalactic gas, and the integrated emission from X-ray binaries. Among the Coma UDGs, we find UV luminosities consistent with quiescence but NUV$-r$ colors indicating star formation in the past Gyr. This indicates that the UDGs were recently quenched. The $r$-band luminosity declines with projected distance from the Coma core. The Dragonfly 44 UV luminosity is also consistent with quiescence, with SFR$<6\times 10^{-4} M_{\odot}$ yr$^{-1}$, and no X-rays are detected down to a sensitivity of $10^{38}$ erg s$^{-1}$. This rules out a hot corona with a $M > 10^8 M_{\odot}$ within the virial radius, which would normally be expected for a dynamically massive galaxy. The absence of bright, low mass X-ray binaries is consistent with the expectation from the galaxy total stellar mass, but it is unlikely if most low-mass X-ray binaries form in globular clusters, as Dragonfly 44 has a very large population. Based on the UV and X-ray analysis, the Coma UDGs are consistent with quenched dwarf galaxies, although we cannot rule out a dynamically massive population.


title: Response-suggestion to The XENON1T excess: an overlooked dark matter signature?

abstract: The main alternatives of the recent XENON1T observation are solar axions, neutrino magnetic moment and tritium. In this short note we suggest to crosscheck whether the observation is related or not to dark matter (DM) streams, by searching for planetary dependence of the observed excess. If such a correlation is derived, this hint (<3.5sigma) can become the overlooked direct DM discovery. To do this it is necessary to analyze the time distribution of all the XENON1T data, and in particular the electronic events with their time stamp and energy. Notably, the velocities of the dark sector allow for planetary focusing effects towards the earth either by a single celestial body or combined by the whole solar system. Surprisingly, as yet this possibility has not been applied in the field of direct dark matter search, even though DM velocities fit-in well planetary gravitational lensing effects. The widely used signature of a direct dark matter search needs to be redefined, while, with luck, such an analysis might confirm or exclude the solar origin of the observed excess. Therefore, we suggest that XENON1T and DAMA release the data.


title: MDP Homomorphic Networks: Group Symmetries in Reinforcement Learning

abstract: This paper introduces MDP homomorphic networks for deep reinforcement learning. MDP homomorphic networks are neural networks that are equivariant under symmetries in the joint state-action space of an MDP. Current approaches to deep reinforcement learning do not usually exploit knowledge about such structure. By building this prior knowledge into policy and value networks using an equivariance constraint, we can reduce the size of the solution space. We specifically focus on group-structured symmetries (invertible transformations). Additionally, we introduce an easy method for constructing equivariant network layers numerically, so the system designer need not solve the constraints by hand, as is typically done. We construct MDP homomorphic MLPs and CNNs that are equivariant under either a group of reflections or rotations. We show that such networks converge faster than unstructured baselines on CartPole, a grid world and Pong.


title: Complexity of modification problems for best match graphs

abstract: Best match graphs (BMGs) are vertex-colored directed graphs that were introduced to model the relationships of genes (vertices) from different species (colors) given an underlying evolutionary tree that is assumed to be unknown. In real-life applications, BMGs are estimated from sequence similarity data. Measurement noise and approximation errors usually result in empirically determined graphs that in general violate characteristic properties of BMGs. The arc modification problems for BMGs aim at correcting such violations and thus provide a means to improve the initial estimates of best match data. We show here that the arc deletion, arc completion and arc editing problems for BMGs are NP-complete and that they can be formulated and solved as integer linear programs. To this end, we provide a novel characterization of BMGs in terms of triples (binary trees on three leaves) and a characterization of BMGs with two colors in terms of forbidden subgraphs.


title: A data science approach to drug safety: Semantic and visual mining of adverse drug events from clinical trials of pain treatments

abstract: Clinical trials are the basis of Evidence-Based Medicine. Trial results are reviewed by experts and consensus panels for producing meta-analyses and clinical practice guidelines. However, reviewing these results is a long and tedious task, hence the meta-analyses and guidelines are not updated each time a new trial is published. Moreover, the independence of experts may be difficult to appraise. On the contrary, in many other domains, including medical risk analysis, the advent of data science, big data and visual analytics allowed moving from expert-based to fact-based knowledge. Since 12 years, many trial results are publicly available online in trial registries. Nevertheless, data science methods have not yet been applied widely to trial data. In this paper, we present a platform for analyzing the safety events reported during clinical trials and published in trial registries. This platform is based on an ontological model including 582 trials on pain treatments, and uses semantic web technologies for querying this dataset at various levels of granularity. It also relies on a 26-dimensional flower glyph for the visualization of the Adverse Drug Events (ADE) rates in 13 categories and 2 levels of seriousness. We illustrate the interest of this platform through several use cases and we were able to find back conclusions that were initially found during meta-analyses. The platform was presented to four experts in drug safety, and is publicly available online, with the ontology of pain treatment ADE.


title: Turbulence on the Global Economy influenced by Artificial Intelligence and Foreign Policy Inefficiencies

abstract: It is said that Data and Information are the new oil. One, who handles the data, handles the emerging future of the global economy. Complex algorithms and intelligence-based filter programs are utilized to manage, store, handle and maneuver vast amounts of data for the fulfillment of specific purposes. This paper seeks to find the bridge between artificial intelligence and its impact on the international policy implementation in the light of geopolitical influence, global economy and the future of labor markets. We hypothesize that the distortion in the labor markets caused by artificial intelligence can be mitigated by a collaborative international foreign policy on the deployment of AI in the industrial circles. We, in this paper, then proceed to propose a disposition for the essentials of AI-based foreign policy and implementation, while asking questions such as 'could AI become the real Invisible Hand discussed by economists?'.


title: Recovering Joint Probability of Discrete Random Variables from Pairwise Marginals

abstract: Learning the joint probability of random variables (RVs) is the cornerstone of statistical signal processing and machine learning. However, direct nonparametric estimation for high-dimensional joint probability is in general impossible, due to the curse of dimensionality. Recent work has proposed to recover the joint probability mass function (PMF) of an arbitrary number of RVs from three-dimensional marginals, leveraging the algebraic properties of low-rank tensor decomposition and the (unknown) dependence among the RVs. Nonetheless, accurately estimating three-dimensional marginals can still be costly in terms of sample complexity, affecting the performance of this line of work in practice in the sample-starved regime. Using three-dimensional marginals also involves challenging tensor decomposition problems whose tractability is unclear. This work puts forth a new framework for learning the joint PMF using only pairwise marginals, which naturally enjoys a lower sample complexity relative to the third-order ones. A coupled nonnegative matrix factorization (CNMF) framework is developed, and its joint PMF recovery guarantees under various conditions are analyzed. Our method also features a Gram--Schmidt (GS)-like algorithm that exhibits competitive runtime performance. The algorithm is shown to provably recover the joint PMF up to bounded error in finite iterations, under reasonable conditions. It is also shown that a recently proposed economical expectation maximization (EM) algorithm guarantees to improve upon the GS-like algorithm's output, thereby further lifting up the accuracy and efficiency. Real-data experiments are employed to showcase the effectiveness.


title: Synthesizing Tasks for Block-based Programming

abstract: Block-based visual programming environments play a critical role in introducing computing concepts to K-12 students. One of the key pedagogical challenges in these environments is in designing new practice tasks for a student that match a desired level of difficulty and exercise specific programming concepts. In this paper, we formalize the problem of synthesizing visual programming tasks. In particular, given a reference visual task $\rm T^{in}$ and its solution code $\rm C^{in}$, we propose a novel methodology to automatically generate a set $\{(\rm T^{out}, \rm C^{out})\}$ of new tasks along with solution codes such that tasks $\rm T^{in}$ and $\rm T^{out}$ are conceptually similar but visually dissimilar. Our methodology is based on the realization that the mapping from the space of visual tasks to their solution codes is highly discontinuous; hence, directly mutating reference task $\rm T^{in}$ to generate new tasks is futile. Our task synthesis algorithm operates by first mutating code $\rm C^{in}$ to obtain a set of codes $\{\rm C^{out}\}$. Then, the algorithm performs symbolic execution over a code $\rm C^{out}$ to obtain a visual task $\rm T^{out}$; this step uses the Monte Carlo Tree Search (MCTS) procedure to guide the search in the symbolic tree. We demonstrate the effectiveness of our algorithm through an extensive empirical evaluation and user study on reference tasks taken from the \emph{Hour of Code: Classic Maze} challenge by \emph{Code.org} and the \emph{Intro to Programming with Karel} course by \emph{CodeHS.com}.


title: Relation between Statics and Dynamics in the Quench of the Ising Model to below the Critical Point

abstract: The standard phase-ordering process is obtained by quenching a system, like the Ising model, to below the critical point. This is usually done with periodic boundary conditions to insure ergodicity breaking in the low temperature phase. With this arrangement the infinite system is known to remain permanently out of equilibrium, i.e. there exists a well defined asymptotic state which is time-invariant but different from the ordered ferromagnetic state. In this paper we establish the critical nature of this invariant state, by demonstrating numerically that the quench dynamics with periodic and antiperiodic boundary conditions are indistinguishable one from the other. However while the asymptotic state does not coincide with the equilibrium state for the periodic case, it coincides instead with the equilibrium state of the antiperiodic case, which in fact is critical. The specific example of the Ising model is shown to be one instance of a more general phenomenon, since an analogous picture emerges in the spherical model, where boundary conditions are kept fixed to periodic, while the breaking or preserving of ergodicity is managed by imposing the spherical constraint either sharply or smoothly.


title: HGKT: Introducing Hierarchical Exercise Graph for Knowledge Tracing

abstract: Knowledge tracing (KT) which aims at predicting learner's knowledge mastery plays an important role in the computer-aided educational system. In recent years, many deep learning models have been applied to tackle the KT task, which have shown promising results. However, limitations still exist. Most existing methods simplify the exercising records as knowledge sequences, which fail to explore rich information that existed in exercises. Besides, the existing diagnosis results of knowledge tracing are not convincing enough since they neglect prior relations between exercises. To solve the above problems, we propose a hierarchical graph knowledge tracing model called HGKT to explore the latent hierarchical relations between exercises. Specifically, we introduce the concept of problem schema to construct a hierarchical exercise graph that could model the exercise learning dependencies. Moreover, we employ two attention mechanisms to highlight the important historical states of learners. In the testing stage, we present a K&S diagnosis matrix that could trace the transition of mastery of knowledge and problem schema, which can be more easily applied to different applications. Extensive experiments show the effectiveness and interpretability of our proposed models.


title: Counterfactual Predictions under Runtime Confounding

abstract: Algorithms are commonly used to predict outcomes under a particular decision or intervention, such as predicting whether an offender will succeed on parole if placed under minimal supervision. Generally, to learn such counterfactual prediction models from observational data on historical decisions and corresponding outcomes, one must measure all factors that jointly affect the outcomes and the decision taken. Motivated by decision support applications, we study the counterfactual prediction task in the setting where all relevant factors are captured in the historical data, but it is either undesirable or impermissible to use some such factors in the prediction model. We refer to this setting as runtime confounding. We propose a doubly-robust procedure for learning counterfactual prediction models in this setting. Our theoretical analysis and experimental results suggest that our method often outperforms competing approaches. We also present a validation procedure for evaluating the performance of counterfactual prediction methods.


title: Ontology-guided Semantic Composition for Zero-Shot Learning

abstract: Zero-shot learning (ZSL) is a popular research problem that aims at predicting for those classes that have never appeared in the training stage by utilizing the inter-class relationship with some side information. In this study, we propose to model the compositional and expressive semantics of class labels by an OWL (Web Ontology Language) ontology, and further develop a new ZSL framework with ontology embedding. The effectiveness has been verified by some primary experiments on animal image classification and visual question answering.


title: A characterisation of virtually free groups via minor exclusion

abstract: We give a new characterisation of virtually free groups using graph minors. Namely, we prove that a finitely generated, infinite group is virtually free if and only if for any finite generating set, the corresponding Cayley graph is minor excluded. This answers a question of Ostrovskii and Rosenthal. The proof relies on showing that a finitely generated group that is minor excluded with respect to every finite generating set is accessible, using a graph-theoretic characterisation of accessibility due to Thomassen and Woess.


title: Spiral capacitor calculation using FEniCS

abstract: The paper shows how to optimize a water level sensor consisting of a cylinder with spiraling metal stripes on the side, using a powerful Python library FEniCS. It is shown how to reduce a 3D Laplace equation to a 2D, using a spiraling coordinate system; how to specify the correct boundary conditions for an open region; how to convert the partial differential equation to a variational form for FEniCS; and how to calculate the capacitance. Then the FEniCS code is shown that solves the Laplace equation and calculates the capacitance. The further numeric experiments show that there is an optimal combination of the spiral frequency and the width of the stripes that maximizes the sensitivity of the sensor. The Python code is given to calculate the optimum.


title: Interdependence in active mobility adoption: Joint modelling and motivational spill-over in walking, cycling and bike-sharing

abstract: Active mobility offers an array of physical, emotional, and social wellbeing benefits. However, with the proliferation of the sharing economy, new nonmotorized means of transport are entering the fold, complementing some existing mobility options while competing with others. The purpose of this research study is to investigate the adoption of three active travel modes; namely walking, cycling and bikesharing, in a joint modeling framework. The analysis is based on an adaptation of the stages of change framework, which originates from the health behavior sciences. Multivariate ordered probit modeling drawing on U.S. survey data provides well-needed insights into individuals preparedness to adopt multiple active modes as a function of personal, neighborhood and psychosocial factors. The research suggests three important findings. 1) The joint model structure confirms interdependence among different active mobility choices. The strongest complementarity is found for walking and cycling adoption. 2) Each mode has a distinctive adoption path with either three or four separate stages. We discuss the implications of derived stage-thresholds and plot adoption contours for selected scenarios. 3) Psychological and neighborhood variables generate more coupling among active modes than individual and household factors. Specifically, identifying strongly with active mobility aspirations, experiences with multimodal travel, possessing better navigational skills, along with supportive local community norms are the factors that appear to drive the joint adoption decisions. This study contributes to the understanding of how decisions within the same functional domain are related and help to design policies that promote active mobility by identifying positive spillovers and joint determinants.


title: Firmware Insider: Bluetooth Randomness is Mostly Random

abstract: Bluetooth chips must include a Random Number Generator (RNG). This RNG is used internally within cryptographic primitives but also exposed to the operating system for chip-external applications. In general, it is a black box with security-critical authentication and encryption mechanisms depending on it. In this paper, we evaluate the quality of RNGs in various Broadcom and Cypress Bluetooth chips. We find that the RNG implementation significantly changed over the last decade. Moreover, most devices implement an insecure Pseudo-Random Number Generator (PRNG) fallback. Multiple popular devices, such as the Samsung Galaxy S8 and its variants as well as an iPhone, rely on the weak fallback due to missing a Hardware Random Number Generator (HRNG). We statistically evaluate the output of various HRNGs in chips used by hundreds of millions of devices. While the Broadcom and Cypress HRNGs pass advanced tests, it remains indistinguishable for users if a Bluetooth chip implements a secure RNG without an extensive analysis as in this paper. We describe our measurement methods and publish our tools to enable further public testing.


title: Zur Modellierung und Klassifizierung von Kompetenzen in der grundlegenden Programmierausbildung anhand der Anderson Krathwohl Taxonomie

abstract: This research paper focusses on the competences expected from computer science novices in the domain of basic programming and how they can be classified. By means of a qualitative content analysis of current learning objectives at German universities and the perspective of university teachers, basic programming competencies are identified. Since the competency model proposed by the German Society of Computer Science (GI) reveals several deficits, competencies are classified along the Anderson Krathwohl Taxonomy (AKT) of learning, teaching and assessing. As a result, dimensions and subtypes of the AKT are revised towards a model specific to computer science aiming at the classification of programming competencies according to their cognitive complexity and knowledge dimension. The adaptation of the educational model can thereby help standardize curricula, and develop assessments and corresponding items in the future.


title: Large image datasets: A pyrrhic win for computer vision?

abstract: In this paper we investigate problematic practices and consequences of large scale vision datasets. We examine broad issues such as the question of consent and justice as well as specific concerns such as the inclusion of verifiably pornographic images in datasets. Taking the ImageNet-ILSVRC-2012 dataset as an example, we perform a cross-sectional model-based quantitative census covering factors such as age, gender, NSFW content scoring, class-wise accuracy, human-cardinality-analysis, and the semanticity of the image class information in order to statistically investigate the extent and subtleties of ethical transgressions. We then use the census to help hand-curate a look-up-table of images in the ImageNet-ILSVRC-2012 dataset that fall into the categories of verifiably pornographic: shot in a non-consensual setting (up-skirt), beach voyeuristic, and exposed private parts. We survey the landscape of harm and threats both society broadly and individuals face due to uncritical and ill-considered dataset curation practices. We then propose possible courses of correction and critique the pros and cons of these. We have duly open-sourced all of the code and the census meta-datasets generated in this endeavor for the computer vision community to build on. By unveiling the severity of the threats, our hope is to motivate the constitution of mandatory Institutional Review Boards (IRB) for large scale dataset curation processes.


title: Quantum algorithm for Petz recovery channels and pretty good measurements

abstract: The Petz recovery channel plays an important role in quantum information science as an operation that approximately reverses the effect of a quantum channel. The pretty good measurement is a special case of the Petz recovery channel, and it allows for near-optimal state discrimination. A hurdle to the experimental realization of these vaunted theoretical tools is the lack of a systematic and efficient method to implement them. This paper sets out to rectify this lack: using the recently developed tools of quantum singular value transformation and oblivious amplitude amplification, we provide a quantum algorithm to implement the Petz recovery channel when given the ability to perform the channel that one wishes to reverse. Moreover, we prove that, in some sense, our quantum algorithm's usage of the channel implementation cannot be improved by more than a quadratic factor. Our quantum algorithm also provides a procedure to perform pretty good measurements when given multiple copies of the states that one is trying to distinguish.


title: Ethical Analysis on the Application of Neurotechnology for Human Augmentation in Physicians and Surgeons

abstract: With the shortage of physicians and surgeons and increase in demand worldwide due to situations such as the COVID-19 pandemic, there is a growing interest in finding solutions to help address the problem. A solution to this problem would be to use neurotechnology to provide them augmented cognition, senses and action for optimal diagnosis and treatment. Consequently, doing so can negatively impact them and others. We argue that applying neurotechnology for human enhancement in physicians and surgeons can cause injustices, and harm to them and patients. In this paper, we will first describe the augmentations and neurotechnologies that can be used to achieve the relevant augmentations for physicians and surgeons. We will then review selected ethical concerns discussed within literature, discuss the neuroengineering behind using neurotechnology for augmentation purposes, then conclude with an analysis on outcomes and ethical issues of implementing human augmentation via neurotechnology in medical and surgical practice.


title: A Deep Learning Pipeline for Patient Diagnosis Prediction Using Electronic Health Records

abstract: Augmentation of disease diagnosis and decision-making in healthcare with machine learning algorithms is gaining much impetus in recent years. In particular, in the current epidemiological situation caused by COVID-19 pandemic, swift and accurate prediction of disease diagnosis with machine learning algorithms could facilitate identification and care of vulnerable clusters of population, such as those having multi-morbidity conditions. In order to build a useful disease diagnosis prediction system, advancement in both data representation and development of machine learning architectures are imperative. First, with respect to data collection and representation, we face severe problems due to multitude of formats and lack of coherency prevalent in Electronic Health Records (EHRs). This causes hindrance in extraction of valuable information contained in EHRs. Currently, no universal global data standard has been established. As a useful solution, we develop and publish a Python package to transform public health dataset into an easy to access universal format. This data transformation to an international health data format facilitates researchers to easily combine EHR datasets with clinical datasets of diverse formats. Second, machine learning algorithms that predict multiple disease diagnosis categories simultaneously remain underdeveloped. We propose two novel model architectures in this regard. First, DeepObserver, which uses structured numerical data to predict the diagnosis categories and second, ClinicalBERT_Multi, that incorporates rich information available in clinical notes via natural language processing methods and also provides interpretable visualizations to medical practitioners. We show that both models can predict multiple diagnoses simultaneously with high accuracy.


title: Frequency shifts of head echos in meteoroid trail formation

abstract: The approximate frequency shift of a radar echo from a meteoroid is derived. The origin of head echos observed during trail formation are discussed by considering schematic models. The echo is either a reflection of the radar signal from thermalized electrons in the meteoroid trail or from the plasma electrons co-moving with the meteoroid itself. It is shown that in these opposite models the frequency shifts of the echo relative to the radar emitter frequency must be identical, even though the underlying physics differs. Calculations were made that give the echo frequency as function of time, allowing qualitative comparison with observations. Some typical observations show a conspicuous absence of negative frequency shifts in the head echo in forward scattering. Arguments are given that this can correspond to meteoroids with the co-moving plasma in front.


title: Using A Partial Differential Equation with Google Mobility Data to Predict COVID-19 in Arizona

abstract: The outbreak of COVID-19 disrupts the life of many people in the world. The state of Arizona in the U.S. emerges as one of the country's newest COVID-19 hot spots. Accurate forecasting for COVID-19 cases will help governments to implement necessary measures and convince more people to take personal precautions to combat the virus. It is difficult to accurately predict the COVID-19 cases due to many human factors involved. This paper aims to provide a forecasting model for COVID-19 cases with the help of human activity data from the Google Community Mobility Reports. To achieve this goal, a specific partial differential equation (PDE) is developed and validated with the COVID-19 data from the New York Times at the county level in the state of Arizona in the U.S. The proposed model describes the combined effects of transboundary spread among county clusters in Arizona and human actives on the transmission of COVID-19. The results show that the prediction accuracy of this model is well acceptable (above 94\%). Furthermore, we study the effectiveness of personal precautions such as wearing face masks and practicing social distancing on COVID-19 cases at the local level. The localized analytical results can be used to help to slow the spread of COVID-19 in Arizona. To the best of our knowledge, this work is the first attempt to apply PDE models on COVID-19 prediction with the Google Community Mobility Reports.


title: A further $q$-analogue of Van Hamme's (H.2) supercongruence for $p\equiv1\pmod{4}$

abstract: Several years ago, Long and Ramakrishna [Adv. Math. 290 (2016), 773--808] extended Van Hamme's (H.2) supercongruence to the modulus $p^3$ case. Recently, Guo [Int. J. Number Theory, to appear] found a $q$-analogue of the Long--Ramakrishna formula for $p\equiv 3\pmod 4$. In this note, a $q$-analogue of the Long--Ramakrishna formula for $p\equiv 1\pmod 4$ is derived through the $q$-Whipple formulas and the Chinese remainder theorem for coprime polynomials.


title: A new Hodge operator in Discrete Exterior Calculus. Application to fluid mechanics

abstract: This article introduces a new and general construction of discrete Hodge operator in the context of Discrete Exterior Calculus (DEC). This discrete Hodge operator enables to circumvent the well-centeredness limitation on the mesh with the popular diagonal Hodge. It allows a dual mesh based on any interior point, such as the incenter or the barycenter. It opens the way towards mesh-optimized discrete Hodge operators. In the particular case of a well-centered triangulation, it reduces to the diagonal Hodge if the dual mesh is circumcentric. Based on an analytical development, this discrete Hodge does not make use of Whitney forms, and is exact on piecewise constant forms, whichever interior point is chosen for the construction of the dual mesh. Numerical tests oriented to the resolution of fluid mechanics problems and thermal transfer are carried out. Convergence on various types of mesh is investigated.


title: DFSZ Axion Couplings Revisited

abstract: Among many possibilities, solar axion has been proposed to explain the electronic recoil events excess observed by Xenon1T collaboration, although it has tension with astrophysical observations. The axion couplings, to photon $g_{a\gamma}$ and to electron $g_{ae}$ play important roles. These couplings are related to the Peccei-Quinn (PQ) charges $X_f$ for fermions. In most of the calculations, $g_{a\gamma}$ is obtained by normalizing to the ratio of electromagnetic anomaly factor $E = TrX_f Q^2_f N_c$ ($N_c$ is 3 and 1 for quarks and charged leptons respectively) and QCD anomaly factor $N = TrX_q T(q)$ ($T(q)$ is quarks' $SU(3)_c$ index). The broken PQ symmetry generator is used in the calculation which does not seem to extract out the components of broken generator in the axion which are "eaten" by the $Z$ boson. However, using the physical components of axion or the ratio of anomaly factors should obtain the same results in the DFSZ for $g_{a\gamma}$. When going beyond the standard DFSZ models, such as variant DFSZ models, where more Higgs doublets and fermions have different PQ charges, one may wonder if the results are different. We show that the two methods obtain the same results as expected, but the axion couplings to quarks and leptons $g_{af}$ (here f indicates one of the fermions in the SM) are more conveniently calculated in the physical axion basis. The result depends on the values of the vacuum expectation values leading to a wider parameter space for $g_{af}$ in beyond the standard DFSZ axion. We also show explicitly how flavor conserving $g_{af}$ couplings can be maintained when there are more than one Higgs doublets couple to the up and down fermion sectors in variant DFSZ models at tree level, and how flavor violating couplings can arise.


title: Interval fragmentations with choice: equidistribution and the evolution of tagged fragments

abstract: We consider a Markovian evolution on point processes, the $\Psi$--process, on the unit interval in which points are added according to a rule that depends only on the spacings of the existing point configuration. Having chosen a spacing, a new point is added uniformly within it. Building on previous work of the authors and of Junge, we show that the empirical distribution of points in such a process is always equidistributed under mild assumptions on the rule, generalizing work of Junge. A major portion of this article is devoted to the study of a particular growth--fragmentation process, or cell process, which is a type of piecewise--deterministic Markov process (PDMP). This process represents a linearized version of a size--biased sampling from the $\Psi$--process. We show that this PDMP is ergodic and develop the semigroup theory of it, to show that it describes a linearized version of the $\Psi$--process. This PDMP has appeared in other contexts, and in some sense we develop its theory under minimal assumptions.


title: Surface area measures of log-concave functions

abstract: This paper's origins are in two papers: One by Colesanti and Fragal\`a studying the surface area measure of a log-concave function, and one by Cordero-Erausquin and Klartag regarding the moment measure of a convex function. These notions are the same, and in this paper we continue studying the same construction as well as its generalization. In the first half the paper we prove a first variation formula for the integral of log-concave functions under minimal and optimal conditions. We also explain why this result is a common generalization of two known theorems from the above papers. In the second half we extend the definition of the functional surface area measure to the L^p-setting, generalizing a classic definition of Lutwak. In this generalized setting we prove a functional Minkowski existence theorem for even measures. This is a partial extension of a theorem of Cordero-Erausquin and Klartag that handled the case p=1 for not necessarily even measures.


title: ERNIE-ViL: Knowledge Enhanced Vision-Language Representations Through Scene Graph

abstract: We propose a knowledge-enhanced approach, ERNIE-ViL, which incorporates structured knowledge obtained from scene graphs to learn joint representations of vision-language. ERNIE-ViL tries to build the detailed semantic connections (objects, attributes of objects and relationships between objects) across vision and language, which are essential to vision-language cross-modal tasks. Utilizing scene graphs of visual scenes, ERNIE-ViL constructs Scene Graph Prediction tasks, i.e., Object Prediction, Attribute Prediction and Relationship Prediction tasks in the pre-training phase. Specifically, these prediction tasks are implemented by predicting nodes of different types in the scene graph parsed from the sentence. Thus, ERNIE-ViL can learn the joint representations characterizing the alignments of the detailed semantics across vision and language. After pre-training on large scale image-text aligned datasets, we validate the effectiveness of ERNIE-ViL on 5 cross-modal downstream tasks. ERNIE-ViL achieves state-of-the-art performances on all these tasks and ranks the first place on the VCR leaderboard with an absolute improvement of 3.7%.


title: The Relativistic Schr\"odinger Equation through FFTW3: An Extension of quantumfdtd

abstract: In order to solve the time-independent three-dimensional Schr\"odinger equation, one can transform the time-dependent Schr\"odinger equation to imaginary time and use a parallelized iterative method to obtain the full three-dimensional eigenstates and eigenvalues on very large lattices. In the case of the non-relativistic Schr\"odinger equation, there exists a publicly available code called quantumfdtd which implements this algorithm. In this paper, we (a) extend the quantumfdtd code to include the case of the relativistic Schr\"odinger equation and (b) add two optimized FFT-based kinetic energy terms for non-relativistic cases. The new kinetic energy terms (two non-relativistic and one relativistic) are computed using the parallelized Fast Fourier Transform (FFT) algorithm provided by the FFTW library. The resulting quantumfdtd v3 code, which is publicly released with this paper, is backwards compatible with version 2, supporting explicit finite differences schemes in addition to the new FFT-based schemes. Finally, the original code has been extended so that it supports arbitrary external file-based potentials and the option to project out distinct parity eigenstates from the solutions. Herein, we provide details of the quantumfdtd v3 implementation, comparisons and tests of the three new kinetic energy terms, and code documentation.


title: Integral Control Barrier Functions for Dynamically Defined Control Laws

abstract: This paper introduces integral control barrier functions (I-CBFs) as a means to enable the safety-critical integral control of nonlinear systems. Importantly, I-CBFs allow for the holistic encoding of both state constraints and input bounds in a single framework. We demonstrate this by applying them to a dynamically defined tracking controller, thereby enforcing safety in state and input through a minimally invasive I-CBF controller framed as a quadratic program.


title: Roadmap for Gain-Bandwidth-Product Enhanced Photodetectors

abstract: Photodetectors are key optoelectronic building blocks performing the essential optical-to-electrical signal conversion, and unlike solar cells, operate at a specific wavelength and at high signal or sensory speeds. Towards achieving high detector performance, device physics, however, places a fundamental limit of the achievable detector sensitivity, such as responsivity and gain, when simultaneously aimed to increasing the detectors temporal response, speed, known as the gain-bandwidth product (GBP). While detectors GBP has been increasing in recent years, the average GBP is still relatively modest (~10^6-10^7 Hz-A/W). Here we discuss photodetector performance limits and opportunities based on arguments from scaling length theory relating photocarrier channel length, mobility, electrical resistance with optical waveguide mode constrains. We show that short-channel detectors are synergistic with slot-waveguide approaches, and when combined, offer a high-degree of detector design synergy especially for the class of nanometer-thin materials. Indeed, we find that two dimensional material-based detectors are not limited by their low mobility and can, in principle, allow for 100 GHz fast response rates. However, contact resistance is still a challenge for such thin materials, a research topic that is still not addressed yet. An interim solution is to utilize heterojunction approaches for functionality separation. Nonetheless, atomistically- and nanometer-thin materials used in such next-generation scaling length theory based detectors also demand high material quality and monolithic integration strategies into photonic circuits including foundry-near processes. As it stands, this letter aims to guide the community if achieving the next generation photodetectors aiming for a performance target of GBP = 10^12 Hz-A/W.


title: Tomographic Auto-Encoder: Unsupervised Bayesian Recovery of Corrupted Data

abstract: We propose a new probabilistic method for unsupervised recovery of corrupted data. Given a large ensemble of degraded samples, our method recovers accurate posteriors of clean values, allowing the exploration of the manifold of possible reconstructed data and hence characterising the underlying uncertainty. In this setting, direct application of classical variational methods often gives rise to collapsed densities that do not adequately explore the solution space. Instead, we derive our novel reduced entropy condition approximate inference method that results in rich posteriors. We test our model in a data recovery task under the common setting of missing values and noise, demonstrating superior performance to existing variational methods for imputation and de-noising with different real data sets. We further show higher classification accuracy after imputation, proving the advantage of propagating uncertainty to downstream tasks with our model.


title: The Equilibrium Existence Duality: Equilibrium with Indivisibilities & Income Effects

abstract: We show that, with indivisible goods, the existence of competitive equilibrium fundamentally depends on agents' substitution effects, not their income effects. Our Equilibrium Existence Duality allows us to transport results on the existence of competitive equilibrium from settings with transferable utility to settings with income effects. One consequence is that net substitutability---which is a strictly weaker condition than gross substitutability---is sufficient for the existence of competitive equilibrium. We also extend the ``demand types'' classification of valuations to settings with income effects and give necessary and sufficient conditions for a pattern of substitution effects to guarantee the existence of competitive equilibrium.


title: Traceability Support for Multi-Lingual Software Projects

abstract: Software traceability establishes associations between diverse software artifacts such as requirements, design, code, and test cases. Due to the non-trivial costs of manually creating and maintaining links, many researchers have proposed automated approaches based on information retrieval techniques. However, many globally distributed software projects produce software artifacts written in two or more languages. The use of intermingled languages reduces the efficacy of automated tracing solutions. In this paper, we first analyze and discuss patterns of intermingled language use across multiple projects, and then evaluate several different tracing algorithms including the Vector Space Model (VSM), Latent Semantic Indexing (LSI), Latent Dirichlet Allocation (LDA), and various models that combine mono- and cross-lingual word embeddings with the Generative Vector Space Model (GVSM). Based on an analysis of 14 Chinese-English projects, our results show that best performance is achieved using mono-lingual word embeddings integrated into GVSM with machine translation as a preprocessing step.


title: Conformal Prediction Intervals for Neural Networks Using Cross Validation

abstract: Neural networks are among the most powerful nonlinear models used to address supervised learning problems. Similar to most machine learning algorithms, neural networks produce point predictions and do not provide any prediction interval which includes an unobserved response value with a specified probability. In this paper, we proposed the $k$-fold prediction interval method to construct prediction intervals for neural networks based on $k$-fold cross validation. Simulation studies and analysis of 10 real datasets are used to compare the finite-sample properties of the prediction intervals produced by the proposed method and the split conformal (SC) method. The results suggest that the proposed method tends to produce narrower prediction intervals compared to the SC method while maintaining the same coverage probability. Our experimental results also reveal that the proposed $k$-fold prediction interval method produces effective prediction intervals and is especially advantageous relative to competing approaches when the number of training observations is limited.


title: Do not forget interaction: Predicting fatality of COVID-19 patients using logistic regression

abstract: Amid the ongoing COVID-19 pandemic, whether COVID-19 patients with high risks can be recovered or not depends, to a large extent, on how early they will be treated appropriately before irreversible consequences are caused to the patients by the virus. In this research, we reported an explainable, intuitive, and accurate machine learning model based on logistic regression to predict the fatality rate of COVID-19 patients using only three important blood biomarkers, including lactic dehydrogenase, lymphocyte (%) and high-sensitivity C-reactive protein, and their interactions. We found that when the fatality probability produced by the logistic regression model was over 0.8, the model had the optimal performance in that it was able to predict patient fatalities more than 11.30 days on average with maximally 34.91 days in advance, an accumulative f1-score of 93.76% and and an accumulative accuracy score of 93.92%. Such a model can be used to identify COVID-19 patients with high risks with three blood biomarkers and help the medical systems around the world plan critical medical resources amid this pandemic.


title: Magnetic exchange coupling in cuprate-analog $d^9$ nickelates

abstract: Motivated by the recent discovery of superconductivity in doped NdNiO$_2$, we study the magnetic exchange interaction $J$ in layered $d^9$ nickelates from first principles. The mother compounds of the high-$T_{\rm c}$ cuprates belong to the charge-transfer regime in the Zaanen-Sawatzky-Allen diagram and have $J$ larger than 100 meV. While this feature makes the cuprates very different from other transition metal oxides, it is of great interest whether layered $d^9$ nickelates can also have such a large $J$. However, one complexity is that NdNiO$_2$ is not a Mott insulator due to carrier doping from the block layer. To compare the cuprates and $d^9$ nickelates on an equal basis, we study RbCa$_2$NiO$_3$ and $A_{2}$NiO$_{2}$Br$_2$ ($A$: a cation with the valence of $2.5+$), which were recently designed theoretically by block-layer engineering. These nickelates are free from the self-doping effect and belong to the Mott-Hubbard regime. We show that these nickelates share a common thread with the high-$T_{\rm c}$ cuprates in that they also have a significant exchange interaction $J$ as large as about 100 meV.


title: Bucking the Trend: An Agentive Perspective of Managerial Influence on Blogs Attractiveness

abstract: Blog management is central to the digitalization of work. However, existing theories tend to focus on environmental influence rather than managerial control of a blogs attractiveness at a microlevel. This study provides an agentive account of the adaptive behaviours exerted by the bloggers through the ways they use contents of their blogs to locate and harness their structural network positions of a blogosphere. We collated individual characteristics of 165 bloggers who blogged about economics, and then analysed the ways they maintained the contents of their blogs. We used network analysis and monomial logistic regression to test our model predictions. Our findings show that in contrast to less attractive blogs, bloggers who are mindful of their peers contents as a means of maintaining network positions attract a significantly higher level of traffic to their blogs. This agentive perspective offers practical insights into how nodal preferences can be reversed in blog management. We conclude the paper by discussing contributions to theory and future research.


title: Pure Spin Photocurrent in Non-centrosymmetric Crystals: Bulk Spin Photovoltaic Effect

abstract: Spin current generators are critical components for spintronics-based information processing. In this work, we theoretically and computationally investigate the bulk spin photovoltaic (BSPV) effect for creating DC spin current under light illumination. The only requirement for BPSV is inversion symmetry breaking, thus it applies to a broad range of materials and can be readily integrated with existing semiconductor technologies. The BSPV effect is a cousin of the bulk photovoltaic (BPV) effect, whereby a DC charge current is generated under light. Thanks to the different selection rules on spin and charge currents, a pure spin current can be realized if the system possesses mirror symmetry or inversion-mirror symmetry. The mechanism of BPSV and the role of the electronic relaxation time $\tau$ are also elucidated. We apply our theory to several distinct material systems, including transition metal dichalcogenides, anti-ferromagnetic $\rm MnBi_2Te_4$, and the surface of topological crystalline insulator cubic $\rm SnTe$.


title: Escaping sets are not sigma-compact

abstract: Let $f$ be a transcendental entire function. The escaping set $I(f)$ consists of those points that tend to infinity under iteration of $f$. We show that $I(f)$ is not $\sigma$-compact, resolving a question of Rippon from 2009.


title: Sampling from a $k$-DPP without looking at all items

abstract: Determinantal point processes (DPPs) are a useful probabilistic model for selecting a small diverse subset out of a large collection of items, with applications in summarization, stochastic optimization, active learning and more. Given a kernel function and a subset size $k$, our goal is to sample $k$ out of $n$ items with probability proportional to the determinant of the kernel matrix induced by the subset (a.k.a. $k$-DPP). Existing $k$-DPP sampling algorithms require an expensive preprocessing step which involves multiple passes over all $n$ items, making it infeasible for large datasets. A na\"ive heuristic addressing this problem is to uniformly subsample a fraction of the data and perform $k$-DPP sampling only on those items, however this method offers no guarantee that the produced sample will even approximately resemble the target distribution over the original dataset. In this paper, we develop an algorithm which adaptively builds a sufficiently large uniform sample of data that is then used to efficiently generate a smaller set of $k$ items, while ensuring that this set is drawn exactly from the target distribution defined on all $n$ items. We show empirically that our algorithm produces a $k$-DPP sample after observing only a small fraction of all elements, leading to several orders of magnitude faster performance compared to the state-of-the-art.


title: The Rabi problem with elliptic polarization

abstract: We consider the solution of the equation of motion of a classical/quantum spin subject to a monochromatical, elliptically polarized external field. The classical Rabi problem can be reduced to third order differential equations with polynomial coefficients and hence solved in terms of power series in close analogy to the confluent Heun equation occurring for linear polarization. Application of Floquet theory yields the physically interesting quasienergy as a function of the parameters of the problem and expressions for the Bloch-Siegert shift of resonance frequencies. Various limit cases cases have been thoroughly investigated.


title: Algebraic models of simple type theories: a polynomial approach

abstract: We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of simple type theories include the unityped and simply-typed $\lambda$-calculi, the computational $\lambda$-calculus, and predicate logic. Simple type theories are given models in presheaf categories, with structure specified by algebras of polynomial endofunctors that correspond to natural deduction rules. Initial models, which we construct, abstractly describe the syntax of simple type theories. Taking substitution structure into consideration, we further provide sound and complete semantics in structured cartesian multicategories. This development generalises Lambek's correspondence between the simply-typed $\lambda$-calculus and cartesian-closed categories, to arbitrary simple type theories.


title: Bounded Rationality in Las Vegas: Probabilistic Finite Automata PlayMulti-Armed Bandits

abstract: While traditional economics assumes that humans are fully rational agents who always maximize their expected utility, in practice, we constantly observe apparently irrational behavior. One explanation is that people have limited computational power, so that they are, quite rationally, making the best decisions they can, given their computational limitations. To test this hypothesis, we consider the multi-armed bandit (MAB) problem. We examine a simple strategy for playing an MAB that can be implemented easily by a probabilistic finite automaton (PFA). Roughly speaking, the PFA sets certain expectations, and plays an arm as long as it meets them. If the PFA has sufficiently many states, it performs near-optimally. Its performance degrades gracefully as the number of states decreases. Moreover, the PFA acts in a "human-like" way, exhibiting a number of standard human biases, like an optimism bias and a negativity bias.


title: Physics of Eclipsing Binaries. V. General Framework for Solving the Inverse Problem

abstract: PHOEBE 2 is a Python package for modeling the observables of eclipsing star systems, but until now has focused entirely on the forward-model -- that is, generating a synthetic model given fixed values of a large number of parameters describing the system and the observations. The inverse problem, obtaining orbital and stellar parameters given observational data, is more complicated and computationally expensive as it requires generating a large set of forward-models to determine which set of parameters and uncertainties best represent the available observational data. The process of determining the best solution and also of obtaining reliable and robust uncertainties on those parameters often requires the use of multiple algorithms, including both optimizers and samplers. Furthermore, the forward-model of PHOEBE has been designed to be as physically robust as possible, but is computationally expensive compared to other codes. It is useful, therefore, to use whichever code is most efficient given the reasonable assumptions for a specific system, but learning the intricacies of multiple codes presents a barrier to doing this in practice. Here we present the 2.3 release of PHOEBE (publicly available from http://phoebe-project.org) which introduces a general framework for defining and handling distributions on parameters, and utilizing multiple different estimation, optimization, and sampling algorithms. The presented framework supports multiple forward-models, including the robust model built into PHOEBE itself.


title: Electrothermal Transport Induced Material Re Configuration and Performance Degradation of CVD Grown Monolayer MoS2 Transistors

abstract: We report, for CVD-grown monolayer MoS2, the very first results on temporal degradation of material and device performance under electrical stress. Both low and high field regimes of operation are explored at different temperatures, gate bias and stress cycles. During low field operation, current is found to saturate after hundreds of seconds of operation with the current decay time constant being a function of temperature and stress cycle. Current saturation after several seconds during low field operation occurs when a thermal equilibrium is established. However, high field operation, especially at low temperature, leads to impact ionization assisted material and device degradation. It is found that high field operation at low temperature results in amorphization of the channel and is verified by device and Kelvin Probe Force Microscopy (KPFM) analyses. In general, a prolonged room temperature operation of CVD-grown MoS2 transistors lead to degraded gate control, higher OFF state current and negative shift in threshold voltage (VT). This is further verified, through micro-Raman and Photoluminescence spectroscopy, which suggest that a steady state DC electrical stress leads to the formation of localized low resistance regions in the channel and a subsequent loss of transistor characteristics. Our findings unveil unique mechanism by which CVD MoS2 undergoes material degradation under electrical stress and subsequent breakdown of transistor behavior. Such an understanding of material and device reliability helps in determining the safe operating regime from device as well as circuit perspective.


title: Incremental Calibration of Architectural Performance Models with Parametric Dependencies

abstract: Architecture-based Performance Prediction (AbPP) allows evaluation of the performance of systems and to answer what-if questions without measurements for all alternatives. A difficulty when creating models is that Performance Model Parameters (PMPs, such as resource demands, loop iteration numbers and branch probabilities) depend on various influencing factors like input data, used hardware and the applied workload. To enable a broad range of what-if questions, Performance Models (PMs) need to have predictive power beyond what has been measured to calibrate the models. Thus, PMPs need to be parametrized over the influencing factors that may vary. Existing approaches allow for the estimation of parametrized PMPs by measuring the complete system. Thus, they are too costly to be applied frequently, up to after each code change. They do not keep also manual changes to the model when recalibrating. In this work, we present the Continuous Integration of Performance Models (CIPM), which incrementally extracts and calibrates the performance model, including parametric dependencies. CIPM responds to source code changes by updating the PM and adaptively instrumenting the changed parts. To allow AbPP, CIPM estimates the parametrized PMPs using the measurements (generated by performance tests or executing the system in production) and statistical analysis, e.g., regression analysis and decision trees. Additionally, our approach responds to production changes (e.g., load or deployment changes) and calibrates the usage and deployment parts of PMs accordingly. For the evaluation, we used two case studies. Evaluation results show that we were able to calibrate the PM incrementally and accurately.


title: Boosting the efficiency of ab initio electron-phonon coupling calculations through dual interpolation

abstract: The coupling between electrons and phonons in solids plays a central role in describing many phenomena, including superconductivity and thermoelecric transport. Calculations of this coupling are exceedingly demanding as they necessitate integrations over both the electron and phonon momenta, both of which span the Brillouin zone of the crystal, independently. We present here an ab initio method for efficiently calculating electron-phonon mediated transport properties by dramatically accelerating the computation of the double integrals with a dual interpolation technique that combines maximally localized Wannier functions with symmetry-adapted plane waves. The performance gain in relation to the current state-of-the-art Wannier-Fourier interpolation is approximately 2n_s \times M, where n_s is the number of crystal symmetry operations and M, a number in the range 5 - 60, governs the expansion in star functions. We demonstrate with several examples how our method performs some ab initio calculations involving electron-phonon interactions.


title: We Should at Least Be Able to Design Molecules That Dock Well

abstract: Designing compounds with desired properties is a key element of the drug discovery process. However, measuring progress in the field has been challenging due to the lack of realistic retrospective benchmarks, and the large cost of prospective validation. To close this gap, we propose a benchmark based on docking, a popular computational method for assessing molecule binding to a protein. Concretely, the goal is to generate drug-like molecules that are scored highly by SMINA, a popular docking software. We observe that popular graph-based generative models fail to generate molecules with a high docking score when trained using a realistically sized training set. This suggests a limitation of the current incarnation of models for de novo drug design. Finally, we propose a simplified version of the benchmark based on a simpler scoring function, and show that the tested models are able to partially solve it. We release the benchmark as an easy to use package available at https://github.com/cieplinski-tobiasz/smina-docking-benchmark. We hope that our benchmark will serve as a stepping stone towards the goal of automatically generating promising drug candidates.


title: ITSELF: Iterative Saliency Estimation fLexible Framework

abstract: Saliency object detection estimates the objects that most stand out in an image. The available unsupervised saliency estimators rely on a pre-determined set of assumptions of how humans perceive saliency to create discriminating features. By fixing the pre-selected assumptions as an integral part of their models, these methods cannot be easily extended for specific settings and different image domains. We then propose a superpixel-based ITerative Saliency Estimation fLexible Framework (ITSELF) that allows any user-defined assumptions to be added to the model when required. Thanks to recent advancements in superpixel segmentation algorithms, saliency-maps can be used to improve superpixel delineation. By combining a saliency-based superpixel algorithm to a superpixel-based saliency estimator, we propose a novel saliency/superpixel self-improving loop to iteratively enhance saliency maps. We compare ITSELF to two state-of-the-art saliency estimators on five metrics and six datasets, four of which are composed of natural-images, and two of biomedical-images. Experiments show that our approach is more robust than the compared methods, presenting competitive results on natural-image datasets and outperforming them on biomedical-image datasets.


title: Observation of structure in the $J/\psi$-pair mass spectrum

abstract: Using proton-proton collision data at centre-of-mass energies of $\sqrt{s} = 7$, $8$ and $13\mathrm{\,TeV}$ recorded by the LHCb experiment at the Large Hadron Collider, corresponding to an integrated luminosity of $9\mathrm{\,fb}^{-1}$, the invariant mass spectrum of $J/\psi$ pairs is studied. A narrow structure around $6.9\mathrm{\,GeV/}c^2$ matching the lineshape of a resonance and a broad structure just above twice the $J/\psi$ mass are observed. The deviation of the data from nonresonant $J/\psi$-pair production is above five standard deviations in the mass region between $6.2$ and $7.4\mathrm{\,GeV/}c^2$, covering predicted masses of states composed of four charm quarks. The mass and natural width of the narrow $X(6900)$ structure are measured assuming a Breit--Wigner lineshape.


title: Evaluating the Performance of Reinforcement Learning Algorithms

abstract: Performance evaluations are critical for quantifying algorithmic advances in reinforcement learning. Recent reproducibility analyses have shown that reported performance results are often inconsistent and difficult to replicate. In this work, we argue that the inconsistency of performance stems from the use of flawed evaluation metrics. Taking a step towards ensuring that reported results are consistent, we propose a new comprehensive evaluation methodology for reinforcement learning algorithms that produces reliable measurements of performance both on a single environment and when aggregated across environments. We demonstrate this method by evaluating a broad class of reinforcement learning algorithms on standard benchmark tasks.


title: Geometry of log-concave functions: the $L_p$ Asplund sum and the $L_{p}$ Minkowski problem

abstract: The aim of this paper is to develop a basic framework of the $L_p$ theory for the geometry of log-concave functions, which can be viewed as a functional "lifting" of the $L_p$ Brunn-Minkowski theory for convex bodies. To fulfill this goal, by combining the $L_p$ Asplund sum of log-concave functions for all $p>1$ and the total mass, we obtain a Pr\'ekopa-Leindler type inequality and propose a definition for the first variation of the total mass in the $L_p$ setting. Based on these, we further establish an $L_p$ Minkowski type inequality related to the first variation of the total mass and derive a variational formula which motivates the definition of our $L_p$ surface area measure for log-concave functions. Consequently, the $L_p$ Minkowski problem for log-concave functions, which aims to characterize the $L_p$ surface area measure for log-concave functions, is introduced. The existence of solutions to the $L_p$ Minkowski problem for log-concave functions is obtained for $p>1$ under some mild conditions on the pre-given Borel measures.


title: Digital Contact Tracing Service: An improved decentralized design for privacy and effectiveness

abstract: We propose a decentralized digital contact tracing service that preserves the users' privacy by design while complying to the highest security standards. Our approach is based on Bluetooth and measures actual encounters of people, the contact time period, and estimates the proximity of the contact. We trace the users' contacts and the possible spread of infectious diseases while preventing location tracking of users, protecting their data and identity. We verify and improve the impact of tracking based on epidemiological models. We compare a centralized and decentralized approach on a legal perspective and find a decentralized approach preferable considering proportionality and data minimization.


title: Uniform Skoda integrability and Calabi-Yau degeneration

abstract: We study polarised algebraic degenerations of Calabi-Yau manifolds. We prove a uniform Skoda type estimate, and a uniform $L^\infty$-estimate for the Calabi-Yau K\"ahler potentials.