title: Analysis of Software Engineering for Agile Machine Learning Projects

abstract: The number of machine learning, artificial intelligence or data science related software engineering projects using Agile methodology is increasing. However, there are very few studies on how such projects work in practice. In this paper, we analyze project issues tracking data taken from Scrum (a popular tool for Agile) for several machine learning projects. We compare this data with corresponding data from non-machine learning projects, in an attempt to analyze how machine learning projects are executed differently from normal software engineering projects. On analysis, we find that machine learning project issues use different kinds of words to describe issues, have higher number of exploratory or research oriented tasks as compared to implementation tasks, and have a higher number of issues in the product backlog after each sprint, denoting that it is more difficult to estimate the duration of machine learning project related tasks in advance. After analyzing this data, we propose a few ways in which Agile machine learning projects can be better logged and executed, given their differences with normal software engineering projects.


title: Newton Non-degenerate Foliations and Blowing-ups

abstract: A codimension one singular holomorphic foliation is Newton non-degenerate if it satisfies the classical conditions of Kouchnirenko and Oka, in terms of its Newton polyhedra system. In this paper we prove that a foliation is Newton non-degenerate if and only if it admits a logarithmic reduction of singularities of a combinatorial nature.


title: On the Convergence of Numerical Integration as a Finite Matrix Approximation to Multiplication Operator

abstract: We study the convergence of a family of numerical integration methods where the numerical integral is formulated as a finite matrix approximation to a multiplication operator. For bounded functions, the convergence has already been established using the theory of strong operator convergence. In this article, we consider unbounded functions and domains which pose several difficulties compared to the bounded case. A natural choice of method for this study is the theory of strong resolvent convergence which has previously been mostly applied to study the convergence of approximations of differential operators. The existing theory already includes convergence theorems that can be used as proofs as such for a limited class of functions and extended for wider class of functions in terms of function growth or discontinuity. The extended results apply to all self-adjoint operators, not just multiplication operators. We also show how Jensen's operator inequality can be used to analyse the convergence of an improper numerical integral of a function bounded by an operator convex function.


title: Euclid: The reduced shear approximation and magnification bias for Stage IV cosmic shear experiments

abstract: Stage IV weak lensing experiments will offer more than an order of magnitude leap in precision. We must therefore ensure that our analyses remain accurate in this new era. Accordingly, previously ignored systematic effects must be addressed. In this work, we evaluate the impact of the reduced shear approximation and magnification bias, on the information obtained from the angular power spectrum. To first-order, the statistics of reduced shear, a combination of shear and convergence, are taken to be equal to those of shear. However, this approximation can induce a bias in the cosmological parameters that can no longer be neglected. A separate bias arises from the statistics of shear being altered by the preferential selection of galaxies and the dilution of their surface densities, in high-magnification regions. The corrections for these systematic effects take similar forms, allowing them to be treated together. We calculated the impact of neglecting these effects on the cosmological parameters that would be determined from Euclid, using cosmic shear tomography. To do so, we employed the Fisher matrix formalism, and included the impact of the super-sample covariance. We also demonstrate how the reduced shear correction can be calculated using a lognormal field forward modelling approach. These effects cause significant biases in Omega_m, sigma_8, n_s, Omega_DE, w_0, and w_a of -0.53 sigma, 0.43 sigma, -0.34 sigma, 1.36 sigma, -0.68 sigma, and 1.21 sigma, respectively. We then show that these lensing biases interact with another systematic: the intrinsic alignment of galaxies. Accordingly, we develop the formalism for an intrinsic alignment-enhanced lensing bias correction. Applying this to Euclid, we find that the additional terms introduced by this correction are sub-dominant.


title: Magneto-optics of a Weyl semimetal beyond the conical band approximation: the case study of TaP

abstract: Landau-level spectroscopy, the optical analysis of electrons in materials subject to a strong magnetic field, is a versatile probe of the electronic band structure and has been successfully used in the identification of novel states of matter such as Dirac electrons, topological materials or Weyl semimetals. The latter arise from a complex interplay between crystal symmetry, spin-orbit interaction and inverse ordering of electronic bands. Here, we report on unusual Landau-level transitions in the monopnictide TaP that decrease in energy with increasing magnetic field. We show that these transitions arise naturally at intermediate energies in time-reversal-invariant Weyl semimetals where the Weyl nodes are formed by a partially gapped nodal-loop in the band structure. We propose a simple theoretical model for electronic bands in these Weyl materials that captures the collected magneto-optical data to great extent.


title: A Method for Reducing the Adverse Effects of Stray-Capacitance on Capacitive Sensor Circuits

abstract: We examine the increase in voltage noise in capacitive sensor circuits due to the stray-capacitance introduced by connecting cables. We have measured and modelled the voltage noise of various standard circuits, and we compare their performance against a benchmark without stray-capacitance that is optimised to have a high signal-to-noise ratio (SNR) for our application. We show that a factor limiting sensitivity is the so-called noise gain, which is not easily avoided. In our application the capacitive sensor is located in a metallic vessel and is therefore shielded to some extent from ambient noise at radio frequencies. It is therefore possible to compromise the shielding of the coaxial connecting cable by effectively electrically floating it. With a cable stray-capacitance of 1.8nF and at a modulation frequency of 100kHz, our circuit has an output voltage noise a factor of 3 larger than the benchmark.


title: Pneumothorax Segmentation: Deep Learning Image Segmentation to predict Pneumothorax

abstract: Computer vision has shown promising results in medical image processing. Pneumothorax is a deadly condition and if not diagnosed and treated at time then it causes death. It can be diagnosed with chest X-ray images. We need an expert and experienced radiologist to predict whether a person is suffering from pneumothorax or not by looking at the chest X-ray images. Everyone does not have access to such a facility. Moreover, in some cases, we need quick diagnoses. So we propose an image segmentation model to predict and give the output a mask that will assist the doctor in taking this crucial decision. Deep Learning has proved their worth in many areas and outperformed man state-of-the-art models. We want to use the power of these deep learning model to solve this problem. We have used U-net [13] architecture with ResNet [17] as a backbone and achieved promising results. U-net [13] performs very well in medical image processing and semantic segmentation. Our problem falls in the semantic segmentation category.


title: Anisotropic Lattice Compression and Pressure-Induced Electronic Phase Transitions in Sr$_2$IrO$_4$

abstract: The crystal lattice of Sr$_2$IrO$_4$ is investigated with synchrotron X-ray powder diffraction under hydrostatic pressures up to $P=43$ GPa and temperatures down to $20$ K. The tetragonal unit cell is maintained over the whole investigated pressure range, within our resolution and sensitivity. The $c$-axis compressibility $\kappa_c(P,T) \equiv -({1} / {c}) ({d c} / {d P})$ presents an anomaly with pressure at $P_1=17$ GPa at fixed $T=20$ K that is not observed at $T=300$ K, whereas $\kappa_a(P,T)$ is nearly temperature-independent and shows a linear behavior with $P$. The anomaly in $\kappa_c(P,T)$ is associated with the onset of long-range magnetic order, as evidenced by an analysis of the temperature-dependence of the lattice parameters at fixed $P=13.7 \pm 0.5$ GPa. At fixed $T=20$ K, the tetragonal elongation $c/a(P,T)$ shows a gradual increment with pressure and a depletion above $P_2=30$ GPa that indicates an orbital transition and possibly marks the collapse of the $J_{eff}=1/2$ spin-orbit-entangled state. Our results support pressure-induced phase transitions or crossovers between electronic ground states that are sensed, and therefore can be probed, by the crystal lattice at low temperatures in this prototype spin-orbit Mott insulator.


title: Scalable Group Secret Key Generation over Wireless Channels

abstract: In this paper, we consider the problem of secret key generation for multiple parties. Multi-user networks usually require a trusted party to efficiently distribute keys to the legitimate users and this process is a weakness against eavesdroppers. With the help of the physical layer security techniques, users can securely decide on a secret key without a trusted party by exploiting the unique properties of the channel. In this context, we develop a physical layer group key generation scheme that is also based on the ideas of the analog function computation studies. We firstly consider the key generation as a function to be computed over the wireless channel and propose two novel methods depending on the users transmission capability (i.e. half-duplex and full-duplex transmissions). Secondly, we exploit the uniqueness of the prime integers in order to enable the simultaneous transmission of the users for key generation. As a result, our approach contributes to the scalability of the existing physical layer key generation algorithms since all users transmit simultaneously rather than using pairwise communications. We prove that our half-duplex network model reduces the required number of communications for group key generation down to a linear scale. Furthermore, the full-duplex network model reduces to a constant scale.


title: Quantum magic squares: dilations and their limitations

abstract: Quantum permutation matrices and quantum magic squares are generalizations of permutation matrices and magic squares, where the entries are no longer numbers but elements from arbitrary (non-commutative) algebras. The famous Birkhoff--von Neumann Theorem characterizes magic squares as convex combinations of permutation matrices. In the non-commutative case, the corresponding question is: Does every quantum magic square belong to the matrix convex hull of quantum permutation matrices? That is, does every quantum magic square dilate to a quantum permutation matrix? Here we show that this is false even in the simplest non-commutative case. We also classify the quantum magic squares that dilate to a quantum permutation matrix with commuting entries, and prove a quantitative lower bound on the diameter of this set. Finally, we conclude that not all Arveson extreme points of the free spectrahedron of quantum magic squares are quantum permutation matrices.


title: ConvPoseCNN: Dense Convolutional 6D Object Pose Estimation

abstract: 6D object pose estimation is a prerequisite for many applications. In recent years, monocular pose estimation has attracted much research interest because it does not need depth measurements. In this work, we introduce ConvPoseCNN, a fully convolutional architecture that avoids cutting out individual objects. Instead we propose pixel-wise, dense prediction of both translation and orientation components of the object pose, where the dense orientation is represented in Quaternion form. We present different approaches for aggregation of the dense orientation predictions, including averaging and clustering schemes. We evaluate ConvPoseCNN on the challenging YCB-Video Dataset, where we show that the approach has far fewer parameters and trains faster than comparable methods without sacrificing accuracy. Furthermore, our results indicate that the dense orientation prediction implicitly learns to attend to trustworthy, occlusion-free, and feature-rich object regions.


