title: Divergence functions in Information Geometry

abstract: A recently introduced canonical divergence $\mathcal{D}$ for a dual structure $(\mathrm{g},\nabla,\nabla^*)$ is discussed in connection to other divergence functions. Finally, open problems concerning symmetry properties are outlined.


title: Detecting Overfitting via Adversarial Examples

abstract: The repeated community-wide reuse of test sets in popular benchmark problems raises doubts about the credibility of reported test-error rates. Verifying whether a learned model is overfitted to a test set is challenging as independent test sets drawn from the same data distribution are usually unavailable, while other test sets may introduce a distribution shift. We propose a new hypothesis test that uses only the original test data to detect overfitting. It utilizes a new unbiased error estimate that is based on adversarial examples generated from the test data and importance weighting. Overfitting is detected if this error estimate is sufficiently different from the original test error rate. We develop a specialized variant of our test for multiclass image classification, and apply it to testing overfitting of recent models to the popular ImageNet benchmark. Our method correctly indicates overfitting of the trained model to the training set, but is not able to detect any overfitting to the test set, in line with other recent work on this topic.


title: Few remarks on the mass spectrum of two-dimensional Toda lattice of $E_8$ type

abstract: In this note the simple procedure for obtaining the mass spectrum of two-dimensional Toda lattice of $E_8$ type is given.


title: Universal lower bounds for Laplacians on weighted graphs

abstract: We discuss optimal lower bounds for eigenvalues of Laplacians on weighted graphs. These bounds are formulated in terms of the geometry and, more specifically, the inradius of subsets of the graph. In particular, we study the first non-zero eigenvalue in the finite volume case and the first eigenvalue of the Dirichlet Laplacian on subsets that satisfy natural geometric conditions.


title: Strict Local Martingales and the Khasminskii test for Explosions

abstract: We exhibit sufficient conditions such that components of a multidimensional SDE giving rise to a local martingale $M$ are strict local martingales or martingales. We assume that the equations have diffusion coefficients of the form $\sigma(M_t,v_t),$ with $v_t$ being a stochastic volatility term.


title: Interdigitated flexible supercapacitor using activated carbon synthesized from biomass for wearable energy storage

abstract: We have developed a flexible, interdigitated supercapacitor with high energy storing capacity for wearable, flexible electronic application. Locally obtained low cost biomass (banana peel) was impregnated with KOH under high temperature under an inert atmosphere to synthesize activated carbon with significant Brunauer Emmett Teller surface area of 62.03m2/g. The supercapacitor was fabricated by screen printing interdigitated current collector of conducting silver ink on a thin flexible PET substrate and subsequent deposition of activated carbon and drop casting of gel electrolyte. Fabricated supercapacitor exhibits high capacitance of 33.18 mF/cm2 at 1mV/s scan rate and 20.12 mF/cm2 at a discharge current of 1mA and high energy density of 5.87 micro Wh/cm2. The developed flexible supercapacitor retains its energy storing capacity (90%) over several cycles of mechanical bending and repetitive electronic cycling tests (5000 cycles). Locally available biomass based activated carbon and low cost screen printing technique can be used for large scale fabrication of supercapacitor. The flexible supercapacitor demonstrates high energy storing capacity and mechanical durability through multiple bending and charging and discharging through LED. Therefore, it can be used for further developing integrated wearable and printed electronic devices.


title: Singular solutions to a semilinear biharmonic equation with a general critical nonlinearity

abstract: We consider positive solutions $u$ of the semilinear biharmonic equation $\Delta^2 u = |x|^{-\frac{n+4}{2}} g(|x|^\frac{n-4}{2} u)$ in $\mathbb R^n \setminus \{0\}$ with non-removable singularities at the origin. Under natural assumptions on the nonlinearity $g$, we show that $|x|^\frac{n-4}{2} u$ is a periodic function of $\ln |x|$ and we classify all such solutions.


title: Using the Life Grid Interview Technique in Science Education Research

abstract: Background: Qualitative interviewing is a common tool that has been utilized by Science, Technology, Engineering, and Mathematics (STEM) education researchers to explore and describe the experiences of students, educators, or other educational stakeholders. Some interviewing techniques use co-creation of an artifact, such as a personal timeline, as a unique way to elicit a detailed narrative from a respondent. The purpose of this commentary is to describe an interview artifact called a life grid. First used and validated in medical sociology to conduct life course research, we adapted the life grid for use in research on undergraduate STEM education. We applied the life grid interview technique to two contexts: 1) students in an advance degree program reflecting on their entire undergraduate career as a biology major, and 2) students in an undergraduate physics program reflecting on a multi-week lab project. Results: We found that the life grid supported four important attributes of an interview: facilitation of the respondents' agency, establishment of rapport between interviewers and respondents, enhanced depth of the respondents' narratives, and the construction of more accurate accounts of events. We situate our experiences with respect to those attributes and compare them with the experiences detailed in literature. Conclusions: We conclude with recommendations for future use of the life grid technique in undergraduate STEM education research. Overall, we find the life grid to be a valuable tool to use when conducting interviews about phenomena with a chronological component.


title: Advances in Disordered Transverse Anderson Localizing Optical Fibers

abstract: Disordered transverse Anderson localizing optical fibers have shown great promise in various applications from image transport to random lasing. Their success is due to their novel waveguiding behavior, which is enabled by the transverse Anderson localization of light. The strong transverse scattering from the transversely disordered refractive index structure results in transversely confined modes that can freely propagate in the longitudinal direction. Therefore, these fibers behave like large-core highly multimode optical fibers, with the peculiar property that most modes are highly localized. This property makes them ideal for such applications as image transport and spatial beam multiplexing. In this review paper, we will explore some of the recent advances in these fibers, especially those related to the material structure and fabrication methods.


title: An Adaptive Grid Algorithm for Computing the Homology Group of Semialgebraic Set

abstract: Looking for an efficient algorithm for the computation of the homology groups of an algebraic set or even a semi-algebraic set is an important problem in the effective real algebraic geometry. Recently, Peter Burgisser, Felipe Cucker and Pierre Lairez wrote a paper [1], which made a step forward by giving an algorithm of weak exponential time. However, the algorithm is not not practical. In my thesis, I will introduce my improvement of this algorithm using an adaptive grid algorithm on the unit sphere.


title: Loosely coherent search in LIGO O1 data for continuous gravitational waves from Terzan 5 and the galactic center

abstract: We report results of a search for continuous gravitational waves from a region covering the globular cluster Terzan 5 and the galactic center. Continuous gravitational waves are expected from fast-spinning, slightly non-axisymmetric isolated neutron stars as well as more exotic objects. The regions that we target are believed to be unusually abundant in neutron stars. We use a new loosely coherent search method that allows to reach unprecedented levels of sensitivity for this type of search. The search covers the frequency band 475-1500 Hz and frequency time derivatives in the range of [-3e-8, +1e-9] Hz/s, which is a parameter range not explored before with the depth reached by this search. As to be expected with only a few months of data from the same observing run, it is very difficult to make a confident detection of a continuous signal over such a large parameter space. A list of parameter space points that passed all the thresholds of this search is provided. We follow-up the most significant outlier on the newly released O2 data and cannot confirm it. We provide upper limits on the gravitational wave strength of signals as a function of signal frequency.


title: A Varying Coefficient Model for Assessing the Returns to Growth to Account for Poverty and Inequality

abstract: Various papers demonstrate the importance of inequality, poverty and the size of the middle class for economic growth. When explaining why these measures of the income distribution are added to the growth regression, it is often mentioned that poor people behave different which may translate to the economy as a whole. However, simply adding explanatory variables does not reflect this behavior. By a varying coefficient model we show that the returns to growth differ a lot depending on poverty and inequality. Furthermore, we investigate how these returns differ for the poorer and for the richer part of the societies. We argue that the differences in the coefficients impede, on the one hand, that the means coefficients are informative, and, on the other hand, challenge the credibility of the economic interpretation. In short, we show that, when estimating mean coefficients without accounting for poverty and inequality, the estimation is likely to suffer from a serious endogeneity bias.


title: Index of transverse Dirac operator and cohomotopy Seiberg-Witten invariant for codimension $4$ Riemannian foliation

abstract: For closed manifolds endowed with a Riemannian foliation of codimension $4$, one can define a transversal Seiberg-Witten map. We show that there is a finite dimensional approximation for such a map. By such a method and under the condition that $H^1_b(M)\cap H^1(M,\mathbb Z)$ is a lattice of $H^1_b(M)$, we can define a foliated version of Bauer-Furuta invariant. Moreover, if the basic cohomological group is of zero dimension, we can give an estimate for the index of transversal Dirac operator of a foliated spin structure. Furthermore, under the condition that $H^\pm_b(M)=1$, we show the vanishing of the index of the transverse Dirac operator. This gives a topological condition for the vanishing of the index of the transverse Dirac operator.


title: The global benefit of randomness in individual routing on transportation networks

abstract: By introducing a simple model based on two-dimensional cellular automata, we reveal the relationship between the routing strategies of individual vehicles and the global behavior of transportation networks. Specifically, we characterize the routing strategies by a single parameter called path-greediness, which corresponds to the tendency for individuals to travel via a shortest path to the destination. Remarkably, when vehicles tend to travel via the shortest path, a congested-flow state emerges between the conventional free-flow and congested states, where traffic flow increases slowly with vehicle density in the presence of congestion. We also found that a high individual tendency to travel via the shortest path does not necessarily shorten the average journey time, as the system may benefit from less greedy routing strategies in congested situations. Finally, we show that adaptive routing strategies outperform controlled strategies in the free-flow state, but not in the congested state, implying that controlled strategies may increase coordination among vehicles and are beneficial for suppressing traffic congestion.

categories: physics.soc-ph cond-mat.stat-mech math.PR nlin.CG


title: A quantum-chaotic cesium-vapor magnetometer

abstract: Quantum-enhanced measurements represent the path towards the best measurement precision allowed by the laws of quantum mechanics. Known protocols usually rely on the preparation of entangled states and promise high or even optimal precision, but fall short in real-word applications because of the difficulty to generate entangled states and to protect them against decoherence. Here, we refrain from the preparation of entangled states but supplement the integrable parameter-encoding dynamics by non-linear kicks driving the system in the dynamical regime of quantum chaos. We show that large improvements in measurement precision are possible by modeling a spin-exchange relaxation-free alkali-vapor magnetometer where the non-linear kicks are realized by exploiting the ac Stark effect.