title: Positive Miyadera-Voigt perturbations of bi-continuous semigroups

abstract: We discuss positive Miyadera-Voigt type perturbations for bi-continuous semigroups on AL-spaces with an additional locally convex topology generated by additive seminorms. Our main example is the space of bounded Borel measures.


title: The Phenomenological Scaling Relations of Disk Galaxies

abstract: A conservative scaling model based on Newton's law of circular motion and the virial theorem is proposed. Employing dimensionless scaling relations, a physical solution to the Baryonic Tully-Fisher Relation (BTFR) is obtained and the origin of the Radial Acceleration Relation (RAR) is provided. A simple model of the Milky Way's dynamics reveals excellent agreement with recent Gaia DR2 kinematical results.


title: Consistent Curvature Approximation on Riemannian Shape Spaces

abstract: We describe how to approximate the Riemann curvature tensor as well as sectional curvatures on possibly infinite-dimensional shape spaces that can be thought of as Riemannian manifolds. To this end, we extend the variational time discretization of geodesic calculus presented in Rumpf and Wirth (2015), which just requires an approximation of the squared Riemannian distance that is typically easy to compute. First we obtain first order discrete covariant derivatives via a Schild's ladder type discretization of parallel transport. Second order discrete covariant derivatives are then computed as nested first order discrete covariant derivatives. These finally give rise to an approximation of the curvature tensor. First and second order consistency are proven for the approximations of the covariant derivative and the curvature tensor. The findings are experimentally validated on two-dimensional surfaces embedded in $\mathbb{R}^3$. Furthermore, as a proof of concept the method is applied to the shape space of triangular meshes, and discrete sectional curvature indicatrices are computed on low-dimensional vector bundles.


title: Strong decays of the lowest bottomonium hybrid within an extended Born-Oppenheimer framework

abstract: We analyze the decays of the theoretically predicted lowest bottomonium hybrid $H(1P)$ to open bottom two-meson states. We do it by embedding a quark pair creation model into the Born-Oppenheimer framework which allows for a unified, QCD-motivated description of bottomonium hybrids as well as bottomonium. A new $^{1}\!P_{1}$ decay model for $H(1P)$ comes out. The same analysis applied to bottomonium leads naturally to the well-known $^{3}\!P_{0}$ decay model. We show that $H(1P)$ and the theoretically predicted bottomonium state $\Upsilon(5S)$, whose calculated masses are close to each other, have very different widths for such decays. A comparison with data from $\Upsilon(10860)$, an experimental resonance whose mass is similar to that of $\Upsilon(5S)$ and $H(1P)$, is carried out. Neither a $\Upsilon(5S)$ nor a $H(1P)$ assignment can explain the measured decay widths. However, a $\Upsilon(5S)$-$H(1P)$ mixing may give account of them supporting previous analyses of dipion decays of $\Upsilon(10860)$ and suggesting a possible experimental evidence of $H(1P)$.


title: On the initial boundary value problem for the Einstein vacuum equations in the maximal gauge

abstract: We consider the initial boundary value problem for the Einstein vacuum equations in the maximal gauge, or more generally, in a gauge where the mean curvature of a timelike foliation is fixed near the boundary. We prove the existence of solutions such that the normal to the boundary is tangent to the time slices, the lapse of the induced time coordinate on the boundary is fixed and the main geometric boundary conditions are given by the 1-parameter family of Riemannian conformal metrics on each two-dimensional section. As in the local existence theory of Christodoulou-Klainerman for the Einstein vacuum equations in the maximal gauge, we use as a reduced system the wave equations satisfied by the components of the second fundamental form of the the time foliation. The main difficulty lies in completing the above set of boundary conditions such that the reduced system is well-posed, but still allows for the recovery of the Einstein equations. We solve this problem by imposing the momentum constraint equations on the boundary, suitably modified by quantities vanishing in the maximal gauge setting. To derive energy estimates for the reduced system at time t, we show that all the terms in the flux integrals on the boundary can be either directly controlled by the boundary conditions or they lead to an integral on the two-dimensional section at time t of the boundary. Exploiting again the maximal gauge condition on the boundary, this contribution to the flux integrals can then be absorbed by a careful trace inequality in the interior energy.


title: Synthetic topology in Homotopy Type Theory for probabilistic programming

abstract: The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on the category of sets. This enables the interpretation of a probabilistic programming language with primitives for sampling from discrete distributions. However, continuous distributions have to be discretized because the corresponding measures cannot be defined on all subsets of their carriers. This paper proposes the use of synthetic topology to model continuous distributions for probabilistic computations in type theory. We study the initial $\sigma$-frame and the corresponding induced topology on arbitrary sets. Based on these intrinsic topologies we define valuations and lower integrals on sets, and prove versions of the Riesz and Fubini theorems. We then show how the Lebesgue valuation, and hence continuous distributions, can be constructed.


title: Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving

abstract: Synthetic Biology is an interdisciplinary field that utilizes well-established engineering principles, ranging from electrical, control and computer systems, for analyzing the biological systems, such as biological circuits, enzymes, pathways and controllers. Traditionally, these biological systems, i.e., the genetic circuits are analyzed using paper-and-pencil proofs and computer-based simulations techniques. However, these methods cannot provide accurate results due to their inherent limitations such as human error-proneness, round-off errors and the unverified algorithms present in the core of the tools, providing such analyses. In this paper, we propose to use higher-order-logic theorem proving as a complementary technique for analyzing these systems and thus overcome the above-mentioned issues. In particular, we propose a higher-order-logic theorem proving based framework to formally reason about the genetic circuits used in synthetic biology. The main idea is to, first, model the continuous dynamics of the genetic circuits using differential equations. The next step is to obtain the systems' transfer function from their corresponding block diagram representations. Finally, the transfer function based analysis of these differential equation based models is performed using the Laplace transform. To illustrate the practical utilization of our proposed framework, we formally analyze the genetic circuits of activated and repressed expressions of protein.


title: Distributed control of DC grids: integrating prosumers motives

abstract: In this paper, a novel distributed control strategy addressing a (feasible) psycho-social-physical welfare problem in islanded Direct Current (DC) smart grids is proposed. Firstly, we formulate a (convex) optimization problem that allows prosumers to share current with each other, taking into account the technical and physical aspects and constraints of the grid (e.g., stability, safety), as well as psycho-social factors (i.e., prosumers' personal values). Secondly, we design a controller whose (unforced) dynamics represent the continuous time primal-dual dynamics of the considered optimization problem. Thirdly, a passive interconnection between the physical grid and the controller is presented. Global asymptotic convergence of the closed-loop system to the desired steady-state is proved and simulations based on collected data on psycho-social aspects illustrate and confirm the theoretical results.


title: Chimera states formed via a two-level synchronization mechanism

abstract: Chimera states, which consist of coexisting synchronous and asynchronous domains in networks of coupled oscillators, are in the focus of attention for over a decade. Although chimera morphology and properties have been investigated in a number of models, the mechanism responsible for their formation is still not well understood. To shed light in the chimera producing mechanism, in the present study we introduce an oscillatory model with variable frequency governed by a 3rd order equation. In this model single oscillators are constructed as bistable and depending on the initial conditions their frequency may result in one of the two stable fixed points, $\omega _l$ and $\omega _h $ (two-level synchronization). Numerical simulations demonstrate that these oscillators organize in domains with alternating frequencies, when they are nonlocally coupled in networks. In each domain the oscillators synchronize, sequential domains follow different modes of synchronization and the border elements between two consecutive domains form the asynchronous domains. We investigate the influence of the frequency coupling constant and of the coupling range on the chimera morphology and we show that the chimera multiplicity decreases as the coupling range increases. The frequency spectrum is calculated in the coherent and incoherent domains of this model. In the coherent domains single frequencies ($\omega _l$ or $\omega _h$) are observed, while in the incoherent domains both $\omega _l$ and $\omega _h$ as well as their superpositions appear. This mechanism of creating domains of alternating frequencies offers a reasonable generic scenario for chimera state formation.


title: Phase structure and real-time dynamics of the massive Thirring model in 1+1 dimensions using the tensor-network method

abstract: We present concluding results from our study for zero-temperature phase structure of the massive Thirring model in 1+1 dimensions with staggered regularisation. Employing the method of matrix product states, several quantities, including two types of correlators, are investigated, leading to numerical evidence of a Berezinskii-Kosterlitz-Thouless phase transition. Exploratory results for real-time dynamics pertaining to this transition, obtained using the approaches of variational uniform matrix product state and time-dependent variational principle, are also discussed.


title: Structural transitions in dense disordered silicon from quantum-accurate ultra-large-scale simulations

abstract: Structurally disordered materials continue to pose fundamental questions, including that of how different disordered phases ("polyamorphs") can coexist and transform from one to another. As a widely studied case, amorphous silicon (a-Si) forms a fourfold-coordinated, covalent random network at ambient conditions, but much higher-coordinated, metallic-like phases under pressure. However, a detailed mechanistic understanding of the liquid-amorphous and amorphous-amorphous transitions in silicon has been lacking, due to intrinsic limitations of even the most advanced experimental and computational techniques. Here, we show how machine-learning (ML)-driven simulations can break through this long-standing barrier, affording a comprehensive, quantum-accurate, and fully atomistic description of all relevant liquid and amorphous phases of silicon. Combining a model system size of 100,000 atoms (ten-nanometre length scale) with a prediction accuracy of a few meV per atom, our simulations reveal a remarkable, three-step transformation sequence for a-Si under increasing external pressure. First, up to 10-11 GPa, polyamorphic low- and high-density amorphous (LDA and HDA) regions are found to coexist, rather than appearing sequentially. Then, we observe a structural collapse into a distinct, very-high-density amorphous (VHDA) phase at 12-13 GPa, reminiscent of the dense liquid but being formed at a much lower temperature. Finally, our simulations indicate the transient nature of this VHDA phase: it rapidly nucleates crystallites at 13-16 GPa, ultimately leading to the formation of a poly-crystalline, simple-hexagonal structure, consistent with experiments but not seen in earlier simulations.


title: A note on the vanishing viscosity limit in the Yudovich class

abstract: We consider the inviscid limit for the two-dimensional Navier--Stokes equations in the class of integrable and bounded vorticity fields. It is expected that the difference between the Navier--Stokes and Euler velocity fields vanishes in $L^2$ with an order proportional to the square root of the viscosity constant $\nu$. Here, we provide an order $\left(\nu/|\log\nu|\right)^{\frac12\exp(-Ct)}$ bound, which slightly improves upon earlier results by Chemin.


title: Analysis of Regression Discontinuity Designs with Multiple Cutoffs or Multiple Scores

abstract: We introduce the \texttt{Stata} (and \texttt{R}) package \texttt{rdmulti}, which includes three commands (\texttt{rdmc}, \texttt{rdmcplot}, \texttt{rdms}) for analyzing Regression Discontinuity (RD) designs with multiple cutoffs or multiple scores. The command \texttt{rdmc} applies to non-cumulative and cumulative multi-cutoff RD settings. It calculates pooled and cutoff-specific RD treatment effects, and provides robust bias-corrected inference procedures. Post estimation and inference is allowed. The command \texttt{rdmcplot} offers RD plots for multi-cutoff settings. Finally, the command \texttt{rdms} concerns multi-score settings, covering in particular cumulative cutoffs and two running variables contexts. It also calculates pooled and cutoff-specific RD treatment effects, provides robust bias-corrected inference procedures, and allows for post-estimation estimation and inference. These commands employ the \texttt{Stata} (and \texttt{R}) package \texttt{rdrobust} for plotting, estimation, and inference. Companion \texttt{R} functions with the same syntax and capabilities are provided.


title: Twenty-Seven Questions about the Cubic Surface

abstract: We present a collection of research questions on cubic surfaces in 3-space. These questions inspired a collection of papers to be published in a special issue of the journal Le Matematiche. This article serves as the introduction to that issue. The number of questions is meant to match the number of lines on a cubic surface. We end with a list of problems that are open.


title: Possible molecular states in $B^{(*)}B^{(*)}$ scatterings

abstract: We present that, if unitarizing the $B^{(*)}B^{(*)}$ scattering amplitudes in the constituent interchange model, one can find two bound state poles for $(I_{tot},S_{tot})=(0,1)$ $BB^*$ and $B^*B^*$ system, which corresponds to two $I(J^P)=0(1^+)$ doubly bottomed molecular states. Furthermore, it is noticed that the virtual states in $(1,0)$ $BB$, $(1,1)$ $BB^*$, $(1,0)$ $B^*B^*$, and $(1,2)$ $B^*B^*$ systems could produce enhancements of the module squares of the scattering $T$-matrix just above the related thresholds, which might correspond to $I(J^P)=1(0^+)$, $1(1^+)$, and $1(2^+)$ doubly bottomed molecular states, respectively. The calculation may be helpful for searching for the doubly bottomed molecular state in future experiments.


title: Parametric excitation of an optically silent Goldstone-like phonon mode

abstract: It has recently been indicated that the hexagonal manganites exhibit Higgs- and Goldstone-like phonon modes that modulate the amplitude and phase of their primary order parameter. Here, we describe a mechanism by which a silent Goldstone-like phonon mode can be coherently excited, which is based on nonlinear coupling to an infrared-active Higgs-like phonon mode. Using a combination of first-principles calculations and phenomenological modeling, we describe the coupled Higgs-Goldstone dynamics in response to the excitation with a terahertz pulse. Besides theoretically demonstrating coherent control of crystallographic Higgs and Goldstone excitations, we show that the previously inaccessible silent phonon modes can be excited coherently with this mechanism.


title: Modeling and Analysis of Reconfigurable Intelligent Surfaces for Indoor and Outdoor Applications in Future Wireless Networks

abstract: Reconfigurable intelligent surface (RIS)-empowered communication is one of the promising 6G technologies that allows the conversion of the wireless channel into an intelligent transmit entity by manipulating the impinging waves using man-made surfaces. In this paper, the potential benefits of using RISs are investigated for indoor/outdoor setups and various frequency bands (from sub 6 GHz to millimeter-waves). First, a general system model with a single RIS is considered and the effect of the total number of reflecting elements on the probabilistic distribution of the received signal-to-noise ratio and error performance is investigated under Rician fading. Also for this case, the path loss exponent is analyzed by considering empirical path loss models. Furthermore, transmission models with multiple RISs are developed and analyzed for indoor and outdoor non line-of-sight (NLOS) scenarios. The conventional RIS selection strategies are also integrated for systems equipped with multiple RISs for the first time. Through extensive simulations, it is demonstrated that the RIS-assisted systems provide promising solutions for indoor/outdoor scenarios at various operating frequencies and exhibit significant results in error performance and achievable data rates even in the presence of system imperfections such as limited range phase adjustment and imperfect channel phase estimation at RISs.


title: Doubly Charged Lepton Search Potential of the FCC-Based Energy-Frontier Electron-Proton Colliders

abstract: We search for the doubly charged leptons ($L^{--}$) predicted in composite models including extended weak isospin multiplets namely, $I_{W}=1$ and $I_{W}=3/2$ at the Future Circular Collider (FCC)-based energy-frontier electron-proton colliders with the center-of-mass energies of $\sqrt{s}=3.46$ TeV, $\sqrt{s}=10$ TeV, and $\sqrt{s}=31.6$ TeV, respectively. We deal with the $e^{-}p\rightarrow L^{--}X\rightarrow e^{-}W^{-}X$ process, calculate the production cross sections and give the normalized transverse momentum and pseudorapiditiy distributions of final state electron to obtain the kinematical cuts for the discovery. We show the statistical significance ($SS$) of the expected signal yield as a function of doubly charged lepton mass ($SS-M_{L}$ plots) to attain the doubly charged lepton discovery mass limits both for the $I_{W}=1$ and $I_{W}=3/2$. It is obtained that discovery mass limits on the mass of doubly charged lepton for $I_{W}=1$ ($I_{W}=3/2$) are, $2.21\,(2.73)$ TeV, $5.46\,(8.47)$ TeV, and $12.9\,(20.0)$ TeV for $\sqrt{s}=3.46$ TeV, $\sqrt{s}=10$ TeV, and $\sqrt{s}=31.6$ TeV, respectively.


title: Analyzing Offline Social Engagements: An Empirical Study of Meetup Events Related to Software Development

abstract: Software developers use a variety of social media channels and tools in order to keep themselves up to date, collaborate with other developers, and find projects to contribute to. Meetup is one of such social media used by software developers to organize community gatherings. Liu et al. characterized Meetup as an event-based social network (EBSN) which contains valuable offline social interactions in addition to online interactions. Recently, Storey et al. found out that Meetup was one of the social channels used by developers. We in this work investigate in detail the dynamics of Meetup groups and events related to software development, which has not been done in any of the previous works. First, we identified 6,317 Meetup groups related to software development and extracted 185,758 events organized by them. Then we took a statistically significant sample of 452 events on which we performed open coding, based on which we were able to develop 9 categories of events (8 main categories + Others). Next, we did a popularity analysis of the categories of events and found that Talks by Domain Experts, Hands-on Sessions, and Open Discussions are the most popular categories of events organized by Meetup groups related to software development. Our findings show that more popular categories are those where developers can learn and gain knowledge. On doing a diversity analysis of Meetup groups we found 19.82% of the members on an average are female, which is a larger proportion as compared to numbers reported in previous studies on other social media. From a broader software development community point of view information from this new forum can be valuable to identify and understand emerging topics and associations among them which can be helpful to identify future trends as well as current best practices.


title: Combinatorial optimisation via highly efficient quantum walks

abstract: We present a highly efficient quantum circuit for performing continuous time quantum walks (CTQWs) over an exponentially large set of combinatorial objects, provided that the objects can be indexed efficiently. CTQWs form the core mixing operation of a generalised version of the Quantum Approximate Optimisation Algorithm, which works by `steering' the quantum amplitude into high-quality solutions. The efficient quantum circuit holds the promise of finding high-quality solutions to certain classes of NP-hard combinatorial problems such as the Travelling Salesman Problem, maximum set splitting, graph partitioning, and lattice path optimisation.


title: Deep learning-based survival prediction for multiple cancer types using histopathology images

abstract: Prognostic information at diagnosis has important implications for cancer treatment and monitoring. Although cancer staging, histopathological assessment, molecular features, and clinical variables can provide useful prognostic insights, improving risk stratification remains an active research area. We developed a deep learning system (DLS) to predict disease specific survival across 10 cancer types from The Cancer Genome Atlas (TCGA). We used a weakly-supervised approach without pixel-level annotations, and tested three different survival loss functions. The DLS was developed using 9,086 slides from 3,664 cases and evaluated using 3,009 slides from 1,216 cases. In multivariable Cox regression analysis of the combined cohort including all 10 cancers, the DLS was significantly associated with disease specific survival (hazard ratio of 1.58, 95% CI 1.28-1.70, p<0.0001) after adjusting for cancer type, stage, age, and sex. In a per-cancer adjusted subanalysis, the DLS remained a significant predictor of survival in 5 of 10 cancer types. Compared to a baseline model including stage, age, and sex, the c-index of the model demonstrated an absolute 3.7% improvement (95% CI 1.0-6.5) in the combined cohort. Additionally, our models stratified patients within individual cancer stages, particularly stage II (p=0.025) and stage III (p<0.001). By developing and evaluating prognostic models across multiple cancer types, this work represents one of the most comprehensive studies exploring the direct prediction of clinical outcomes using deep learning and histopathology images. Our analysis demonstrates the potential for this approach to provide prognostic information in multiple cancer types, and even within specific pathologic stages. However, given the relatively small number of clinical events, we observed wide confidence intervals, suggesting that future work will benefit from larger datasets.


title: A Conceptual Design Study of a Compact Photon Source (CPS) for Jefferson Lab

abstract: This document describes the technical design concept of a compact high intensity, multi-GeV photon source. Capable of producing 10^12 equivalent photons per second this novel device will provide unprecedented access to physics processes with very small scattering probabilities such as hard exclusive reactions on the nucleon. When combined with dynamic nuclear polarized targets, its deployment will result in a large gain in polarized experiment figure-of-merit compared to all previous measurements. Compared to a traditional bremsstrahlung photon source the proposed concept presents several advantages, most significantly in providing a full intensity in a small spot at the target and in taking advantage of the narrow angular spread associated with high energy bremsstrahlung compare to the wide angular distribution of the secondary radiation to minimize the operational prompt and activation radiation dose rates.


title: The Integrated Vehicle and Pollster Routing Problem

abstract: The National Statistics Bureau of Ecuador carries out monthly polls to monitor the evolution of an economic indicator called "Consumer Price Index", which measures the consumer prices of basic commodities. A set of stores is selected to apply these polls. Further, a set of vehicles transports pollsters from the headquarters of the bureau to the stores to perform this activity. Moreover, pollsters move between stores using pedestrian paths or using a vehicle to shorten the travel time. This paper introduces the Integrated Vehicle and Pollster Routing Problem alongside an integer program to model the integrated task of scheduling visits of pollsters to selected stores, as well as routing the vehicle fleet used to transport them. Results on the computational complexity of the aforementioned problem, a three-phase algorithm, and computational experience based on real-world instances are provided.


title: Increasing Energy Efficiency in Sensor Networks: Blue Noise Sampling and Non-Convex Matrix Completion

abstract: The energy cost of a sensor network is dominated by the data acquisition and communication cost of individual sensors. At each sampling instant it is unnecessary to sample and communicate the data at all sensors since the data is highly redundant. We find that, if only a random subset of the sensors acquires and transmits the sample values, it is possible to estimate the sample values at all the sensors under certain realistic assumptions. Since only a subset of all the sensors is active at each sampling instant, the energy cost of the network is reduced over time. When the sensor nodes are assumed to lie on a regular rectangular grid, the problem can be recast as a low-rank matrix completion problem. Current theoretical work on matrix completion relies on purely random sampling strategies and convex estimation algorithms. In this work, we will empirically show that better reconstruction results are obtained when more sophisticated sampling schemes are used followed by non-convex matrix completion algorithms. We find that the proposed approach coupling blue-noise sampling with non-convex reconstruction algorithm, gives surprisingly good results.


title: Blind Denoising Autoencoder

abstract: The term blind denoising refers to the fact that the basis used for denoising is learnt from the noisy sample itself during denoising. Dictionary learning and transform learning based formulations for blind denoising are well known. But there has been no autoencoder based solution for the said blind denoising approach. So far autoencoder based denoising formulations have learnt the model on a separate training data and have used the learnt model to denoise test samples. Such a methodology fails when the test image (to denoise) is not of the same kind as the models learnt with. This will be first work, where we learn the autoencoder from the noisy sample while denoising. Experimental results show that our proposed method performs better than dictionary learning (KSVD), transform learning, sparse stacked denoising autoencoder and the gold standard BM3D algorithm.


title: Function-on-Function Regression for the Identification of Epigenetic Regions Exhibiting Windows of Susceptibility to Environmental Exposures

abstract: The ability to identify time periods when individuals are most susceptible to exposures, as well as the biological mechanisms through which these exposures act, is of great public health interest. Growing evidence supports an association between prenatal exposure to air pollution and epigenetic marks, such as DNA methylation, but the timing and gene-specific effects of these epigenetic changes are not well understood. Here, we present the first study that aims to identify prenatal windows of susceptibility to air pollution exposures in cord blood DNA methylation. In particular, we propose a function-on-function regression model that leverages data from nearby DNA methylation probes to identify epigenetic regions that exhibit windows of susceptibility to ambient particulate matter less than 2.5 microns (PM$_{2.5}$). By incorporating the covariance structure among both the multivariate DNA methylation outcome and the time-varying exposure under study, this framework yields greater power to detect windows of susceptibility and greater control of false discoveries than methods that model probes independently. We compare our method to a distributed lag model approach that models DNA methylation in a probe-by-probe manner, both in simulation and by application to motivating data from the Project Viva birth cohort. In two epigenetic regions selected based on prior studies of air pollution effects on epigenome-wide methylation, we identify windows of susceptibility to PM$_{2.5}$ exposure near the beginning and middle of the third trimester of pregnancy.


title: Non-intrusive Load Monitoring via Multi-label Sparse Representation based Classification

abstract: This work follows the approach of multi-label classification for non-intrusive load monitoring (NILM). We modify the popular sparse representation based classification (SRC) approach (developed for single label classification) to solve multi-label classification problems. Results on benchmark REDD and Pecan Street dataset shows significant improvement over state-of-the-art techniques with small volume of training data.


title: Classification of Brainwave Signals Based on Hybrid Deep Learning and an Evolutionary Algorithm

abstract: Brainwave signals are read through Electroencephalogram (EEG) devices. These signals are generated from an active brain based on brain activities and thoughts. The classification of brainwave signals is a challenging task due to its non-stationary nature. To address the issue, this paper proposes a Convolutional Neural Network (CNN) model to classify brainwave signals. In order to evaluate the performance of the proposed model a dataset is developed by recording brainwave signals for two conditions, which are visible and invisible. In the visible mode, the human subjects focus on the color and shape presented. Meanwhile, in the invisible mode, the subjects think about specific colors or shapes with closed eyes. A comparison has been provided between the original CNN and the proposed CNN architecture on the same dataset. The results show that the proposed CNN model achieves higher classification accuracy as compared to the standard CNN. The best accuracy rate achieved when the proposed CNN is applied on the visible color mode is 92%. In the future, improvements on the proposed CNN will be able to classify raw EEG signals in an efficient way.


title: Dynamic controller that operates over homomorphically encrypted data for infinite time horizon

abstract: In this paper, we present a dynamic feedback controller that computes the next state and the control signal over encrypted data using homomorphic properties of cryptosystems, whose performance is equivalent to the linear dynamic controllers over real-valued data. Assuming that the input as well as the output of the plant is encrypted and transmitted back to the controller, it is shown that the state matrix of any linear time-invariant controller can be always converted to a matrix of integer components. This allows the dynamic feedback controller to operate for infinite time horizon without decryption or reset of its internal state. For implementation in practice, we illustrate the use of a cryptosystem that is based on the Learning With Errors problem, which allows both multiplication and addition over encrypted data. It is also shown that the effect of injected random numbers during encryption for security can be maintained within a small bound by way of the closed-loop stability.


title: The Recurrent Processing Unit: Hardware for High Speed Machine Learning

abstract: Machine learning applications are computationally demanding and power intensive. Hardware acceleration of these software tools is a natural step being explored using various technologies. A recurrent processing unit (RPU) is fast and power-efficient hardware for machine learning under development at the University of Maryland. It is comprised of a recurrent neural network and a trainable output vector as a hardware implementation of a reservoir computer. The reservoir is currently realized on both Xilinx 7-series and Ultrascale+ ZYNQ SoCs using an autonomous Boolean network for processing and a Python-based software API. The RPU is capable of classifying up to 40M MNIST images per second with the reservoir consuming under 261mW of power. Using an array of 2048 unclocked gates with roughly 100pS transition times, we achieve about 20 TOPS and 75 TOPS/W.


title: Evaluating one-shot tournament predictions

abstract: We introduce the Tournament Rank Probability Score (TRPS) as a measure to evaluate and compare pre-tournament predictions, where predictions of the full tournament results are required to be available before the tournament begins. The TRPS handles partial ranking of teams, gives credit to predictions that are only slightly wrong, and can be modified with weights to stress the importance of particular features of the tournament prediction. Thus, the Tournament Rank Prediction Score is more flexible than the commonly preferred log loss score for such tasks. In addition, we show how predictions from historic tournaments can be optimally combined into ensemble predictions in order to maximize the TRPS for a new tournament.


title: Decentralized Runtime Verification for LTL Properties Using Global Clock

abstract: Runtime verification is the process of verifying critical behavioral properties in big complex systems, where formal verification is not possible due to state space explosion. There have been several attempts to design efficient algorithms for runtime verification. Most of these algorithms have a formally defined correctness property as a reference and check whether the system consistently meets the demands of the property or it fails to satisfy the property at some point in runtime. LTL is a commonly used language for defining these kinds of properties and is also the language of focus in this paper. One of the main target systems for runtime verification are distributed systems, where the system consists of a number of processes connecting to each other using asynchronous message passing. There are two approaches for runtime verification in distributed systems. The first one consists of centralized algorithms, where all processes send their events to a specific decision-making process, which keeps track of all the events to evaluate the specified property. The second approach consists of distributed algorithms, where processes check the specified property collaboratively. Centralized algorithms are simple, but usually involve sending a large number of messages to the decision-making process. They also suffer from the problem of single point of failure, as well as high traffic loads towards one process. Distributed algorithms, on the other hand, are usually more complicated, but once implemented, offer more efficiency. In this paper, we focus on a class of asynchronous distributed systems, where each process can change its own local state at any arbitrary time and completely independent of others, while all processes share a global clock. We propose a sound and complete algorithm for decentralized runtime verification of LTL properties in these systems.


title: Learning Arbitrary Quantities of Interest from Expensive Black-Box Functions through Bayesian Sequential Optimal Design

abstract: Estimating arbitrary quantities of interest (QoIs) that are non-linear operators of complex, expensive-to-evaluate, black-box functions is a challenging problem due to missing domain knowledge and finite budgets. Bayesian optimal design of experiments (BODE) is a family of methods that identify an optimal design of experiments (DOE) under different contexts, using only in a limited number of function evaluations. Under BODE methods, sequential design of experiments (SDOE) accomplishes this task by selecting an optimal sequence of experiments while using data-driven probabilistic surrogate models instead of the expensive black-box function. Probabilistic predictions from the surrogate model are used to define an information acquisition function (IAF) which quantifies the marginal value contributed or the expected information gained by a hypothetical experiment. The next experiment is selected by maximizing the IAF. A generally applicable IAF is the expected information gain (EIG) about a QoI as captured by the expectation of the Kullback-Leibler divergence between the predictive distribution of the QoI after doing a hypothetical experiment and the current predictive distribution about the same QoI. We model the underlying information source as a fully-Bayesian, non-stationary Gaussian process (FBNSGP), and derive an approximation of the information gain of a hypothetical experiment about an arbitrary QoI conditional on the hyper-parameters The EIG about the same QoI is estimated by sample averages to integrate over the posterior of the hyper-parameters and the potential experimental outcomes. We demonstrate the performance of our method in four numerical examples and a practical engineering problem of steel wire manufacturing. The method is compared to two classic SDOE methods: random sampling and uncertainty sampling.


title: A Model-driven and Data-driven Fusion Framework for Accurate Air Quality Prediction

abstract: Air quality is closely related to public health. Health issues such as cardiovascular diseases and respiratory diseases, may have connection with long exposure to highly polluted environment. Therefore, accurate air quality forecasts are extremely important to those who are vulnerable. To estimate the variation of several air pollution concentrations, previous researchers used various approaches, such as the Community Multiscale Air Quality model (CMAQ) or neural networks. Although CMAQ model considers a coverage of the historic air pollution data and meteorological variables, extra bias is introduced due to additional adjustment. In this paper, a combination of model-based strategy and data-driven method namely the physical-temporal collection(PTC) model is proposed, aiming to fix the systematic error that traditional models deliver. In the data-driven part, the first components are the temporal pattern and the weather pattern to measure important features that contribute to the prediction performance. The less relevant input variables will be removed to eliminate negative weights in network training. Then, we deploy a long-short-term-memory (LSTM) to fetch the preliminary results, which will be further corrected by a neural network (NN) involving the meteorological index as well as other pollutants concentrations. The data-set we applied for forecasting is from January 1st, 2016 to December 31st, 2016. According to the results, our PTC achieves an excellent performance compared with the baseline model (CMAQ prediction, GRU, DNN and etc.). This joint model-based data-driven method for air quality prediction can be easily deployed on stations without extra adjustment, providing results with high-time-resolution information for vulnerable members to prevent heavy air pollution ahead.


title: The Day of the Inductance. Problem of the 7-th Experimental Physics Olympiad, Skopje, 7 December 2019

abstract: This is the problem of the 7-th international Experimental Physics Olympiad "The Day of the Inductance". A large inductance made by a general impedance converter is measured by the Maxwell-Wien bridge. The youngest students (S category) have the problem to measure the parameters of the elements in the experimental set-up. The students at middle age (category M) should balance a Wheatstone bridge with resistors only. The inductance measurement is supposed to be accomplished by the students from the upper age (L category) only. From the university students (XL category) we expect error estimation and professionally made measurement protocol. As a homework problem (Sommerfeld price) the general formula for the impedance of the general impedance converter, where the general equation for operational amplifiers is included, has to be derived. Problems for further work are also given in the text. The described set-up can be considered as a prototype for companies producing laboratory equipment.


title: Method of eigenvalue transformation using dispersion oscillating fiber

abstract: It is known that eigenvalues of Zakharov-Shabat problem can be used to encode a signal in soliton communication lines. We propose to use dispersion oscillation fiber as a new versalite tool to control the eigenvalues. A fiber with sine-wave variation of the core diameter can be used to manage both real and imaginary parts of the eigenvalues. Change of real part of the eigenvalues results in a splitting of an optical breather into two distinct pulses propagating with the different group velocities. Change of imaginary parts of the eigenvalues allows to realize a reverse process of merge of two solitons into high-intensity pulse. The splitting of optical breather and merge of solitons can be obtained even under the strong effect of stimulated Raman scattering. We believe tools and techniques based on use of dispersion oscillating fiber will grant unprecedented control over soliton eigenstates.


title: A Catalog of Type II Radio Bursts Observed by Wind/WAVES and their Statistical Properties

abstract: Solar type II radio bursts are the signature of particle acceleration by shock waves in the solar corona and interplanetary medium. The shocks originate in solar eruptions involving coronal mass ejections (CMEs) moving at super-Alfvenic speeds. Type II bursts occur at frequencies ranging from hundreds of MHz to tens of kHz, which correspond to plasma frequencies prevailing in the inner heliosphere from the base of the solar corona to the vicinity of Earth. Type II radio bursts occurring at frequencies below the ionospheric cutoff are of particular importance, because they are due to very energetic CMEs that can disturb a large volume of the heliosphere. The underlying shocks accelerate not only electrons that produce the type II bursts, but also protons and heavy ions that have serious implications for space weather. The type II radio burst catalog (https://cdaw.gsfc.nasa.gov/CME_list/radio/waves_type2.html) presented here provides detailed information on the bursts observed by the Radio and Plasma Wave Experiment (WAVES) on board the Wind Spacecraft. The catalog is enhanced by compiling the associated flares, CMEs, solar energetic particle (SEP) events including their basic properties. We also present the statistical properties of the radio bursts and the associated phenomena, including solar-cycle variation of the occurrence rate of the type II bursts.


title: On a universal solution to the transport-of-intensity equation

abstract: Transport-of-intensity equation (TIE) is one of the most well-known approaches for phase retrieval and quantitative phase imaging. It directly recovers the quantitative phase distribution of an optical field by through-focus intensity measurements in a noninterferometic, deterministic manner. Nevertheless, the accuracy and validity of state-of-the-art TIE solvers depend on restrictive preknowledge or assumptions, including appropriate boundary conditions, a well-defined closed region, and quasi-uniform in-focus intensity distribution, which, however, cannot be strictly satisfied simultaneously under practical experimental conditions. In this Letter, we propose a universal solution to TIE with the advantages of high accuracy, convergence guarantee, applicability to arbitrarily-shaped regions, and simplified implementation and computation. With the "maximum intensity assumption", we firstly simplified TIE as a standard Possion equation to get an initial guess of the solution. Then the initial solution is further refined iteratively by solving the same Possion equation, and thus, the instability associated with the division by zero/small intensity values and large intensity variations can be effectively bypassed. Simulations and experiments with arbitrary phase, arbitrary aperture shapes, and nonuniform intensity distributions verify the effectiveness and universality of the proposed method.


title: Differentiable Volumetric Rendering: Learning Implicit 3D Representations without 3D Supervision

abstract: Learning-based 3D reconstruction methods have shown impressive results. However, most methods require 3D supervision which is often hard to obtain for real-world datasets. Recently, several works have proposed differentiable rendering techniques to train reconstruction models from RGB images. Unfortunately, these approaches are currently restricted to voxel- and mesh-based representations, suffering from discretization or low resolution. In this work, we propose a differentiable rendering formulation for implicit shape and texture representations. Implicit representations have recently gained popularity as they represent shape and texture continuously. Our key insight is that depth gradients can be derived analytically using the concept of implicit differentiation. This allows us to learn implicit shape and texture representations directly from RGB images. We experimentally show that our single-view reconstructions rival those learned with full 3D supervision. Moreover, we find that our method can be used for multi-view 3D reconstruction, directly resulting in watertight meshes.


title: Intraday Retail Sales Forecast: An Efficient Algorithm for Quantile Additive Modeling

abstract: With the ever increasing prominence of data in retail operations, sales forecasting has become an essential pillar in the efficient management of inventories. When facing high demand, the use of backroom storage and intraday shelf replenishment is necessary to avoid stock-out. In that context, the mandatory input for any successful replenishment policy to be implemented is access to reliable forecasts for the sales at an intraday granularity. To that end, we use quantile regression to adapt different patterns from one product to the other, and we develop a stable and efficient quantile additive model algorithm to compute sales forecasts in an intradaily context. Our algorithm is computationally fast and is therefore suitable for use in real-time dynamic shelf replenishment. As an illustration, we examine the case of a highly frequented store, where the demand for various alimentary products is accurately estimated over the day with the help of the proposed algorithm.


title: 3D printing of polymer-bonded anisotropic magnets in an external magnetic field and by a modified production process

abstract: The possibility of producing polymer-bonded magnets with the aid of additive processes, such as 3D printing, opens up a multitude of new areas of application. Almost any structures and prototypes can be produced cost-effectively in small quantities. Extending the 3D printing process allows the manufacturing of anisotropic magnetic structures by aligning the magnetic easy axis of ferromagnetic particles inside a paste-like compound material along an external magnetic field. This is achieved by two different approaches: First, the magnetic field for aligning the particles is provided by a permanent magnet. Secondly, the 3D printing process itselfs generates an anisotropic behavior of the structures. An inexpensive and customizable end-user fused filament fabrication 3D printer is used to print the magnetic samples. The magnetical properties of different magnetic anisotropic Sr ferrite and SmFeN materials are investigated and discussed.


title: The evidence of cosmic acceleration and observational constraints

abstract: Directly comparing the 6 expansion rate measured by type Ia supernovae data and the lower bound on the expansion rate set by the strong energy conditions or the null hypothesis that there never exists cosmic acceleration, we see $3\sigma$ direct evidence of cosmic acceleration and the $Rh=ct$ model is strongly excluded by the type Ia supernovae data. We also use Gaussian process method to reconstruct the expansion rate and the deceleration parameter from the 31 cosmic chronometers data and the 6 data points on the expansion rate measured from type Ia supernoave data, the direct evidence of cosmic acceleration is more than $3\sigma$ and we find that the transition redshift $z_t=0.60_{-0.12}^{+0.21}$ at which the expansion of the Universe underwent the transition from acceleration to deceleration. The Hubble constant inferred from the cosmic chronometers data with the Gaussian process method is $H_0=67.46\pm4.75$ Km/s/Mpc. To understand the properties of cosmic acceleration and dark energy, we fit two different two-parameter models to the observational data, and we find that the constraints on the model parameters from either the full distance modulus data by the Pantheon compilation or the compressed expansion rate data are very similar, and the derived Hubble constants are consistent with the Planck 2018 result. Our results confirm that the 6 compressed expansion rate data can replace the full 1048 distance modulus data from the Pantheon compilation. We derive the transition redshift $z_t=0.61_{-0.16}^{+0.24}$ by fitting a simple $q(z)$ model to the combination of cosmic chronometers data and the Pantheon compilation, the result is consistent with that obtained from the reconstruction with Gaussian process. Abridged.


title: Algorithmic Injustices: Towards a Relational Ethics

abstract: It has become trivial to point out how decision-making processes in various social, political and economical sphere are assisted by automated systems. Improved efficiency, the hallmark of these systems, drives the mass scale integration of automated systems into daily life. However, as a robust body of research in the area of algorithmic injustice shows, algorithmic tools embed and perpetuate societal and historical biases and injustice. In particular, a persistent recurring trend within the literature indicates that society's most vulnerable are disproportionally impacted. When algorithmic injustice and bias is brought to the fore, most of the solutions on offer 1) revolve around technical solutions and 2) do not focus centre disproportionally impacted groups. This paper zooms out and draws the bigger picture. It 1) argues that concerns surrounding algorithmic decision making and algorithmic injustice require fundamental rethinking above and beyond technical solutions, and 2) outlines a way forward in a manner that centres vulnerable groups through the lens of relational ethics.


title: New methods to attack the Buratti-Horak-Rosa conjecture

abstract: The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in $L$ is at most $v-d$. In this paper we present new methods that are based on linear realizations and can be applied to prove the validity of this conjecture for a vast choice of lists. As example of their flexibility, we consider lists whose underlying set is one of the following: $\{x,y,x+y\}$, $\{1,2,3,4\}$, $\{1,2,4,\ldots,2x\}$, $\{1,2,4,\ldots,2x,2x+1\}$. We also consider lists with many consecutive elements.


title: Savage Surfaces

abstract: Let $G$ be the topological fundamental group of a given nonsingular complex projective surface. We prove that the Chern slopes $c_1^2(S)/c_2(S)$ of minimal nonsingular projective surfaces of general type $S$ with $\pi_1(S) \simeq G$ are dense in the interval $[1,3]$.


title: Simplicity criteria for rings of differential operators

abstract: Let $K$ be a field of arbitrary characteristic, $\CA$ be a commutative $K$-algebra which is a domain of essentially finite type (eg, the algebra of functions on an irreducible affine algebraic variety), $\ga_r$ be its {\em Jacobian ideal}, $\CD (\CA )$ be the algebra of differential operators on the algebra $\CA$. The aim of the paper is to give a simplicity criterion for the algebra $\CD (\CA )$: {\em The algebra $\CD (\CA )$ is simple iff $\CD (\CA ) \ga_r^i\CD (\CA )= \CD (\CA )$ for all $i\geq 1$ provided the field $K$ is a perfect field.} Furthermore, a simplicity criterion is given for the algebra $\CD (R)$ of differential operators on an arbitrary commutative algebra $R$ over an arbitrary field. This gives an answer to an old question to find a simplicity criterion for algebras of differential operators.


title: Analysis and Control of Fiber-Reinforced Elastomeric Enclosures (FREEs)

abstract: While rigid robots are extensively used in various applications, they are limited in the tasks they can perform and can be unsafe in close human-robot interactions. Soft robots on the other hand surpass the capabilities of rigid robots in several ways, such as compatibility with the work environments, degrees of freedom, manufacturing costs, and safe interactions with the environment. This thesis studies the behavior of Fiber Reinforced Elastomeric Enclosures (FREEs) as a particular type of soft pneumatic actuator that can be used in soft manipulators. A dynamic lumped-parameter model is created to simulate the motion of a single FREE under various operating conditions and to inform the design of a controller. The proposed PID controller determines the response of the FREE to a defined step input or a trajectory following polynomial function, using rotation angle to control the orientation of the end-effector. Additionally, Finite Element Analysis method is employed, incorporating the inherently nonlinear material properties of FREEs, to precisely evaluate various parameters and configurations of FREEs. This tool is also used to determine the workspace of multiple FREEs in a module, which is essentially a building block of a soft robotic arm.


title: Enabling Value Sensitive AI Systems through Participatory Design Fictions

abstract: Two general routes have been followed to develop artificial agents that are sensitive to human values---a top-down approach to encode values into the agents, and a bottom-up approach to learn from human actions, whether from real-world interactions or stories. Although both approaches have made exciting scientific progress, they may face challenges when applied to the current development practices of AI systems, which require the under-standing of the specific domains and specific stakeholders involved. In this work, we bring together perspectives from the human-computer interaction (HCI) community, where designing technologies sensitive to user values has been a longstanding focus. We highlight several well-established areas focusing on developing empirical methods for inquiring user values. Based on these methods, we propose participatory design fictions to study user values involved in AI systems and present preliminary results from a case study. With this paper, we invite the consideration of user-centered value inquiry and value learning.


title: A unified framework to generate optimized compact finite difference schemes

abstract: A unified framework to derive optimized compact schemes for a uniform grid is presented. The optimal scheme coefficients are determined analytically by solving an optimization problem to minimize the spectral error subject to equality constraints that ensure specified order of accuracy. A rigorous stability analysis for the optimized schemes is also presented. We analytically prove the relation between order of a derivative and symmetry or skew-symmetry of the optimal coefficients approximating it. We also show that other types of schemes e.g., spatially explicit, and biased finite differences, can be generated as special cases of the framework.


title: A Survey of Predictive Maintenance: Systems, Purposes and Approaches

abstract: This paper highlights the importance of maintenance techniques in the coming industrial revolution, reviews the evolution of maintenance techniques, and presents a comprehensive literature review on the latest advancement of maintenance techniques, i.e., Predictive Maintenance (PdM), with emphasis on system architectures, optimization objectives, and optimization methods. In industry, any outages and unplanned downtime of machines or systems would degrade or interrupt a company's core business, potentially resulting in significant penalties and immeasurable reputation and economic loss. Existing traditional maintenance approaches, such as Reactive Maintenance (RM) and Preventive Maintenance (PM), suffer from high prevent and repair costs, inadequate or inaccurate mathematical degradation processes, and manual feature extraction. The incoming fourth industrial revolution is also demanding for a new maintenance paradigm to reduce the maintenance cost and downtime, and increase system availability and reliability. Predictive Maintenance (PdM) is envisioned the solution. In this survey, we first provide a high-level view of the PdM system architectures including PdM 4.0, Open System Architecture for Condition Based Monitoring (OSA-CBM), and cloud-enhanced PdM system. Then, we review the specific optimization objectives, which mainly comprise cost minimization, availability/reliability maximization, and multi-objective optimization. Furthermore, we present the optimization methods to achieve the aforementioned objectives, which include traditional Machine Learning (ML) based and Deep Learning (DL) based approaches. Finally, we highlight the future research directions that are critical to promote the application of DL techniques in the context of PdM.


title: Statistical Analysis of the Phosphate Data of the World Ocean Database 2013

abstract: The phosphate data of the World Ocean Database 2013 are extensively statistically analyzed by splitting the measurement results into a long scale, i.e., climatological, and a short scale part. Means, medians, absolute and relative standard deviations, interquartile ranges, quartile coefficients of dispersion, correlations and covariances are estimated and analyzed. The underlying probability distributions are investigated using visual inspection as well as statistical tests. All presented methods are applicable to other data as long as they satisfy the postulated assumptions.


title: Antiproton physics

abstract: We review the physics of low-energy antiprotons, and its link with the nuclear forces. This includes: antinucleon scattering on nucleons and nuclei, antiprotonic atoms and antinucleon-nucleon annihilation into mesons.


title: Constraints on the Spin-Pole Orientation, Jet Morphology and Rotation of Interstellar Comet 2I/Borisov with Deep HST Imaging

abstract: We present high resolution, deep imaging of interstellar comet 2I/Borisov taken with the Hubble Space Telescope/Wide Field Camera 3 (HST/WFC3) on 2019 December 8 UTC and 2020 January 27 UTC (HST GO 16040, PI Bolin) before and after its perihelion passage in combination with HST/WFC3 images taken on 2019 October 12 UTC and 2019 November 16 UTC (HST GO/DD 16009, PI Jewitt) before its outburst and fragmentation of March 2020, thus observing the comet in a relatively undisrupted state. We locate 1-2\arcsec~long (2,000 - 3,000 km projected length) jet-like structures near the optocenter of 2I that appear to change position angles from epoch to epoch. With the assumption that the jet is located near the rotational pole supported by its stationary appearance on $\sim$10-100 h time frames in HST images, we determine that 2I's pole points near $\alpha$ = 322$\pm$10$^\circ$, $\delta$ = 37$\pm$10$^\circ$ ($\lambda$ = 341$^\circ$, $\beta$ = 48$^\circ$) and may be in a simple rotation state. Additionally, we find evidence for possible periodicity in the HST time-series lightcurve on the time scale of $\sim$5.3 h with a small amplitude of $\sim$0.05 mag implying a lower limit on its $b/a$ ratio of $\sim$1.5 unlike the large $\sim$2 mag lightcurve observed for 1I/`Oumuamua. However, these small lightcurve variations may not be the result of the rotation of 2I's nucleus due to its dust-dominated light-scattering cross-section. Therefore, uniquely constraining the pre-Solar System encounter, pre-outburst rotation state of 2I may not be possible even with the resolution and sensitivity provided by HST observations.


title: Quantum Fingerprinting over AWGN Channels with Power-Limited Optical Signals

abstract: Quantum fingerprinting reduces communication complexity of determination whether two $n$-bit long inputs are equal or different in the simultaneous message passing model. Here we quantify the advantage of quantum fingerprinting over classical protocols when communication is carried out using optical signals with limited power and unrestricted bandwidth propagating over additive white Gaussian noise (AWGN) channels with power spectral density (PSD) much less than one photon per unit time and unit bandwidth. We identify a noise parameter whose order of magnitude separates near-noiseless quantum fingerprinting, with signal duration effectively independent of $n$, from a regime where the impact of AWGN is significant. In the latter case the signal duration is found to scale as $O(\sqrt{n})$, analogously to classical fingerprinting. However, the dependence of the signal duration on the AWGN PSD is starkly distinct, leading to quantum advantage in the form of a reduced multiplicative factor in $O(\sqrt{n})$ scaling.


title: Deep Learning based Multiple Regression to Predict Total Column Water Vapor (TCWV) from Physical Parameters in West Africa by using Keras Library

abstract: Total column water vapor is an important factor for the weather and climate. This study apply deep learning based multiple regression to map the TCWV with elements that can improve spatiotemporal prediction. In this study, we predict the TCWV with the use of ERA5 that is the fifth generation ECMWF atmospheric reanalysis of the global climate. We use an appropriate deep learning based multiple regression algorithm using Keras library to improve nonlinear prediction between Total Column water vapor and predictors as Mean sea level pressure, Surface pressure, Sea surface temperature, 100 metre U wind component, 100 metre V wind component, 10 metre U wind component, 10 metre V wind component, 2 metre dew point temperature, 2 metre temperature. The results obtained permit to build a predictor which modelling TCWV with a mean abs error (MAE) equal to 3.60 kg/m2 and a coefficient of determination R2 equal to 0.90.


title: Bi-static LIDAR systems operating in the presence of oceanic turbulence

abstract: Optical turbulence occurring in the oceanic waters may be detrimental for light beams used in the short-link communication and sensing systems, and, in particular, in underwater LIDARs. We develop a theory capable of predicting the passage of light beams through the bi-static LIDAR systems, for a wide variety of optical waves, including partially coherent and partially polarized, and for a wide family of targets. Our theoretical framework is based on the Huygens-Fresnel integral adopted to random media and optical systems described by the $4\times4$ ABCD matrices. The treatment of oceanic turbulence relies on the recently introduced power spectrum model of the fluctuating refractive-index [Opt. Express 27, 27807 (2019)] capable of accounting for different average temperatures of water. We first analyze the evolution of the second-order beam statistics such as the spectral density and the degree of coherence of the beam on its single pass propagation and then incorporate this knowledge into the analysis of the bi-static LIDAR returns.


title: Incrementally Improving Graph WaveNet Performance on Traffic Prediction

abstract: We present a series of modifications which improve upon Graph WaveNet's previously state-of-the-art performance on the METR-LA traffic prediction task. The goal of this task is to predict the future speed of traffic at each sensor in a network using the past hour of sensor readings. Graph WaveNet (GWN) is a spatio-temporal graph neural network which interleaves graph convolution to aggregate information from nearby sensors and dilated convolutions to aggregate information from the past. We improve GWN by (1) using better hyperparameters, (2) adding connections that allow larger gradients to flow back to the early convolutional layers, and (3) pretraining on an easier short-term traffic prediction task. These modifications reduce the mean absolute error by .06 on the METR-LA task, nearly equal to GWN's improvement over its predecessor. These improvements generalize to the PEMS-BAY dataset, with similar relative magnitude. We also show that ensembling separate models for short-and long-term predictions further improves performance. Code is available at https://github.com/sshleifer/Graph-WaveNet .


title: Model reduction for linear parameter-varying systems through parameter projection

abstract: For affine linear parameter-varying (LPV) systems, this paper develops two parameter reduction methods for reducing the dimension of the parameter space. The first method achieves the complexity reduction by transforming the affine LPV system into a parameter-ordered form and establishing an affine upper bound of the system Gramians, which is extended to time-varying rate-bounded parameters. The second method is based on considering the sensitivity function of the transfer function and time evolution equations. Both methods are applied to an academic example and a thermal model. Simulation results together with some analysis are given.


title: Deep learning Markov and Koopman models with physical constraints

abstract: The long-timescale behavior of complex dynamical systems can be described by linear Markov or Koopman models in a suitable latent space. Recent variational approaches allow the latent space representation and the linear dynamical model to be optimized via unsupervised machine learning methods. Incorporation of physical constraints such as time-reversibility or stochasticity into the dynamical model has been established for a linear, but not for arbitrarily nonlinear (deep learning) representations of the latent space. Here we develop theory and methods for deep learning Markov and Koopman models that can bear such physical constraints. We prove that the model is an universal approximator for reversible Markov processes and that it can be optimized with either maximum likelihood or the variational approach of Markov processes (VAMP). We demonstrate that the model performs equally well for equilibrium and systematically better for biased data compared to existing approaches, thus providing a tool to study the long-timescale processes of dynamical systems.


title: Restricted extension of sparse partial edge colorings of complete graphs

abstract: Given a partial edge coloring of a complete graph $K_n$ and lists of allowed colors for the non-colored edges of $K_n$, can we extend the partial edge coloring to a proper edge coloring of $K_n$ using only colors from the lists? We prove that this question has a positive answer in the case when both the partial edge coloring and the color lists satisfy certain sparsity conditions.


title: Efficient Error-Tolerant Quantized Neural Network Accelerators

abstract: Neural Networks are currently one of the most widely deployed machine learning algorithms. In particular, Convolutional Neural Networks (CNNs), are gaining popularity and are evaluated for deployment in safety critical applications such as self driving vehicles. Modern CNNs feature enormous memory bandwidth and high computational needs, challenging existing hardware platforms to meet throughput, latency and power requirements. Functional safety and error tolerance need to be considered as additional requirement in safety critical systems. In general, fault tolerant operation can be achieved by adding redundancy to the system, which is further exacerbating the computational demands. Furthermore, the question arises whether pruning and quantization methods for performance scaling turn out to be counterproductive with regards to fail safety requirements. In this work we present a methodology to evaluate the impact of permanent faults affecting Quantized Neural Networks (QNNs) and how to effectively decrease their effects in hardware accelerators. We use FPGA-based hardware accelerated error injection, in order to enable the fast evaluation. A detailed analysis is presented showing that QNNs containing convolutional layers are by far not as robust to faults as commonly believed and can lead to accuracy drops of up to 10%. To circumvent that, we propose two different methods to increase their robustness: 1) selective channel replication which adds significantly less redundancy than used by the common triple modular redundancy and 2) a fault-aware scheduling of processing elements for folded implementations