title: Open set condition and pseudo Hausdorff measure of self-affine IFSs

abstract: Let $A$ be an $n\times n$ real expanding matrix and $\mathcal{D}$ be a finite subset of $\mathbb{R}^n$ with $0\in\mathcal{D}$. The family of maps $\{f_d(x)=A^{-1}(x+d)\}_{d\in\mathcal{D}}$ is called a self-affine iterated function system (self-affine IFS). The self-affine set $K=K(A,\mathcal{D})$ is the unique compact set determined by $(A, {\mathcal D})$ satisfying the set-valued equation $K=\displaystyle\bigcup_{d\in\mathcal{D}}f_d(K)$. The number $s=n\,\ln(\# \mathcal{D})/\ln(q)$ with $q=|\det(A)|$, is the so-called pseudo similarity dimension of $K$. As shown by He and Lau, one can associate with $A$ and any number $s\ge 0$ a natural pseudo Hausdorff measure denoted by $\mathcal{H}_w^s.$ In this paper, we show that, if $s$ is chosen to be the pseudo similarity dimension of $K$, then the condition $\mathcal{H}_w^s(K)> 0$ holds if and only if the IFS $\{f_d\}_{d\in\mathcal{D}}$ satisfies the open set condition (OSC). This extends the well-known result for the self-similar case that the OSC is equivalent to $K$ having positive Hausdorff measure $\mathcal{H}^s$ for a suitable $s$. Furthermore, we relate the exact value of pseudo Hausdorff measure $\mathcal{H}_w^s(K)$ to a notion of upper $s$-density with respect to the pseudo norm $w(x)$ associated with $A$ for the measure $\mu=\lim\limits_{M\to\infty}\sum\limits_{d_0,\dotsc,d_{M-1}\in\mathcal{D}}\delta_{d_0 + Ad_1 + \dotsb + A^{M-1}d_{M-1}}$ in the case that $\#\mathcal{D}\le\lvert\det A\rvert$.


title: Quantum dot state initialization by control of tunneling rates

abstract: We study the loading of electrons into a quantum dot with dynamically controlled tunnel barriers. We introduce a method to measure tunneling rates for individual discrete states and to identify their relaxation paths. Exponential selectivity of the tunnel coupling enables loading into specific quantum dot states by tuning independently energy and rates. While for the single-electron case orbital relaxation leads to fast transition into the ground state, for electron pairs triplet-to-singlet relaxation is suppressed by long spin-flip times. This enables the fast gate-controlled initialization of either a singlet or a triplet electron pair state in a quantum dot with broad potential applications in quantum technologies.


title: An almost-solvable model of complex network dynamics

abstract: We discuss a specific model, which we refer to as RandLOE, of a large multi-agent network whose dynamic is prescribed via a combination of deterministic local laws and random exogenous factors. The RandLOE approach lies outside the framework of Stochastic Differential Equations, but lends itself to analytic examination as well as to stable simulation even for relatively large networks. RandLOE is based on the logistic operator equation (LOE), which is a multidimensional dynamical system extending the classical logistic equation via an operator-algebraic interaction term. The network is defined by interpreting the LOE variable as an adjacency matrix of a complete graph. Depending on the choice of parameters, it can display a number of essentially distinct dynamical characteristics: e.g. cycles of expansion and contraction.


title: A lower density operator for the Borel algebra

abstract: We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $\sigma$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis.


title: Periodic solutions and invariant torus in the R\"ossler System

abstract: The R\"ossler System is characterized by a three-parameter family of quadratic 3D vector fields. There exist two one-parameter families of R\"ossler Systems exhibiting a zero-Hopf equilibrium. For R\"ossler Systems near to one of these families, we provide generic conditions ensuring the existence of a torus bifurcation. In this case, the torus surrounds a periodic solution that bifurcates from the zero-Hopf equilibrium. For R\"ossler Systems near to the other family, we provide generic conditions for the existence of a periodic solution bifurcating from the zero-Hopf equilibrium. This improves currently known results regarding periodic solutions for such a family. In addition, the stability properties of the periodic solutions and invariant torus are analysed.


title: Cosmological instability of scalar-Gauss-Bonnet theories exhibiting scalarization

abstract: In a subclass of scalar-tensor theories, it has been shown that standard general relativity solutions of neutron stars and black holes with trivial scalar field profiles are unstable. Such an instability leads to solutions which are different from those of general relativity and have non-trivial scalar field profiles, in a process called scalarization. In the present work we focus on scalarization due to a non-minimal coupling of the scalar field to the Gauss-Bonnet curvature invariant. The coupling acts as a tachyonic mass for the scalar mode, thus leading to the instability of general relativity solutions. We point out that a similar effect may occur for the scalar modes in a cosmological background, resulting in the instability of cosmological solutions. In particular, we show that a catastrophic instability develops during inflation within a period of time much shorter than the minimum required duration of inflation. As a result, the standard cosmological dynamics is not recovered. This raises the question of the viability of scalar-Gauss-Bonnet theories exhibiting scalarization.


title: Hydrogenation, dehydrogenation of $\alpha$-tetragonal boron and its transition to $\delta$-orthorhombic boron

abstract: Boron bulk crystals are marked by exceptional structural complexity and unusual related physical phenomena. Recent reports of hydrogenated $\alpha$-tetragonal and a new $\delta$-orthorhombic boron B$_{52}$ phase have raised many fundamental questions. Using density functional theory calculations it is shown that hydrogenated $\alpha$-tetragonal boron has at least two stable stoichiometric compositions, B$_{51}$H$_{7}$ and B$_{51}$H$_{3}$. Thermodynamic modeling was used to qualitatively reproduce the two-step phase transition reported by Ekimov et al. [J. Mater. Res. 31, 2773 (2016)] upon annealing, which corresponds to successive transitions from B$_{51}$H$_{7}$ to B$_{51}$H$_{3}$ to pure B$_{52}$. The so obtained $\delta$-orthorhombic boron is an ordered, low-temperature phase and $\alpha$-tetragonal boron is a disordered, high-temperature phase of B$_{52}$. The two phases are connected by an order-disorder transition, that is associated with the migration of interstitial boron atoms. Atom migration is usually suppressed in strongly bound, covalent crystals. It is shown that the migration of boron atoms is likely to be assisted by the migration of hydrogen atoms upon annealing. These results are in excellent agreement with the above mentioned experiment and they represent an important step forward for the understanding of boron and hydrogenated boron crystals. They further open a new avenue to control or remove the intrinsic defects of covalently bound crystals by utilizing volatile, foreign atoms.


title: Noise residuals for GW150914 using maximum likelihood and numerical relativity templates

abstract: We reexamine the results presented in a recent work by Nielsen et al. [1], in which the properties of the noise residuals in the 40\,ms chirp domain of GW150914 were investigated. This paper confirmed the presence of strong (i.e., about 0.80) correlations between residual noise in the Hanford and Livingston detectors in the chirp domain as previously seen by us [2] when using a numerical relativity template given in [3]. It was also shown in [1] that a so-called maximum likelihood template can reduce these statistically significant cross-correlations. Here, we demonstrate that the reduction of correlation and statistical significance is due to (i) the use of a peculiar template which is qualitatively different from the properties of GW150914 originally published by LIGO, (ii) a suspicious MCMC chain, (iii) uncertainties in the matching of the maximum likelihood (ML) template to the data in the Fourier domain, and (iv) a biased estimation of the significance that gives counter-intuitive results. We show that rematching the maximum likelihood template to the data in the 0.2\,s domain containing the GW150914 signal restores these correlations at the level of $60\%$ of those found in [1]. With necessary corrections, the probability given in [1] will decrease by more than one order of magnitude. Since the ML template is itself problematic, results associated with this template are illustrative rather than final.


title: New fractional differential inequalities with their implications to the stability analysis of fractional order systems

abstract: It is well known that the Leibniz rule for the integer derivative of order one does not hold for the fractional derivative case when the fractional order lies between 0 and 1. Thus it poses a great difficulty in the calculation of fractional derivative of given functions as well as in the analysis of fractional order systems. In this work, we develop a few fractional differential inequalities which involve the Caputo fractional derivative of the product of continuously differentiable functions. We establish some of their properties and propose a few propositions. We show that these inequalities play a very essential role in the Lyapunov stability analysis of nonautonomous fractional order systems.


title: Influence of orthogonalization procedure on astrophysical S-factor for the direct $\alpha+d$ $\rightarrow$ $^6$Li + $\gamma $ capture process in a three-body model

abstract: The astrophysical S-factor for the direct $ \alpha(d,\gamma)^{6}{\rm Li}$ capture reaction is calculated in a three-body model based on the hyperspherical Lagrange-mesh method. A sensitivity of the E1 and E2 astrophysical S-factors to the orthogonalization method of Pauli forbidden states in the three-body system is studied. It is found that the method of orthogonalising pseudopotentials (OPP) yields larger isotriplet ($T=1$) components than the supersymmetric transformation (SUSY) procedure. The E1 astrophysical S-factor shows the same energy dependence in both cases, but strongly different absolute values. At the same time, the E2 S-factor does not depend on the orthogonalization procedure. As a result, the OPP method yields a very good description of the direct data of the LUNA collaboration at low energies, while the SUSY transformation strongly underestimates the LUNA data. \keywords{three-body model; orthogonalization method; astrophysical S factor.


title: The minimum mean square estimator of integrable variables under sublinear operators

abstract: In this paper, we study the minimum mean square estimator for non-bounded random variables under sublinear operators. The existence and uniqueness of the minimum mean square estimator are obtained. Several properties of the minimum mean square estimator for non-bounded random variables are proved under some mild assumptions.


title: A real-space renormalization group for jamming

abstract: Jamming occurs in granular materials, as well as in emulsions, dense suspensions, and other amorphous, particulate systems. When the packing fraction $\phi$, defined as the ratio of particle volume to system volume, is increased past a critical value $\phi_c$, a liquid-solid phase transition occurs, and grains are no longer able to rearrange. Previous studies have shown evidence of spatial correlations that diverge near $\phi = \phi_c$, but there has been no explicit spatial renormalization group (RG) scheme that has captured this transition. Here, I present a candidate for such a scheme, using a block-spin-like transformation of a randomly vacated lattice of grains. I define a real-space RG transformation based on local mechanical stability. This model displays a critical packing fraction $\phi_c$ and gives estimates of critical exponents in two and three dimensions.


title: Distributed Cooperative Caching for VoD with Geographic Constraints

abstract: We consider caching of video streams in a cellular network in which each base station is equipped with a cache. Video streams are partitioned into multiple substreams and the goal is to place substreams in caches such that the residual backhaul load is minimized. We consider two coding mechanisms for the substreams: Layered coding (LC) mechanism and Multiple Description Coding (MDC). We develop a distributed asynchronous algorithm for deciding which files to store in which cache to minimize the residual bandwidth, i.e., the cost for downloading the missing substreams of the user's requested video with a certain video quality from the gateway (i.e., the main server). We show that our algorithm converges rapidly. Also, we show that MDC partitioning is better than LC mechanism when the most popular content is stored in caches; however, our algorithm diminishes this difference.


title: Explaining Anomalies Detected by Autoencoders Using SHAP

abstract: Anomaly detection algorithms are often thought to be limited because they don't facilitate the process of validating results performed by domain experts. In Contrast, deep learning algorithms for anomaly detection, such as autoencoders, point out the outliers, saving experts the time-consuming task of examining normal cases in order to find anomalies. Most outlier detection algorithms output a score for each instance in the database. The top-k most intense outliers are returned to the user for further inspection; however the manual validation of results becomes challenging without additional clues. An explanation of why an instance is anomalous enables the experts to focus their investigation on most important anomalies and may increase their trust in the algorithm. Recently, a game theory-based framework known as SHapley Additive exPlanations (SHAP) has been shown to be effective in explaining various supervised learning models. In this research, we extend SHAP to explain anomalies detected by an autoencoder, an unsupervised model. The proposed method extracts and visually depicts both the features that most contributed to the anomaly and those that offset it. A preliminary experimental study using real world data demonstrates the usefulness of the proposed method in assisting the domain experts to understand the anomaly and filtering out the uninteresting anomalies, aiming at minimizing the false positive rate of detected anomalies.


title: On the Optimality of Ali-Niesen Decentralized Coded Caching Scheme With and Without Error Correction

abstract: The decentralized coded caching was introduced in [M.~A. Maddah-Ali and U.~Niesen, `Decentralized coded caching attains order-optimal memory-rate tradeoff,' \emph{IEEE/ACM Trans. Networking}, vol.~23, no.~4, pp. 1029--1040, Aug. 2015] in which no coordination is required for the content placement. In this paper, with $N$ files and $K$ users, first it is shown that the decentralized coded caching scheme of Ali and Niesen is optimal for $N \geq K$ using techniques from index coding. Next the case when the shared link is error prone is considered. For this case, an optimal error correcting delivery scheme is proposed for coded caching problems with decentralized placement. Expression for the worst case rate is obtained when there are finite number of transmissions in error.


title: A Grounded Interaction Protocol for Explainable Artificial Intelligence

abstract: Explainable Artificial Intelligence (XAI) systems need to include an explanation model to communicate the internal decisions, behaviours and actions to the interacting humans. Successful explanation involves both cognitive and social processes. In this paper we focus on the challenge of meaningful interaction between an explainer and an explainee and investigate the structural aspects of an interactive explanation to propose an interaction protocol. We follow a bottom-up approach to derive the model by analysing transcripts of different explanation dialogue types with 398 explanation dialogues. We use grounded theory to code and identify key components of an explanation dialogue. We formalize the model using the agent dialogue framework (ADF) as a new dialogue type and then evaluate it in a human-agent interaction study with 101 dialogues from 14 participants. Our results show that the proposed model can closely follow the explanation dialogues of human-agent conversations.


title: Unconventional Superconductivity in Heavy Fermion UTe2

abstract: We grew single crystals of the recently discovered heavy fermion superconductor UTe2, and measured the resistivity, specific heat and magnetoresistance. Superconductivity (SC) was clearly detected at Tsc=1.65K as sharp drop of the resistivity in a high quality sample of RRR=35. The specific heat shows a large jump at Tsc indicating strong coupling. The large Sommerfeld coefficient, 117mJ K-2mol-1 extrapolated in the normal state and the temperature dependence of C/T below Tsc are the signature of unconventional SC. The discrepancy in the entropy balance at Tsc between SC and normal states points out that hidden features must occur. Surprisingly, a large residual value of the Sommerfeld coefficient seems quite robust (gamma_0/gamma ~ 0.5). The large upper critical field Hc2 along the three principal axes favors spin-triplet SC. For H // b-axis, our experiments do not reproduce the huge upturn of Hc2 reported previously. This discrepancy may reflect that Hc2 is very sensitive to the sample quality. A new perspective in UTe2 is the proximity of a Kondo semiconducting phase predicted by the LDA band structure calculations.


title: Dimensional bounds for ancient caloric functions on graphs

abstract: We study ancient solutions of polynomial growth to heat equations on graphs, and extend Colding and Minicozzi's theorem [CM19] on manifolds to graphs: For a graph of polynomial volume growth, the dimension of the space of ancient solutions of polynomial growth is bounded by the product of the growth degree and the dimension of harmonic functions with the same growth.


title: Morita theory of systems

abstract: We present the rudiments of the Morita theory of module systems (over semirings), paralleling the classical Morita theory over associative rings.


title: Convergence of the light-front coupled-cluster method in quenched scalar Yukawa theory

abstract: We explore the convergence of the light-front coupled-cluster (LFCC) method in the context of two-dimensional quenched scalar Yukawa theory. This theory is simple enough for higher-order LFCC calculations to be relatively straightforward. The quenching is to maintain stability; the spectrum of the full theory with pair creation and annihilation is unbounded from below. The basic interaction in the quenched theory is only emission and absorption of a neutral scalar by the complex scalar. The LFCC method builds the eigenstate with one complex scalar and a cloud of neutrals from a valence state that is just the complex scalar and the action of an exponentiated operator that creates neutrals. The lowest order LFCC operator creates one; we add the next order, a term that creates two. At this order there is a direct contribution to the wave function for two neutrals and one complex scalar and additional contributions to all higher Fock wave functions from the exponentiation. Results for the lowest order and this new second-order approximation are compared with those obtained with standard Fock-state expansions. The LFCC approach is found to allow representation of the eigenstate with far fewer functions than the number of wave functions required in a converged Fock-state expansion.


title: An Orbit Fit to Likely Hermus Stream Stars

abstract: We selected blue horizontal branch (BHB) stars within the expected distance range and sky position of the Hermus Stream from Data Release 10 of the Sloan Digital Sky Survey. We identify a moving group of $19$ BHB stars that are concentrated within two degrees of the Hermus Stream, between $10$ and $14$ kpc from the Sun. The concentration in velocity is inconsistent with a Gaussian distribution with 98% confidence (2.33 sigma).The stars in the moving group have line-of-sight velocities of v$_{\rm gsr} \sim 50$ km s$^{-1}$, a velocity dispersion of $\sigma_v\lesssim11$ km s$^{-1}$, a line-of-sight depth of $\sim 1$ kpc, and a metallicity of [Fe/H] $=-2.1 \pm 0.4$. The best-fit orbit has a perigalacticon of $\sim4$ kpc, apogalacticon of $\sim 17$ kpc, orbital period of $\sim247$ Myr, eccentricity $e = 0.62$, and inclination $i \sim75^\circ$ from $b=90^\circ$. The BHB stars in the stream are estimated to be $12$ Gyr old. An N-body simulation of a mass-follows-light ultrafaint dwarf galaxy with mass $10^6M_{\odot}$ and radius $40$ pc is consistent with the observed properties. The properties of the identified moving group of 19 BHB stars are close enough to those of the Hermus Stream (which is traced predominantly in turnoff stars) that we find it likely that they are associated. If that is the case, then our orbit fit would imply that there is no relationship between the Hermus and Phoenix streams, as previously proposed.


title: Heun's differential equation and its q-deformation

abstract: The $q$-Heun equation is a $q$-difference analogue of Heun's differential equation. We review several solutions of Heun's differential equation and investigate polynomial-type solutions of $q$-Heun equation. The limit $q\to 1$ corresponding to Heun's differential equation and the ultradiscrete limit $q\to 0$ are considered.


title: Special reflecting features of a three-dimensional photonic crystal depending on cut surfaces oriented in the direction [001] within photonic bandgap

abstract: The reflecting features (reflected spectrum and phase) on the surface of pure-material plate depend on refractive index, extinction coefficient, incident angle, polarization direction and so on. The features, however, do not depend on a cut surface that is another uniformly processed surface in the same direction, which is obtained by being cut, etched and polished for example. In this work, the special reflecting features of a three-dimensional (3D) terahertz photonic crystal (PC) depending on the cut-surface oriented in the same direction [001], have been studied especially within photonic band gap by using a FEM (finite element method). The 3D-PC is a silicon inverse diamond structure whose lattice point shape is vacant regular octahedrons. The characteristic features were studied on four types of cut-surface that were shifted per a/4 (a: lattice constant) in the same direction [001], especially with two types of orientation, [(1,1) and (1,-1) in an XY-plane] of electric-field of the incident wave in normal incidence. It was found that eight types of reflected spectrum and those of phase in all four cut-surface types are able to be classified in two patterns, they are correlated with two types of unit cell suggested, and the reflecting features invert or do not invert according to the cut-surface.


title: Some Combinatorial Concepts near an Idempotent

abstract: A small part of real line which is very close to zero has rich combinatorial properties. The aim of this paper is to express and then prove some locally combinatorial concepts near a virtual idempotent by considering the $wap$-compactification of a semitopological semigroup $S$. The $wap-$compactification of a semitopological semigroup $S$, is denoted by $S^w$, the collection of all ultrafilters near an idempotent $\eta\in S^w$ forms a compact subsemigroup of $\beta S_d$, where $S_d$ denotes $S$ as discrete space.


title: Two roads to antispacetime in polar distorted B phase: Kibble wall and half-quantum vortex

abstract: We consider the emergent tetrad gravity and the analog of antispacetime realized in the recent experiments ( J.T. Makinen, et al., Nat. Comm. 10, 237 (2019)) on the composite defects in superfluid $^3$He: the Kibble walls bounded by strings (the half quantum vortices). The antispacetime can be reached in two different ways: by the "safe" route around the Alice string or by dangerous route across the Kibble wall. This consideration also suggests the scenario of the formation of the discrete symmetry -- the parity $P$ in Dirac equations -- from the continuous symmetry existing on the more fundamental level.


title: KBQA: Learning Question Answering over QA Corpora and Knowledge Bases

abstract: Question answering (QA) has become a popular way for humans to access billion-scale knowledge bases. Unlike web search, QA over a knowledge base gives out accurate and concise results, provided that natural language questions can be understood and mapped precisely to structured queries over the knowledge base. The challenge, however, is that a human can ask one question in many different ways. Previous approaches have natural limits due to their representations: rule based approaches only understand a small set of "canned" questions, while keyword based or synonym based approaches cannot fully understand the questions. In this paper, we design a new kind of question representation: templates, over a billion scale knowledge base and a million scale QA corpora. For example, for questions about a city's population, we learn templates such as What's the population of $city?, How many people are there in $city?. We learned 27 million templates for 2782 intents. Based on these templates, our QA system KBQA effectively supports binary factoid questions, as well as complex questions which are composed of a series of binary factoid questions. Furthermore, we expand predicates in RDF knowledge base, which boosts the coverage of knowledge base by 57 times. Our QA system beats all other state-of-art works on both effectiveness and efficiency over QALD benchmarks.


title: Detection of Ultra-High Energy neutrinos skimming the Earth due to decay of superheavy dark matter at JEM-EUSO

abstract: The possibility of detecting Ultra-high energy (UHE from now on) neutrinos due to superheavy dark matter are considered by the neutrinos interaction with the nuclei in the air in the present paper. To reject other standard model particles, UHE neutrinos, from superheavy dark matter and astrophysical sources, skimming the Earth are detected at JEM-EUSO. Then the numbers of UHE neutrinos detected by JEM-EUSO are evaluated at different energies (1 EeV < E < 1 ZeV) in 5 years. If the energy thresholds are taken to be 100 EeV, the astrophysical neutrino contamination could be negligible in this detection. It is possible that UHE neutrinos from the decay of superheavy dark matter are detected at JEM-EUSO when $O(10^{27})s < \tau_{\phi}< O(10^{31})s$. For example, O($10^4$) UHE neutrino events could be detected by JEM-EUSO at 30 EeV in 5 years when $\tau_{\phi}=O(10^{27})$s. If so, it may be confirmed that there may exist superheavy dark matter in the Universe.


title: Higher Order Quantum Superintegrability: a new "Painlev\'e conjecture"

abstract: We review recent results on superintegrable quantum systems in a two-dimensional Euclidean space with the following properties. They are integrable because they allow the separation of variables in Cartesian coordinates and hence allow a specific integral of motion that is a second order polynomial in the momenta. Moreover, they are superintegrable because they allow an additional integral of order $N>2$. Two types of such superintegrable potentials exist. The first type consists of "standard potentials" that satisfy linear differential equations. The second type consists of "exotic potentials" that satisfy nonlinear equations. For $N= 3$, 4 and 5 these equations have the Painlev\'e property. We conjecture that this is true for all $N\geq3$. The two integrals X and Y commute with the Hamiltonian, but not with each other. Together they generate a polynomial algebra (for any $N$) of integrals of motion. We show how this algebra can be used to calculate the energy spectrum and the wave functions.


title: Direct CP violation in $D^+ \to K^0(\bar K^0) \pi^+$ decays as a probe for new physics

abstract: In this paper we investigate CP violation in charged decays of $D$ meson. Particularly, we study the direct CP asymmetry of the Cabibbo favored non-leptonic $D^+ \rightarrow \bar K^0 \pi^+$ and the doubly Cabibbo-suppressed decay mode $D^+ \rightarrow K^0 \pi^+$ within standard model, two Higgs doublet model with generic Yukawa structure and left right symmetric models. In the standard model, we first derive the contributions from box and di-penguin diagrams contributing to their amplitudes which are relevant to the generation of the weak phases essential for non-vanishing direct CP violation. Then, we show that these phases are so tiny leading to a direct CP asymmetry of order $10^{-11}$ in both decay modes. Regarding the two Higgs doublet model with generic Yukawa structure and after taking into account all constraints on the parameter space of the model, we show that the enhanced direct CP asymmetries can be 6 and 7 orders of magnitudes larger than the standard model prediction for $D^+ \rightarrow \bar K^0 \pi^+$ and $D^+ \rightarrow K^0 \pi^+$ respectively. Finally, within left right symmetric models, we find that sizable direct CP asymmetry of ${\mathcal O } (10^{-3})$ can be obtained for the decay mode $D^+ \rightarrow \bar K^0 \pi^+$ after respecting all relevant constraints.


title: Performance Analysis of Effective Symbolic Methods for Solving Band Matrix SLAEs

abstract: This paper presents an experimental performance study of implementations of three symbolic algorithms for solving band matrix systems of linear algebraic equations with heptadiagonal, pentadiagonal, and tridiagonal coefficient matrices. The only assumption on the coefficient matrix in order for the algorithms to be stable is nonsingularity. These algorithms are implemented using the GiNaC library of C++ and the SymPy library of Python, considering five different data storing classes. Performance analysis of the implementations is done using the high-performance computing (HPC) platforms "HybriLIT" and "Avitohol". The experimental setup and the results from the conducted computations on the individual computer systems are presented and discussed. An analysis of the three algorithms is performed.


title: Full-Field, Carrier-Less, Polarization-Diversity, Direct Detection Receiver based on Phase Retrieval

abstract: We realize dual-polarization full-field recovery using intensity only measurements and phase retrieval techniques based on dispersive elements. 30-Gbaud QPSK waveforms are transmitted over 520-km standard single-mode fiber and equalized from the receiver outputs using 2X2 MIMO.


title: Graphs derived from perfect difference sets

abstract: We study a family of graphs with diameter two and asymptotically optimal order for their maximum degree, obtained from perfect difference sets. We show that for all known examples of perfect difference sets, the graph we obtain is isomorphic to one of the Brown graphs, a well-known family of graphs in the degree-diameter problem.


title: Development of SAM: cable-Suspended Aerial Manipulator

abstract: High risk of a collision between rotor blades and the obstacles in a complex environment imposes restrictions on the aerial manipulators. To solve this issue, a novel system cable-Suspended Aerial Manipulator (SAM) is presented in this paper. Instead of attaching a robotic manipulator directly to an aerial carrier, it is mounted on an active platform which is suspended on the carrier by means of a cable. As a result, higher safety can be achieved because the aerial carrier can keep a distance from the obstacles. For self-stabilization, the SAM is equipped with two actuation systems: winches and propulsion units. This paper presents an overview of the SAM including the concept behind, hardware realization, control strategy, and the first experimental results.


title: Characterisation of the poles of the $\ell$-modular Asai $L$-factor

abstract: Let $E/F$ be a quadratic extension of non-archimedean local fields, and let $\ell$ be a prime number different from the residual characteristic of $F$. For a complex cuspidal representation $\pi$ of $GL(n,E)$, the Asai $L$-factor $L^+(X,\pi)$ has a pole at $X=1$ if and only if $\pi$ is $GL(n,F)$-distinguished. In this paper we solve the problem of characterising the occurrence of a pole at $X=1$ of $L^+(X,\pi)$ when $\pi$ is an $\ell$-modular cuspidal representation of $GL(n,E)$: we show that $L^+(X,\pi)$ has a pole at $X=1$ if and only if $\pi$ is a relatively banal distinguished representation; namely $\pi$ is $GL(n,F)$-distinguished but not $\vert\det(~ )|_{F}$-distinguished. This notion turns out to be an exact analogue for the symmetric space $GL(n,E)/GL(n,F)$ of M\' inguez and S\'echerre's notion of banal cuspidal $\overline{\mathbb{F}}_\ell$-representation of $GL(n,F)$. Along the way we compute the Asai $L$-factor of all cuspidal $\ell$-modular representations of $GL(n,E)$ in terms of type theory, and prove new results concerning lifting and reduction modulo $\ell$ of distinguished cuspidal representations. Finally, we determine when the natural $GL(n,F)$-period on the Whittaker model of a distinguished cuspidal representation of $GL(n,E)$ is nonzero.


title: Fast Graph Representation Learning with PyTorch Geometric

abstract: We introduce PyTorch Geometric, a library for deep learning on irregularly structured input data such as graphs, point clouds and manifolds, built upon PyTorch. In addition to general graph data structures and processing methods, it contains a variety of recently published methods from the domains of relational learning and 3D data processing. PyTorch Geometric achieves high data throughput by leveraging sparse GPU acceleration, by providing dedicated CUDA kernels and by introducing efficient mini-batch handling for input examples of different size. In this work, we present the library in detail and perform a comprehensive comparative study of the implemented methods in homogeneous evaluation scenarios.


title: Controlling Meshes via Curvature: Spin Transformations for Pose-Invariant Shape Processing

abstract: We investigate discrete spin transformations, a geometric framework to manipulate surface meshes by controlling mean curvature. Applications include surface fairing -- flowing a mesh onto say, a reference sphere -- and mesh extrusion -- e.g., rebuilding a complex shape from a reference sphere and curvature specification. Because they operate in curvature space, these operations can be conducted very stably across large deformations with no need for remeshing. Spin transformations add to the algorithmic toolbox for pose-invariant shape analysis. Mathematically speaking, mean curvature is a shape invariant and in general fully characterizes closed shapes (together with the metric). Computationally speaking, spin transformations make that relationship explicit. Our work expands on a discrete formulation of spin transformations. Like their smooth counterpart, discrete spin transformations are naturally close to conformal (angle-preserving). This quasi-conformality can nevertheless be relaxed to satisfy the desired trade-off between area distortion and angle preservation. We derive such constraints and propose a formulation in which they can be efficiently incorporated. The approach is showcased on subcortical structures.


title: On the elliptic Stark conjecture in higher weight

abstract: We study the special values of the triple product $p$-adic $L$-function constructed by Darmon and Rotger at all classical points outside the region of interpolation. We propose conjectural formulas for these values that can be seen as extending the Elliptic Stark Conjecture, and we provide theoretical evidence for them by proving some particular cases.


title: Twist Angle mapping in layered WS2 by Polarization-Resolved Second Harmonic Generation

abstract: Stacked atomically thin transition metal dichalcogenides (TMDs) exhibit fundamentally new physical properties compared to those of the individual layers. The twist angle between the layers plays a crucial role in tuning these properties. Having a tool that provides highresolution, large area mapping of the twist angle, would be of great importance in the characterization of such 2D structures. Here we use polarization-resolved second harmonic generation (P-SHG) imaging microscopy to rapidly map the twist angle in large areas of overlapping WS2 stacked layers. The robustness of our methodology lies in the combination of both intensity and polarization measurements of SHG in the overlapping region. This allows the accurate measurement and consequent pixel-by-pixel mapping of the twist angle in this area. For the specific case of 30o twist angle, P-SHG enables imaging of individual layers.


title: Compactification of Drinfeld Moduli Spaces as Moduli Spaces of $A$-Reciprocal Maps and Consequences for Drinfeld Modular Forms

abstract: We construct a compactification of the moduli space of Drinfeld modules of rank $r$ and level $N$ as a moduli space of $A$-reciprocal maps. This is closely related to the Satake compactification, but not exactly the same. The construction involves some technical assumptions on $N$ that are satisfied for a cofinal set of ideals $N$. In the special case $A={\mathbb F}_q[t]$ and $N=(t^n)$ we obtain a presentation for the graded ideal of Drinfeld cusp forms of level $N$ and all weights and can deduce a dimension formula for the space of cusp forms of any weight. We expect the same results in general, but the proof will require more ideas.


title: DijetGAN: A Generative-Adversarial Network Approach for the Simulation of QCD Dijet Events at the LHC

abstract: A Generative-Adversarial Network (GAN) based on convolutional neural networks is used to simulate the production of pairs of jets at the LHC. The GAN is trained on events generated using MadGraph5 + Pythia8, and Delphes3 fast detector simulation. We demonstrate that a number of kinematic distributions both at Monte Carlo truth level and after the detector simulation can be reproduced by the generator network with a very good level of agreement. The code can be checked out or forked from the publicly accessible online repository https://gitlab.cern.ch/disipio/DiJetGAN .


title: Refracting into Ultra Diffuse Galaxy NGC 1052-DF2 by Passing near the Center of NGC 1052

abstract: The recent observation of the ultra-diffuse galaxy NGC 1052-DF2 shows a galaxy may lack dark matter. Usually dark matter is much more abundant than stellar in galaxy environment. This dark matter to baryon mass ratio is generally larger than the cosmological ratio of about five, since a significant part of baryon is diffused in the form of intergalactic medium. How to achieve such a low dark matter to baryon mass ratio is a challenge to the standard galaxy formation mechanism. Here we show that such a low ratio can be a natural consequence if the NGC 1052-DF2 had experienced a single passage within a few kpcs to the center of galaxy NGC 1052. The tidal effect of NGC 1052 in the encounter will heat the NGC 1052-DF2 up, stretch the previous dwarf galaxy significantly into its current size. The relative lacking of dark matter in the observed region is a natural consequence of the dark matter extended distribution and relatively less concentration in the corresponding central region before encounter, together with a systematic underestimation of the trace mass estimator method during relaxation after encounter. The observed flat distribution of the ultra-diffuse galaxy can be reproduced. Our results shows no need of introducing any new physical mechanism.


title: High Pressure Gas Xenon TPCs for Double Beta Decay Searches

abstract: This article reviews the application of high pressure gas xenon (HPXe) time projection chambers to neutrinoless double beta decay experiments. First, the fundamentals of the technology and the historical development of the field are discussed. Then, the state of the art is presented, including the prospects for the next generation of experiments with masses in the ton scale.


title: The standard coder: a machine learning approach to measuring the effort required to produce source code change

abstract: We apply machine learning to version control data to measure the quantity of effort required to produce source code changes. We construct a model of a `standard coder' trained from examples of code changes produced by actual software developers together with the labor time they supplied. The effort of a code change is then defined as the labor hours supplied by the standard coder to produce that change. We therefore reduce heterogeneous, structured code changes to a scalar measure of effort derived from large quantities of empirical data on the coding behavior of software developers. The standard coder replaces traditional metrics, such as lines-of-code or function point analysis, and yields new insights into what code changes require more or less effort.


title: Connectivity, Not Density, Dictates Percolation in Nematic Liquid Crystals of Slender Nanoparticles

abstract: We show by means of continuum theory and simulations that geometric percolation in uniaxial nematics of hard slender particles is fundamentally different from that in isotropic dispersions. In the nematic, percolation depends only very weakly on the density and is, in essence, determined by a distance criterion that defines connectivity. This unexpected finding has its roots in the non-trivial coupling between the density and the degree of orientational order that dictate the mean number of particle contacts. Clusters in the nematic are much longer than wide, suggesting the use of nematics for nanocomposites with strongly anisotropic transport properties.


title: Algebraic cocompleteness and finitary functors

abstract: A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a canonical partial order with the same ideal CPO-completion. And they also both carry a canonical ultrametric with the same Cauchy completion.


title: FPGA implementation of a deep learning algorithm for real-time signal reconstruction in radiation detectors under high pile-up conditions

abstract: The analog signals generated in the read-out electronics of radiation detectors are shaped prior to the digitization in order to improve the signal to noise ratio (SNR). The real amplitude of the analog signal is then obtained using digital filters, which provides information about the energy deposited in the detector. The classical digital filters have a good performance in ideal situations with Gaussian electronic noise and no pulse shape distortion. However, high-energy particle colliders, such as the Large Hadron Collider (LHC) at CERN, can produce multiple simultaneous radiation events, which produce signal pileup. The performance of classical digital filters deteriorates in these conditions since the signal pulse shape gets distorted. In addition, this type of experiments produces a high rate of collisions, which requires high throughput data acquisitions systems. In order to cope with these harsh requirements, new read-out electronics systems are based on high-performance FPGAs, which permit the utilization of more advanced real-time signal reconstruction algorithms. In this paper, a deep learning method is proposed for real-time signal reconstruction in high pileup radiation detectors. The performance of the new method has been studied using simulated data and the results are compared with a classical FIR filter method. In particular, the signals and FIR filter used in the ATLAS Tile Calorimeter are used as benchmark. The implementation, resources usage and performance of the proposed Neural Network algorithm in FPGA are also presented.


title: SpykeTorch: Efficient Simulation of Convolutional Spiking Neural Networks with at most one Spike per Neuron

abstract: Application of deep convolutional spiking neural networks (SNNs) to artificial intelligence (AI) tasks has recently gained a lot of interest since SNNs are hardware-friendly and energy-efficient. Unlike the non-spiking counterparts, most of the existing SNN simulation frameworks are not practically efficient enough for large-scale AI tasks. In this paper, we introduce SpykeTorch, an open-source high-speed simulation framework based on PyTorch. This framework simulates convolutional SNNs with at most one spike per neuron and the rank-order encoding scheme. In terms of learning rules, both spike-timing-dependent plasticity (STDP) and reward-modulated STDP (R-STDP) are implemented, but other rules could be implemented easily. Apart from the aforementioned properties, SpykeTorch is highly generic and capable of reproducing the results of various studies. Computations in the proposed framework are tensor-based and totally done by PyTorch functions, which in turn brings the ability of just-in-time optimization for running on CPUs, GPUs, or Multi-GPU platforms.


title: Global existence of weak solutions to the Navier-Stokes-Korteweg equations

abstract: In this paper we consider the Navier-Stokes-Korteweg equations for a viscous compressible fluid with capillarity effects in three space dimensions. We prove global existence of finite energy weak solutions for large initial data. Contrary to previous results regarding this system, vacuum regions are allowed in the definition of weak solutions and no additional damping terms are considered. The convergence of the approximating solutions is obtained by introducing suitable truncations in the momentum equations of the velocity field and the mass density at different scales and use only the a priori bounds obtained by the energy and the BD entropy. Moreover, the approximating solutions enjoy only a limited amount of regularity, and the derivation of the truncations of the velocity and the density is performed by a suitable regularization procedure.


title: Intersection pairings in the N-fold reduced product of adjoint orbits

abstract: In previous work we computed the symplectic volume of the symplectic reduced space of the product of N adjoint orbits of a compact Lie group. In this paper we compute the intersection pairings of the same object.


title: An Additional Set of (Automated) Eyes: Chatbots for Agile Retrospectives

abstract: Recent advances in natural-language processing and data analysis allow software bots to become virtual team members, providing an additional set of automated eyes and additional perspectives for informing and supporting teamwork. In this paper, we propose employing chatbots in the domain of software development with a focus on supporting analyses and measurements of teams' project data. The software project artifacts produced by agile teams during regular development activities, e.g. commits in a version control system, represent detailed information on how a team works and collaborates. Analyses of this data are especially relevant for agile retrospective meetings, where adaptations and improvements to the executed development process are discussed. Development teams can use these measurements to track the progress of identified improvement actions over development iterations. Chatbots provide a convenient user interface for interacting with the outcomes of retrospectives and the associated measurements in a chat-based channel that is already being employed by team members.


title: Efficient representation and manipulation of quadratic surfaces using Geometric Algebras

abstract: Quadratic surfaces gain more and more attention among the Geometric Algebra community and some frameworks were proposed in order to represent, transform, and intersect these quadratic surfaces. As far as the authors know, none of these frameworks support all the operations required to completely handle these surfaces. Some frameworks do not allow the construction of quadratic surfaces from control points when others do not allow to transform these quadratic surfaces. However , if we consider all the frameworks together, then all the required operations over quadratic are covered. This paper presents a unification of these frameworks that enables to represent any quadratic surfaces either using control points or from the coefficients of its implicit form. The proposed approach also allows to transform any quadratic surfaces and to compute their intersection and to easily extract some geometric properties .


title: The Parameterized Complexity of Motion Planning for Snake-Like Robots

abstract: We study the parameterized complexity of a variant of the classic video game Snake that models real-world problems of motion planning. Given a snake-like robot with an initial position and a final position in an environment (modeled by a graph), our objective is to determine whether the robot can reach the final position from the initial position without intersecting itself. Naturally, this problem models a wide-variety of scenarios, ranging from the transportation of linked wagons towed by a locomotor at an airport or a supermarket to the movement of a group of agents that travel in an `ant-like' fashion and the construction of trains in amusement parks. Unfortunately, already on grid graphs, this problem is PSPACE-complete [Biasi and Ophelders, 2016]. Nevertheless, we prove that even on general graphs, the problem is solvable in time $k^{\mathcal{O}(k)}|I|^{\mathcal{O}(1)}$ where $k$ is the size of the snake, and $|I|$ is the input size. In particular, this shows that the problem is fixed-parameter tractable (FPT). Towards this, we show how to employ color-coding to sparsify the configuration graph of the problem to have size $k^{\mathcal{O}(k)}|I|^{\mathcal{O}(1)}$ rather than $|I|^{\mathcal{O}(k)}$. We believe that our approach will find other applications in motion planning. Additionally, we show that the problem is unlikely to admit a polynomial kernel even on grid graphs, but it admits a treewidth-reduction procedure. To the best of our knowledge, the study of the parameterized complexity of motion planning problems (where the intermediate configurations of the motion are of importance) has so far been largely overlooked. Thus, our work is pioneering in this regard.


title: Gamification in Science: A Study of Requirements in the Context of Reproducible Research

abstract: The need for data preservation and reproducible research is widely recognized in the scientific community. Yet, researchers often struggle to find the motivation to contribute to data repositories and to use tools that foster reproducibility. In this paper, we explore possible uses of gamification to support reproducible practices in High Energy Physics. To understand how gamification can be effective in research tools, we participated in a workshop and performed interviews with data analysts. We then designed two interactive prototypes of a research preservation service that use contrasting gamification strategies. The evaluation of the prototypes showed that gamification needs to address core scientific challenges, in particular the fair reflection of quality and individual contribution. Through thematic analysis, we identified four themes which describe perceptions and requirements of gamification in research: Contribution, Metrics, Applications and Scientific practice. Based on these, we discuss design implications for gamification in science.


title: Cross ratios on ${\rm CAT(0)}$ cube complexes and marked length-spectrum rigidity

abstract: We show that group actions on irreducible ${\rm CAT(0)}$ cube complexes with no free faces are uniquely determined by their $\ell^1$ length function. Actions are allowed to be non-proper and non-cocompact, as long as they are minimal and have no finite orbit in the visual boundary. This is, to our knowledge, the first length-spectrum rigidity result in a setting of non-positive curvature (with the exception of some particular cases in dimension 2 and symmetric spaces). As our main tool, we develop a notion of cross ratio on Roller boundaries of ${\rm CAT(0)}$ cube complexes. Inspired by results in negative curvature, we give a general framework reducing length-spectrum rigidity questions to the problem of extending cross-ratio preserving maps between (subsets of) Roller boundaries. The core of our work is then to show that, when there are no free faces, these cross-ratio preserving maps always extend to cubical isomorphisms. All our results equally apply to cube complexes with variable edge lengths. As a special case of our work, we construct a compactification of the Charney-Stambaugh-Vogtmann Outer Space for the group of untwisted outer automorphisms of an (irreducible) right-angled Artin group. This generalises the length function compactification of the classical Culler-Vogtmann Outer Space.


title: Higher-order topological corner states induced by gain and loss

abstract: The concept of topological phases has been generalized to higher-order topological insulators and superconductors with novel boundary states on corners or hinges. Meanwhile, recent experimental advances in controlling dissipation (such as gain and loss) open new possibilities in studying non-Hermitian topological phases. Here, we show that higher-order topological corner states can emerge by simply introducing staggered on-site gain/loss to a Hermitian system in trivial phases. For such a non-Hermitian system, we establish a general bulk-corner correspondence by developing a biorthogonal nested-Wilson-loop and edge-polarization theory, which can be applied to a wide class of non-Hermitian systems with higher-order topological orders. The theory gives rise to topological invariants characterizing the non-Hermitian topological multipole moments (i.e., corner states) that are protected by reflection or chiral symmetry. Such gain/loss induced higher-order topological corner states can be experimentally realized using photons in coupled cavities or cold atoms in optical lattices.


title: Strong Modulation of Optical Properties in Rippled 2D GaSe via Strain Engineering

abstract: Few-layer GaSe is one of the latest additions to the family of 2D semiconducting crystals whose properties under strain are still relatively unexplored. Here, we study rippled nanosheets that exhibit a periodic compressive and tensile strain of up to 5%. The strain profile modifies the local optoelectronic properties of the alternating compressive and tensile regions, which translates into a remarkable shift of the optical absorption band-edge of up to 1.2 eV between crests and valleys. Our experimental observations are supported by theoretical results from density functional theory calculations performed for monolayers and multilayers (up to 7 layers) under tensile and compressive strain. This large band gap tunability can be explained through a combined analysis of the elastic response of Ga atoms to strain and the symmetry of the wave functions.


title: Evaluating 0-0 Energies with Theoretical Tools: a Short Review

abstract: For a given electronic excited state, the 0-0 energy ($T_0$ or $T_{00}$) is the simplest property allowing straightforward and physically-sound comparisons between theory and (accurate) experiment. However, the computation of 0-0 energies with \emph{ab initio} approaches requires determining both the structure and the vibrational frequencies of the excited state, which limits the quality of the theoretical models that can be considered in practice. This explains why only a rather limited, yet constantly increasing, number of works have been devoted to the determination of this property. In this contribution, we review these efforts with a focus on benchmark studies carried out for both gas phase and solvated compounds. Over the years, not only as the size of the molecules increased, but the refinement of the theoretical tools has followed the same trend. Though the results obtained in these benchmarks significantly depend on both the details of the protocol and the nature of the excited states, one can now roughly estimate, in the case of valence transitions, the overall accuracy of theoretical schemes as follows: $1$ eV for CIS, $0.2$--$0.3$ eV for CIS(D), $0.2$--$0.4$ eV for TD-DFT when one employs hybrid functionals, $0.1$--$0.2$ eV for ADC(2) and CC2, and $0.04$ eV for CC3, the latter approach being the only one delivering chemical accuracy on a near-systematic basis.


title: A statistical analysis of the nuclear structure uncertainties in $\mu$D

abstract: The charge radius of the deuteron (D), was recently determined to three times the precision compared with previous measurements using the measured Lamb shift in muonic deuterium (muD). However, the muD value is 5.6 $\sigma$ smaller than the world averaged CODATA-2014 value [1]. To shed light on this discrepancy we analyze the uncertainties of the nuclear structure calculations of the Lamb shift in muD and conclude that nuclear theory uncertainty is not likely to be the source of the discrepancy.


title: Meissner effect in holographic superconductors with Dirac-Born-Infeld electrodynamics

abstract: In this paper, we have investigated the Meissner effect of holographic superconductors in the presence of Dirac-Born-Infeld electrodynamics. The matching method is applied to obtain the critical magnetic field and the critical temperature. The critical magnetic field obtained from this investigation shows the effects of the DBI parameter $b$ and differs from that obtained from Born electrodynamics because of the extra $\vec{E}.\vec{B}$ term in the Dirac-Born-Infeld theory. It is observed that the critical magnetic field increases in Dirac-Born-Infeld theory compared to that in the Born theory.


title: Source term calculation and validation for ${}^{18}$F-production with a cyclotron for medical applications at HZDR

abstract: In this document we present the calculation and experimental validation of a source term for ${}^{18}$F-production with a cyclotron for medical applications operating at 18 MeV proton energy and 30 $\mu$A proton current. The Monte Carlo codes MCNP6 and FLUKA were used for the calculation of the source term. In addition, the radiation field around the $^{18}$O-enriched water target was simulated with the two codes. To validate the radiation field obtained in the simulation, an experimental program has been started using activation samples which are placed close to the water target during an ${}^{18}$F-production run of the cyclotron. After the irradiation, the samples are analyzed and the resulting activation is compared to Monte Carlo calculations of the expected sample activation. We find good agreement between simulations and experimental results, with most calculation to experiment (C/E) ratios well between 0.6 and 1.4.


title: Strong interaction between graphene and localized hot spots in all-dielectric metasurfaces

abstract: The active photonics based on the two-dimensional material graphene has attracted enormous interests for developing the tunable and compact optical devices with high efficiency. Here we integrate graphene into the Fano-resonant all-dielectric metasurfaces consisting of silicon split resonators, and systematically investigate the strong interaction between graphene and the highly localized hot inside feed gaps in the near infrared regime. The numerical results show that the integrated graphene can substantially reduce the Fano resonance due to the coupling effect between the intrinsic absorption of graphene with enhanced electric field in the localized hotspot. With the manipulation of the surface conductivity via varying Fermi level and the layer number of graphene, the Fano resonance strength obtains a significant modulation and is even switched off. This works provides a great degree of freedom to tailor light-matter interaction at the nanoscale and opens up the avenues for actively tunable and integrated nanophotonic device applications, such as the optical biosensing, slow light and enhanced nonlinear effects.


title: Effects of geometry on spin-orbit Kramers states in semiconducting nanorings

abstract: The holonomic manipulation of spin-orbital degenerate states, encoded in the Kramers doublet of narrow semiconducting channels with spin-orbit interaction, is shown to be intimately intertwined with the geometrical shape of the nanostructures. The presence of doubly degenerate states is not sufficient to guarantee a non-trivial mixing by only changing the Rashba spin-orbit coupling. We demonstrate that in nanoscale quantum rings the combination of arbitrary inhomogeneous curvature and adiabatic variation of the spin-orbit amplitude, e.g. through electric-field gating, can be generally employed to get non-trivial combinations of the degenerate states. Shape symmetries of the nanostructure act to constrain the adiabatic quantum evolution. While for circular rings the geometric phase is not generated along a non-cyclic path in the parameters space, remarkably, for generic mirror-symmetric shape deformed rings the spin-orbit driving can lead to a series of dynamical quantum phase transitions. We explicitly show this occurrence and propose a route to detect such topological transitions by measuring a variation of the electron tunneling amplitude into the semiconducting channel.


title: Orthogonal Structure Search for Efficient Causal Discovery from Observational Data

abstract: The problem of inferring the direct causal parents of a response variable among a large set of explanatory variables is of high practical importance in many disciplines. Recent work exploits stability of regression coefficients or invariance properties of models across different experimental conditions for reconstructing the full causal graph. These approaches generally do not scale well with the number of the explanatory variables and are difficult to extend to nonlinear relationships. Contrary to existing work, we propose an approach which even works for observational data alone, while still offering theoretical guarantees including the case of partially nonlinear relationships. Our algorithm requires only one estimation for each variable and in our experiments we apply our causal discovery algorithm even to large graphs, demonstrating significant improvements compared to well established approaches.


title: Evolution of the progenitors of SNe 1993J and 2011dh revealed through late time radio and X-ray studies

abstract: We perform hydrodynamical simulations of the interaction between supernova (SN) ejecta and circumstellar medium (CSM) for SN 1993J and SN 2011dh, and calculate the radio and X-ray emissions expected from the shocked gas at late epochs ($t$). Considering the ejecta structure from multi-group radiation hydrodynamics simulation, we find that the observed rapid drop in radio and X-ray light curves of SN 1993J at $t>$3000 days can be due to a change in the mass-loss rate ($\dot M$) around $\sim$6500 years prior to the explosion of the SN. The exact epoch scales inversely with the assumed wind velocity of $v_{\rm w}=10~ km~s^{-1}$. The progenitor of this SN very likely belonged to a binary system, where, during its evolution, the primary had transferred material to the secondary. It is argued in the paper that the change in $\dot M$ can happen because of a change in the mass accretion efficiency ($\eta$) of the companion star. It is possible that before $\sim6500~(v_{\rm w}/10~km~s^{-1})^{-1}$years prior to the explosion, $\eta$ was high, thus the CSM was tenuous, which causes the late time downturn in fluxes. In the case of SN 2011dh, the late time evolution is found to be consistent with a wind medium with $\dot M/v_{\rm w}=4\times10^{-6 }~M_{\odot}~ yr^{-1}/10 ~{km ~s^{-1}}$. It is difficult from our analysis to predict whether the progenitor of this SN had a binary companion, however, if future observations show similar decrease in radio and X-ray fluxes, then that would give strong support to a scenario where both SNe had undergone similar kind of binary evolution before explosion.


title: Signature of large-gap quantum spin Hall state in the layered mineral jacutingaite

abstract: Quantum spin Hall (QSH) insulators are materials that feature an insulating bulk and host edge states protected by time-reversal symmetry. The helical locking of spin and momentum in these states suppresses backscattering of charge carriers, promising applications from low-power electronics to quantum computing. A major challenge for applications is the identification of large gap QSH materials, which would enable room temperature dissipationless transport in their edge states. Here we show that the layered mineral jacutingaite (Pt$_2$HgSe$_3$) is a candidate QSH material, realizing the long sought after the Kane-Mele insulator. Using scanning tunneling microscopy, we measure a band gap of 110 meV, above room temperature, and identify the hallmark edge states. By calculating the $\mathbb{Z}_2$ invariant, we confirm the topological nature of the gap. Being a layered mineral, it is stable in air and can be thinned down to a few atomic layers by mechanical exfoliation. Furthermore, we demonstrate that it can be integrated into heterostructures with other two-dimensional materials. This adds a topological insulator to the 2D quantum material library, greatly expanding the possibilities for tuning 2D electron systems using stacks of layered materials.


title: Dynamics and topological entropy of 1D Greenberg-Hastings cellular automata

abstract: In this paper we analyse the non-wandering set of 1D-Greenberg-Hastings cellular automata models for excitable media with $e\geqslant 1$ excited and $r\geqslant 1$ refractory states and determine its (strictly positive) topological entropy. We show that it results from a Devaney-chaotic closed invariant subset of the non-wandering set that consists of colliding and annihilating travelling waves, which is conjugate to a skew-product dynamical system of coupled shift-dynamics. Moreover, we determine the remaining part of the non-wandering set explicitly as a Markov system with strictly less topological entropy that also scales differently for large $e,r$.


title: A Survey of Network-based Intrusion Detection Data Sets

abstract: Labeled data sets are necessary to train and evaluate anomaly-based network intrusion detection systems. This work provides a focused literature survey of data sets for network-based intrusion detection and describes the underlying packet- and flow-based network data in detail. The paper identifies 15 different properties to assess the suitability of individual data sets for specific evaluation scenarios. These properties cover a wide range of criteria and are grouped into five categories such as data volume or recording environment for offering a structured search. Based on these properties, a comprehensive overview of existing data sets is given. This overview also highlights the peculiarities of each data set. Furthermore, this work briefly touches upon other sources for network-based data such as traffic generators and traffic repositories. Finally, we discuss our observations and provide some recommendations for the use and creation of network-based data sets.


title: Mars Missions Failure Report Assortment: Review and Conspectus

abstract: Mars has been successfully explored by various space firms. Globally, 44 mission attempts were made, lamentably 26 encountered setbacks. There have been instances where a trivial error in the progressive accomplishment of spaceflight sequence might prompt in an extreme loss. Hence in this paper, we have investigated several failure records and investigation reports of spacecraft attempted towards Mars. The report comprises a precise and summarized report assessed from various adequate online resources as well as published research articles. Analyzing records, spaceflight sequence charts, and mission targets achieved were technically tabularized beginning from launch to the Mars landing. Additionally, we have estimated approximate mission duration, the rate of failure, and their proportions and were graphically portrayed. Further, we have generated graphical representations of the number of spacecraft launches concerning the country, type of spacecraft, and launch vehicles.


title: Dominating maximal outerplane graphs and Hamiltonian plane triangulations

abstract: Let $G$ be a graph and $\gamma (G)$ denote the domination number of $G$, i.e. the cardinality of a smallest set of vertices $S$ such that every vertex of $G$ is either in $S$ or adjacent to a vertex in $S$. Matheson and Tarjan conjectured that a plane triangulation with a sufficiently large number $n$ of vertices has $\gamma(G)\le n/4$. Their conjecture remains unsettled. In the present paper, we show that: (1) a maximal outerplane graph with $n$ vertices has $\gamma(G)\le \lceil \frac{n+k} 4\rceil$ where $k$ is the number of pairs of consecutive degree 2 vertices separated by distance at least 3 on the boundary of $G$; and (2) a Hamiltonian plane triangulation $G$ with $n \ge 23$ vertices has $\gamma (G)\le 5n/16 $. We also point out and provide counterexamples for several recent published results of Li et al in [Discrete Appl. Math.198 (2016) 164-169] on this topic which are incorrect.


title: Untwisting twisted spectral triples

abstract: We examine the index data associated to twisted spectral triples and higher order spectral triples. In particular, we show that a Lipschitz regular twisted spectral triple can always be `logarithmically dampened' through functional calculus, to obtain an ordinary (i.e. untwisted) spectral triple. The same procedure turns higher order spectral triples into spectral triples. We provide examples of highly regular twisted spectral triples with nontrivial index data for which Moscovici's ansatz for a twisted local index formula is identically zero.


title: 4MOST: Project overview and information for the First Call for Proposals

abstract: We introduce the 4-metre Multi-Object Spectroscopic Telescope (4MOST), a new high-multiplex, wide-field spectroscopic survey facility under development for the four-metre-class Visible and Infrared Survey Telescope for Astronomy (VISTA) at Paranal. Its key specifications are: a large field of view (FoV) of 4.2 square degrees and a high multiplex capability, with 1624 fibres feeding two low-resolution spectrographs ($R = \lambda/\Delta\lambda \sim 6500$), and 812 fibres transferring light to the high-resolution spectrograph ($R \sim 20\,000$). After a description of the instrument and its expected performance, a short overview is given of its operational scheme and planned 4MOST Consortium science; these aspects are covered in more detail in other articles in this edition of The Messenger. Finally, the processes, schedules, and policies concerning the selection of ESO Community Surveys are presented, commencing with a singular opportunity to submit Letters of Intent for Public Surveys during the first five years of 4MOST operations.


title: 4MOST Scientific Operations

abstract: The 4MOST instrument is a multi-object spectrograph that will address Galactic and extragalactic science cases simultaneously by observing targets from a large number of different surveys within each science exposure. This parallel mode of operation and the survey nature of 4MOST require some distinct 4MOST-specific operational features within the overall operations model of ESO. The main feature is that the 4MOST Consortium will deliver, not only the instrument, but also contractual services to the user community, which is why 4MOST is also described as a facility. This white paper concentrates on information particularly useful to answering the forthcoming Call for Letters of Intent.


title: 4MOST Survey Strategy Plan

abstract: The current status of and motivation for the 4MOST Survey Strategy, as developed by the Consortium science team, are presented here. Key elements of the strategy are described, such as sky coverage, number of visits and total exposure times in different parts of the sky, and how to deal with different observing conditions. The task of organising the strategy is not simple, with many different surveys that have vastly different target brightnesses and densities, sample completeness levels, and signal-to-noise requirements. We introduce here a number of concepts that we will use to ensure all surveys are optimised. Astronomers who are planning to submit a Participating Survey proposal are strongly encouraged to read this article and any relevant 4MOST Survey articles in this issue of The Messenger such that they can optimally complement and benefit from the planned surveys of the 4MOST Consortium.


title: 4MOST Consortium Survey 1: The Milky Way Halo Low-Resolution Survey

abstract: The goal of this survey is to study the formation and evolution of the Milky Way halo to deduce its assembly history and the 3D distribution of mass in the Milky Way. The combination of multi-band photometry, Gaia proper motion and parallax data, and radial velocities and the metallicity and elemental abundances obtained from low-resolution spectra of halo giants with 4MOST, will yield an unprecedented characterisation of the Milky Way halo and its interface with the thick disc. The survey will produce a volume- and magnitude-limited complete sample of giant stars in the halo. It will cover at least 10,000 square degrees of high Galactic latitude, and measure line-of-sight velocities with a precision of 1-2 km/s as well as metallicities to within 0.2 dex.


title: 4MOST Consortium Survey 2: The Milky Way Halo High-Resolution Survey

abstract: We will study the formation history of the Milky Way, and the earliest phases of its chemical enrichment, with a sample of more than 1.5 million stars at high galactic latitude. Elemental abundances of up to 20 elements with a precision of better than 0.2 dex will be derived for these stars. The sample will include members of kinematically coherent substructures, which we will associate with their possible birthplaces by means of their abundance signatures and kinematics, allowing us to test models of galaxy formation. Our target catalogue is also expected to contain 30,000 stars at a metallicity of less than one hundredth that of the Sun. This sample will therefore be almost a factor of 100 larger than currently existing samples of metal-poor stars for which precise elemental abundances are available (determined from high-resolution spectroscopy), enabling us to study the early chemical evolution of the Milky Way in unprecedented detail.


title: 4MOST Consortium Survey 3: Milky Way Disc and Bulge Low-Resolution Survey (4MIDABLE-LR)

abstract: The mechanisms of the formation and evolution of the Milky Way are encoded in the orbits, chemistry and ages of its stars. With the 4MOST MIlky way Disk And BuLgE Low-Resolution Survey (4MIDABLE-LR) we aim to study kinematic and chemical substructures in the Milky Way disc and bulge region with samples of unprecedented size out to larger distances and greater precision than conceivable with Gaia alone or any other ongoing or planned survey. Gaia gives us the unique opportunity for target selection based almost entirely on parallax and magnitude range, hence increasing the efficiency in sampling larger Milky Way volumes with well-defined and effective selection functions. Our main goal is to provide a detailed chrono-chemo-kinematical extended map of our Galaxy and the largest Gaia follow-up down to $G = 19$ magnitudes (Vega). The complex nature of the disc components (for example, large target densities and highly structured extinction distribution in the Milky Way bulge and disc area), prompted us to develop a survey strategy with five main sub-surveys that are tailored to answer the still open questions about the assembly and evolution of our Galaxy, while taking full advantage of the Gaia data.


title: 4MOST Consortium Survey 4: Milky Way Disc and Bulge High-Resolution Survey (4MIDABLE-HR)

abstract: The signatures of the formation and evolution of a galaxy are imprinted in its stars. Their velocities, ages, and chemical compositions present major constraints on models of galaxy formation, and on various processes such as the gas inflows and outflows, the accretion of cold gas, radial migration, and the variability of star formation activity. Understanding the evolution of the Milky Way requires large observational datasets of stars via which these quantities can be determined accurately. This is the science driver of the 4MOST MIlky way Disc And BuLgE High-Resolution (4MIDABLE-HR) survey: to obtain high-resolution spectra at $R \sim 20\,000$ and to provide detailed elemental abundances for large samples of stars in the Galactic disc and bulge. High data quality will allow us to provide accurate spectroscopic diagnostics of two million stellar spectra: precise radial velocities; rotation; abundances of many elements, including those that are currently only accessible in the optical, such as Li, s-, and r-process; and multi-epoch spectra for a sub-sample of stars. Synergies with complementary missions like Gaia and TESS will provide masses, stellar ages and multiplicity, forming a multi-dimensional dataset that will allow us to explore and constrain the origin and structure of the Milky Way.


title: 4MOST Consortium Survey 5: eROSITA Galaxy Cluster Redshift Survey

abstract: Groups and clusters of galaxies are a current focus of astronomical research owing to their role in determining the environmental effects on galaxies and the constraints they provide to cosmology. The eROSITA X-ray telescope on board the Spectrum Roentgen Gamma observatory will be launched in 2019 and will have completed eight scans of the full sky when 4MOST starts operating. The experiment will detect groups and clusters of galaxies through X-ray emission from the hot intergalactic medium. The purpose of the 4MOST eROSITA Galaxy Cluster Redshift Survey is to provide spectroscopic redshifts of the optical counterparts to the X-ray emission from 40,000 groups and clusters of galaxies so as to perform dynamical estimates of the total mass and to measure the properties of the member galaxies. The survey aims to obtain precise redshift measurements of the photometrically identified brightest cluster galaxies at redshift $z > 0.7$. At lower redshifts ($z < 0.7$), the programme aims to sample over 15 member galaxies per cluster and enable dynamical mass measurements to calibrate the clusters for cosmological experiments. At $z < 0.2$, eROSITA will also detect X-ray emission from galaxy groups and filaments. 4MOST spectroscopic data from the survey will be used for optical identification of galaxy groups down to eROSITA's mass detection limits of $10^{13} M_\odot$, as well as the detection of the largest filaments for pioneering studies of their X-ray emission.


title: 4MOST Consortium Survey 6: Active Galactic Nuclei

abstract: X-ray and mid-infrared emission are signposts of the accretion of matter onto the supermassive black holes that reside at the centres of most galaxies. As a major step towards understanding accreting supermassive black holes and their role in the evolution of galaxies, we will use the 4MOST multi-object spectrograph to provide a highly complete census of active galactic nuclei over a large fraction of the extragalactic sky observed in X-rays by eROSITA that is visible to 4MOST. We will systematically follow up all eROSITA point-like extragalactic X-ray sources (mostly active galactic nuclei), and complement them with a heavily obscured active galactic nuclei selection approach using mid-infrared data from the Wide-field Infrared Survey Explorer (WISE). The X-ray and mid-infrared flux limits of eROSITA and WISE are well matched to the spectroscopic capabilities of a 4-metre-class telescope, allowing us to reach completeness levels of ~80-90% for all X-ray selected active galactic nuclei with fluxes $f_{0.5-2\ {\rm keV}} > 10^{-14}$ erg s$^{-1}$ cm$^{-2}$; this is about a factor of 30 deeper than the ROSAT all-sky survey. With these data we will determine the physical properties (redshift, luminosity, line emission strength, masses, etc.) of up to one million supermassive black holes, constrain their cosmic evolution and clustering properties, and explore the connection between active galactic nuclei and large-scale structure over redshifts $0 \le z \le 6$.


title: 4MOST Consortium Survey 7: Wide-Area VISTA Extragalactic Survey (WAVES)

abstract: WAVES is designed to study the growth of structure, mass and energy on scales of ~1 kpc to ~10 Mpc over a 7 Gyr timeline. On the largest length scales (1-10 Mpc) WAVES will measure the structures defined by groups, filaments and voids, and their emergence over recent times. Comparisons with bespoke numerical simulations will be used to confirm, refine or refute the Cold Dark Matter paradigm. At intermediate length scales (10 kpc-1 Mpc) WAVES will probe the size and mass distribution of galaxy groups, as well as the galaxy merger rates, in order to directly measure the assembly of dark matter halos and stellar mass. On the smallest length scales (1-10 kpc) WAVES will provide accurate distance and environmental measurements to complement high-resolution space-based imaging to study the mass and size evolution of galaxy bulges, discs and bars. In total, WAVES will provide a panchromatic legacy dataset of ~1.6 million galaxies, firmly linking the very low ($z < 0.1$) and intermediate ($z \sim 0.8$) redshift Universe.


title: 4MOST Consortium Survey 8: Cosmology Redshift Survey (CRS)

abstract: The 4MOST Cosmology Redshift Survey (CRS) will perform stringent cosmological tests via spectroscopic clustering measurements that will complement the best lensing, cosmic microwave background and other surveys in the southern hemisphere. The combination of carefully selected samples of bright galaxies, luminous red galaxies, emission-line galaxies and quasars, totalling about 8 million objects over the redshift range $z = 0.15$ to $3.5$, will allow definitive tests of gravitational physics. Many key science questions will be addressed by combining CRS spectra of these targets with data from current or future facilities such as the Large Synoptic Survey Telescope, the Square Kilometre Array and the Euclid mission.


title: 4MOST Consortium Survey 9: One Thousand and One Magellanic Fields (1001MC)

abstract: The One Thousand and One Magellanic Fields (1001MC) survey aims to measure the kinematics and elemental abundances of many different stellar populations that sample the history of formation and interaction of the Magellanic Clouds. The survey will collect spectra of about half a million stars with $G < 19.5$ magnitudes (Vega) distributed over an area of about 1000 square degrees and will provide an invaluable dataset for a wide range of scientific applications.


title: 4MOST Consortium Survey 10: The Time-Domain Extragalactic Survey (TiDES)

abstract: The Time-Domain Extragalactic Survey (TiDES) is focused on the spectroscopic follow-up of extragalactic optical transients and variable sources selected from forthcoming large sky surveys such as that from the Large Synoptic Survey Telescope (LSST). TiDES contains three sub-surveys: (i) spectroscopic observations of supernova-like transients; (ii) comprehensive follow-up of transient host galaxies to obtain redshift measurements for cosmological applications; and (iii) repeat spectroscopic observations to enable the reverberation mapping of active galactic nuclei. Our simulations predict we will be able to classify transients down to $r = 22.5$ magnitudes (AB) and, over five years of 4MOST operations, obtain spectra for up to 30,000 live transients to redshift $z \sim 0.5$, measure redshifts for up to 50,000 transient host galaxies to $z \sim 1$ and monitor around 700 active galactic nuclei to $z \sim 2.5$.


title: Cornering top-philic dark matter with colliders and cosmology: the importance of QCD corrections

abstract: Constraining dark matter models necessitates accurate predictions for large set of observables originating from collider physics, cosmology and astrophysics. We consider two classes of top-philic dark matter models where the dark sector is coupled to the Standard Model via the top quark and study the complementarity of dark matter relic density, direct and indirect detection and collider searches in exploring the model parameter space. We moreover investigate how higher-order corrections affect the results.


title: A comparison of box and Carleson conditions on bi-trees

abstract: In this note we give an example of measure satisfying the box condition on certain sub-bi-trees (see below) but not satisfying Carleson condition on those sub-bi-trees. This can be considered as a certain counterexample for two weight bi-parameter embedding of Carleson type. Our type of counterexample is impossible for a simple tree. In the case of a simple tree, the box condition, Carleson condition and two weight embedding are all equivalent. In the last section we show that bi-parameter box condition implies the bi-parameter capacitary estimate for dyadic rectangles.