title: Beyond Born-Oppenheimer approximation in ultracold atomic collisions

abstract: We report on deviations beyond the Born-Oppenheimer approximation in the potassium inter-atomic potentials. Identifying three up-to-now unknown $d$-wave Feshbach resonances, we significantly improve the understanding of the $^{39}$K inter-atomic potentials. Combining these observations with the most recent data on known inter- and intra-isotope Feshbach resonances, we show that Born-Oppenheimer corrections can be determined from atomic collisional properties alone and that significant differences between the homo- and heteronuclear case appear.


title: Systematics and accuracy of VLBI astrometry: What can be learned from a comparison with Gaia Data Release 2

abstract: We aim to investigate the overall properties of the ICRF3 with the help of the Gaia Data release 2 (Gaia DR2). This could serve as an external check of the quality of the ICRF3. The radio source positions of the ICRF3 catalog were compared with the Gaia DR2 positions of their optical counterparts at G < 18.7. Their properties were analyzed in terms of the dependency of the quoted error on the number of observations, on the declination, and the global difference, the latter revealed by means of expansions in the vector spherical harmonics. The ICRF3 S/X-band catalog shows a more smooth dependency on the number of observations than the ICRF1 and ICRF2, while the K and X/Ka-band yield a dependency discrepancy at the number of observations of about 50. The rotation of all ICRF catalogs show consistent results, except for the X-component of the X/Ka-band which arises from the positional error in the non-defining sources. No significant glides were found between the ICRF3 S/X-band component and Gaia DR2. However, the K- and X/Ka- band frames show a dipolar deformation in Y-component of +50{\mu}as and several quadrupolar terms of 50{\mu}as in an absolute sense. A significant glide along Z-axis exceeding 200 {\mu}as in the X/Ka-band was also reported. These systematics in the ICRF catalog are shown to be less dependent on the limiting magnitude of the Gaia sample when the number of common sources is sufficient (> 100). The ICRF3 S/X-band catalog shows improved accuracy and systematics at the level of noise floor. But the zonal errors in the X/Ka-band should be noted, especially in the context of comparisons of multi-frequency positions for individual sources.


title: Reliable computational prediction of supramolecular ordering of complex molecules under electrochemical conditions

abstract: We propose a computationally lean, two-stage approach that reliably predicts self-assembly behavior of complex charged molecules on a metallic surfaces under electrochemical conditions. Stage one uses ab initio simulations to provide reference data for the energies (evaluated for archetypical configurations) to fit the parameters of a conceptually much simpler and computationally less expensive model of the molecules: classical, spherical particles, representing the respective atomic entities, a soft but perfectly conductive wall potential represents the metallic surface. Stage two feeds the energies that emerge from this classical model into highly efficient and reliable optimization techniques to identify via energy minimization the ordered ground state configurations of the molecules. We demonstrate the power of our approach by successfully reproducing, on a semi-quantitative level, the intricate supramolecular ordering observed experimentally for PQP$^+$ and ClO$_4^-$ molecules at an Au(111)-electrolyte interface, including the formation of open-porous, self-hosts--guest, and stratified bilayer phases as a function of the electric field at the solid--liquid interface. We also discuss the role of the perchlorate ions in the self-assembly process, whose positions could not be identified in the related experimental investigations.


title: Accuracy comparison across face recognition algorithms: Where are we on measuring race bias?

abstract: Previous generations of face recognition algorithms differ in accuracy for images of different races (race bias). Here, we present the possible underlying factors (data-driven and scenario modeling) and methodological considerations for assessing race bias in algorithms. We discuss data driven factors (e.g., image quality, image population statistics, and algorithm architecture), and scenario modeling factors that consider the role of the "user" of the algorithm (e.g., threshold decisions and demographic constraints). To illustrate how these issues apply, we present data from four face recognition algorithms (a previous-generation algorithm and three deep convolutional neural networks, DCNNs) for East Asian and Caucasian faces. First, dataset difficulty affected both overall recognition accuracy and race bias, such that race bias increased with item difficulty. Second, for all four algorithms, the degree of bias varied depending on the identification decision threshold. To achieve equal false accept rates (FARs), East Asian faces required higher identification thresholds than Caucasian faces, for all algorithms. Third, demographic constraints on the formulation of the distributions used in the test, impacted estimates of algorithm accuracy. We conclude that race bias needs to be measured for individual applications and we provide a checklist for measuring this bias in face recognition algorithms.


title: Bases and BGG resolutions of simple modules of Temperley-Lieb algebras of type B

abstract: We construct explicit bases of simple modules and Bernstein-Gelfand-Gelfand (BGG) resolutions of all simple modules of the (graded) Temperley-Lieb algebra of type B over a field of characteristic zero.


title: A full characterization of the polarization of vector light beams

abstract: We present an approach to fully characterize the polarization of general vector light beams. When attempting to generalize the notion of Stokes parameters to nonparaxial light beams in momentum space, we find that the Jones function that determines the Stokes parameters through the Pauli matrices is defined over a natural coordinate system that is fixed by a constant unit vector, called the Stratton vector. We further show that the Pauli matrices represent the intrinsic degree of freedom of the polarization with respect to the natural coordinate system so that the Stratton vector acts as an additional degree of freedom that complements the intrinsic degree of freedom to fully characterize the polarization. As a consequence of the new degree of freedom, the Stratton vector, in helicity states, a phase factor that has observable physical effects is identified. Examples of its application to characterizing the state of polarization are also given.


title: On the precanonical structure of the Schr\"odinger wave functional in curved space-time

abstract: The functional Schr\"odinger equation in curved space-time is derived from the manifestly covariant precanonical Schr\"odinger equation. The Schr\"odinger wave functional is expressed as the trace of the multidimensional product integral of precanonical wave function restricted to a field configuration. The functional Schr\"odinger representation of QFT in curved space-time appears as a singular limiting case of a formulation based on precanonical quantization, which leads to a hypercomplex generalization of quantum formalism in field theory.


title: Propagation of smallness and control for heat equations

abstract: In this note we investigate propagation of smallness properties for solutions to heat equations. We consider spectral projector estimates for the Laplace operator with Dirichlet or Neumann boundary conditions on a Riemanian manifold with or without boundary. We show that using the new approach for the propagation of smallness from Logunov-Malinnikova [7, 6, 8] allows to extend the spectral projector type estimates from Jerison-Lebeau [3] from localisation on open set to localisation on arbitrary sets of non zero Lebesgue measure; we can actually go beyond and consider sets of non vanishing d -- $\delta$ ($\delta$ > 0 small enough) Hausdorf measure. We show that these new spectral projector estimates allow to extend the Logunov-Malinnikova's propagation of smallness results to solutions to heat equations. Finally we apply these results to the null controlability of heat equations with controls localised on sets of positive Lebesgue measure. A main novelty here with respect to previous results is that we can drop the constant coefficient assumptions (see [1, 2]) of the Laplace operator (or analyticity assumption, see [4]) and deal with Lipschitz coefficients. Another important novelty is that we get the first (non one dimensional) exact controlability results with controls supported on zero measure sets.


title: REM beyond dyads: relational hyperevent models for multi-actor interaction networks

abstract: We introduce relational hyperevent models (RHEM) as a generalization of relational event models to events occurring on hyperedges involving any number of actors. RHEM can specify time-varying event rates for the full space of directed or undirected hyperedges and can be applied to model, among others, meetings, team assembly, team performance, or multi-actor communication. We illustrate the newly proposed model on two empirical hyperevent networks about meetings of government ministers and co-authoring of scientific papers.


title: Yangians vs minimal W-algebras: a surprizing coincidence

abstract: We prove that the singularities of the $R$-matrix $R(k)$ of the minimal quantization of the adjoint representation of the Yangian $Y(\mathfrak g)$ of a finite dimensional simple Lie algebra $\mathfrak g$ are the opposite of the roots of the monic polynomial $p(k)$ entering in the OPE expansions of quantum fields of conformal weight $3/2$ of the universal minimal affine $W$-algebra at level $k$ attached to $\mathfrak g$.


title: RoboCup 2019 AdultSize Winner NimbRo: Deep Learning Perception, In-Walk Kick, Push Recovery, and Team Play Capabilities

abstract: Individual and team capabilities are challenged every year by rule changes and the increasing performance of the soccer teams at RoboCup Humanoid League. For RoboCup 2019 in the AdultSize class, the number of players (2 vs. 2 games) and the field dimensions were increased, which demanded for team coordination and robust visual perception and localization modules. In this paper, we present the latest developments that lead team NimbRo to win the soccer tournament, drop-in games, technical challenges and the Best Humanoid Award of the RoboCup Humanoid League 2019 in Sydney. These developments include a deep learning vision system, in-walk kicks, step-based push-recovery, and team play strategies.


title: Discreteness effects, $N-$body chaos and the onset of radial-orbit instability

abstract: We study the stability of a family of spherical equilibrium models of self-gravitating systems, the so-called $\gamma-$models with Osipkov-Merritt velocity anisotropy, by means of $N-$body simulations. In particular, we analyze the effect of self-consistent $N-$body chaos on the onset of radial-orbit instability (ROI). We find that degree of chaoticity of the system associated to its largest Lyapunov exponent $\Lambda_{\rm max}$ has no appreciable relation with the stability of the model for fixed density profile and different values of radial velocity anisotropy. However, by studying the distribution of the Lyapunov exponents $\lambda_{\rm m}$ of the individual particles in the single-particle phase space, we find that more anisotropic systems have a larger fraction of orbits with larger $\lambda_{\rm m}$.


title: The spectral density function of the renormalized Bochner Laplacian on a symplectic manifold

abstract: We consider the renormalized Bochner Laplacian acting on tensor powers of a positive line bundle on a compact symplectic manifold. We derive an explicit local formula for the spectral density function in terms of coefficients of the Riemannian metric and symplectic form.


title: R-group and Whittaker space of some genuine representations

abstract: For a unitary unramified genuine principal series representation of a covering group, we study the associated R-group. We prove a formula relating the R-group to the dimension of the Whittaker space for the irreducible constituents of such a principal series representation. Moreover, for saturated covers of a semisimple simply-connected group, we also propose a simpler conjectural formula for such dimensions. This latter conjectural formula is verified in several cases, including covers of the symplectic groups.


title: Enlightening the dark ages with dark matter

abstract: Constraints on dark matter annihilation or decay offer unique insights into the nature of dark matter. We illustrate how surveys dedicated to detect the highly redshifted 21 cm signal from the dark ages will offer a new window into properties of particle dark matter. The 21 cm intensity mapping signal and its fluctuations are sensitive to energy injection from annihilation or decay of long-lived particles in a way that is complementary to other probes. We present forecasted constraints from forthcoming and next-generation radio surveys. We show that, while SKA might be capable of a detection for some cases, the most promising opportunity to detect dark matter in the 21 cm intensity mapping signal is with a futuristic radio array on the lunar far-side, with the potential to detect a signal many orders of magnitude weaker than current or maximal constraints from other probes.


title: A Variational Approach to a $L^1$-Minimization Problem Based on the Milman-Pettis Theorem

abstract: We develop a variational approach to the minimization problem of functionals of the type $\frac12\left\lVert \nabla \phi \right\rVert^2_2 + \beta \left\lVert \phi \right\rVert_1$ constrained by $\left\lVert \phi \right\rVert_2 = 1$ which is related to the characterization of cases satisfying the sharp Nash inequality. Employing theory of uniform convex spaces by Clarkson and the Milman-Pettis theorem we are able account for the non-reflexivity of $L^1$ and implement the direct method of calculus of variations. By deriving the Euler-Lagrange equation we verify that the minimizers are up to rearrangement compactly supported solutions to the inhomogeneous Helmholtz equation and we study their scaling behaviour in $\beta$.


title: The geodesic complexity of n-dimensional Klein bottles

abstract: The geodesic complexity of a metric space X is the smallest k for which there is a partition of X x X into ENRs E_0,...,E_k on each of which there is a continuous choice of minimal geodesic sigma(x_0,x_1) from x_0 to x_1. We prove that the geodesic complexity of an n-dimensional Klein bottle equals 2n. Its topological complexity remains unknown for n>2.


title: Optimization of Model Parameters, Uncertainty Quantification and Experimental Designs for a Global Marine Biogeochemical Model

abstract: Methods for model parameter estimation, uncertainty quantification and experimental design are summarized in this paper. They are based on the generalized least squares estimator and different approximations of its covariance matrix using the first and second derivative of the model regarding its parameters. The methods have been applied to a model for phosphate and dissolved organic phosphorus concentrations in the global ocean. As a result, model parameters have been determined which considerably improved the consistency of the model with measurement results. The uncertainties regarding the estimated model parameters caused by uncertainties in the measurement results have been quantified as well as the uncertainties associated with the corresponding model output implied by the uncertainty in the model parameters. This allows to better assess the model parameters as well as the model output. Furthermore, it has been determined to what extent new measurements can reduce these uncertainties. For this, the information content of new measurements has been predicted depending on the measured process as well as the time and the location of the measurement. This is very useful for planning new measurements.