title: QuerTCI: A Tool Integrating GitHub Issue Querying with Comment Classification

abstract: Empirical Software Engineering (ESE) researchers study (open-source) project issues and the comments and threads within to discover -- among others -- challenges developers face when incorporating new technologies, platforms, and programming language constructs. However, such threads accumulate, becoming unwieldy and hindering any insight researchers may gain. While existing approaches alleviate this burden by classifying issue thread comments, there is a gap between searching popular open-source software repositories (e.g., those on GitHub) for issues containing particular keywords and feeding the results into a classification model. This paper demonstrates a research infrastructure tool called QuerTCI that bridges this gap by integrating the GitHub issue comment search API with the classification models found in existing approaches. Using queries, ESE researchers can retrieve GitHub issues containing particular keywords, e.g., those related to a specific programming language construct, and, subsequently, classify the discussions occurring in those issues. We hope ESE researchers can use our tool to uncover challenges related to particular technologies using specific keywords through popular open-source repositories more seamlessly than previously possible. A tool demonstration video may be found at: https://youtu.be/fADKSxn0QUk.


title: Tutorial: Macroscopic QED and vacuum forces

abstract: This tutorial introduces the theory of macroscopic QED, where a Hamiltonian is found that represents the electromagnetic field interacting with a dispersive, dissipative material. Using a one dimensional theory as motivation, we build up the more cumbersome three dimensional theory. Then considering the extension of this theory to moving materials, where the material response changes due to both the Doppler effect and the mixing of electric and magnetic responses, it is shown that one gets the theory of quantum electromagnetic forces for free. We finish by applying macroscopic QED to reproduce Pendry's expression for the quantum friction force between sliding plates.


title: Residual-based error estimation and adaptivity for stabilized immersed isogeometric analysis using truncated hierarchical B-splines

abstract: We propose an adaptive mesh refinement strategy for immersed isogeometric analysis, with application to steady heat conduction and viscous flow problems. The proposed strategy is based on residual-based error estimation, which has been tailored to the immersed setting by the incorporation of appropriately scaled stabilization and boundary terms. Element-wise error indicators are elaborated for the Laplace and Stokes problems, and a THB-spline-based local mesh refinement strategy is proposed. The error estimation .and adaptivity procedure is applied to a series of benchmark problems, demonstrating the suitability of the technique for a range of smooth and non-smooth problems. The adaptivity strategy is also integrated in a scan-based analysis workflow, capable of generating reliable, error-controlled, results from scan data, without the need for extensive user interactions or interventions.


title: Linear Tur\'{a}n numbers of acyclic quadruple systems

abstract: A linear $r$-uniform hypergraph is called acycilc if it can be constructed starting from one single edge then at each step adding a new edge that intersect the union of the vertices of the previous edges in at most one vertex. Recently, Gy\'{a}rf\'{a}s, Ruszink\'{o} and S\'{a}rk\''{o}zy initiated the study of the linear Tur\'{a}n numbers of acyclic linear triple systems. In this paper, we extend their results to linear quadruple systems. Here, we concentrate on small trees, paths and matchings. For the case of small trees, we find that for a linear tree $T$, $ex^{lin}_{4}(n,T)$ relates to difficult problems on Steiner system $S(2,4,n)$ For example, we show that $ex^{lin}_{4}(n, P_4)\le \frac{5n}{4}$ with equality holds if and only if the linear quadruple system is the disjoint union of $S(2,4,16)$. Denote by $E^{+}_{4}$ the linear tree consisting of three pairwise disjoint quadruples and a fourth one intersecting all of them. We prove that $12\lfloor\frac{n-4}{9}\rfloor\le ex^{lin}_{4}(n, E^{+}_4)\le \frac{14(n-s)}{9}$, where $s$ is the number of vertices in $G$ with degree at least 8. Denote by $M_k$ and $P_k$ the set of $k$ pairwise disjoint quadruples and the linear path with $k$ quadruples, respectively. For the case of paths, we show that $ex^{lin}_{4}(n, P_k)\le 2.5kn$. For the case of matchings, we prove that for fixed $k$ and sufficiently large $n$, $ex^{lin}_{4}(n, M_k)=g(n,k)$ where $g(n,k$) denotes the maximum number of quadruples that can intersect $k-1$ vertices in a linear quadruple system on $n$ vertices.


title: Mapping molecular complexes with Super-Resolution Microscopy and Single-Particle Analysis

abstract: Understanding the structure of supramolecular complexes provides insight into their functional capabilities and how they can be modulated in the context of disease. Super-resolution microscopy (SRM) excels in performing this task by resolving ultrastructural details at the nanoscale with molecular specificity. However, technical limitations, such as underlabelling, preclude its ability to provide complete structures. Single-particle analysis (SPA) overcomes this limitation by combining information from multiple images of identical structures and producing an averaged model, effectively enhancing the resolution and coverage of image reconstructions. This review highlights important studies using SRM-SPA, demonstrating how it broadens our knowledge by elucidating features of key biological structures with unprecedented detail.


title: Can DtN and GenEO coarse spaces be sufficiently robust for heterogeneous Helmholtz problems?

abstract: Numerical solution of heterogeneous Helmholtz problems presents various computational challenges, with descriptive theory remaining out of reach for many popular approaches. Robustness and scalability are key for practical and reliable solvers in large-scale applications, especially for large wave number problems. In this work we explore the use of a GenEO-type coarse space to build a two-level additive Schwarz method applicable to highly indefinite Helmholtz problems. Through a range of numerical tests on a 2D model problem, discretised by finite elements on pollution-free meshes, we observe robust convergence, iteration counts that do not increase with the wave number, and good scalability of our approach. We further provide results showing a favourable comparison with the DtN coarse space. Our numerical study shows promise that our solver methodology can be effective for challenging heterogeneous applications.


title: On the random Chowla conjecture

abstract: We show that for a Steinhaus random multiplicative function $f:\mathbb{N}\to\mathbb{D}$ and any polynomial $P(x)\in\mathbb{Z}[x]$ of $\text{deg}\ P\ge 2$ which is not of the form $w(x+c)^{d}$ for some $w\in \mathbb{Z}$, $c\in \mathbb{Q}$, we have \[\frac{1}{\sqrt{x}}\sum_{n\le x} f(P(n)) \xrightarrow{d} \mathcal{CN}(0,1),\] where $\mathcal{CN}(0,1)$ is the standard complex Gaussian distribution with mean $0$ and variance $1.$ This confirms a conjecture of Najnudel in a strong form. We further show that there almost surely exist arbitrary large values of $x\ge 1,$ such that $$|\sum_{n\le x} f(P(n))| \gg_{\text{deg}\ P} \sqrt{x} (\log \log x)^{1/2},$$ for any polynomial $P(x)\in\mathbb{Z}[x]$ with $\text{deg}\ P\ge 2,$ which is not a product of linear factors (over $\mathbb{Q}$). This matches the bound predicted by the law of the iterated logarithm. Both of these results are in contrast with the well-known case of linear phase $P(n)=n,$ where the partial sums are known to behave in a non-Gaussian fashion and the corresponding sharp fluctuations are speculated to be $O(\sqrt{x}(\log \log x)^{\frac{1}{4}+\varepsilon})$ for any $\varepsilon>0$.


title: Asymptotic symmetries in Carrollian theories of gravity with a negative cosmological constant

abstract: Asymptotic symmetries of electric and magnetic Carrollian gravitational theories with a negative cosmological constant $\Lambda$ are analyzed in 3+1 space-time dimensions. In the magnetic theory, the asymptotic symmetry algebra is given by the conformal Carroll algebra in three dimensions, which is infinite-dimensional and isomorphic to the BMS$_{4}$ algebra. These results are in full agreement with holographic expectations, providing a new framework for the study of "Carrollian holography." On the contrary, in the case of the electric theory, the presence of a negative $\Lambda$ turns out to be incompatible with a consistent set of asymptotic conditions, that can be traced back to the absence of a sensible ground state configuration. This can be improved if the Carrollian theory obtained from an electric contraction of Euclidean General Relativity is considered. In this case, asymptotic conditions can be constructed with an asymptotic symmetry algebra given by $so\left(1,4\right)$. However, it is shown that the space of spherically symmetric solutions of this theory is degenerate.


title: Neutron interference from a split-crystal interferometer

abstract: We report the first successful operation of a neutron interferometer having a separate beam recombining crystal. We achieved this result at the neutron interferometry setup S18 at the ILL in Grenoble by a collaboration between TU Wien, ILL Grenoble and INRIM Torino. While previous interferometers were machined out of a single crystal block, we managed to align two crystals on nanoradian and picometer scales, as required to obtain neutron interference. As a decisive proof of principle demonstration, it opens the door to a new generation of neutron interferometers and exciting applications.


title: Proposal for transduction between microwave and optical photons using $\mathrm{^{167}Er}$-doped yttrium orthosilicate

abstract: Efficient transduction devices that reversibly convert optical and microwave quantum signals into each other are essential for integrating different technologies. Rare-earth ions in solids, and in particular Erbium ions, with both optical and microwave addressable transitions are promising candidates for designing transducers. We propose a microwave-to-optical quantum transducer scheme based on the dark state protocol in $\mathrm{^{167}Er}$ doped into yttrium orthosilicate (YSO) at zero external magnetic fields. Zero-field operation is beneficial for superconducting resonators that can incur extra losses in magnetic fields. By calculating the fidelity and efficiency of the transducer, considering the most important imperfections, we show that an efficient conversion is possible with a high fidelity. We also investigate the microwave transitions of $\mathrm{^{167}Er}$:YSO that can be used for the transducer protocol.


title: Realistic Blur Synthesis for Learning Image Deblurring

abstract: Training learning-based deblurring methods demands a tremendous amount of blurred and sharp image pairs. Unfortunately, existing synthetic datasets are not realistic enough, and deblurring models trained on them cannot handle real blurred images effectively. While real datasets have recently been proposed, they provide limited diversity of scenes and camera settings, and capturing real datasets for diverse settings is still challenging. To resolve this, this paper analyzes various factors that introduce differences between real and synthetic blurred images. To this end, we present RSBlur, a novel dataset with real blurred images and the corresponding sharp image sequences to enable a detailed analysis of the difference between real and synthetic blur. With the dataset, we reveal the effects of different factors in the blur generation process. Based on the analysis, we also present a novel blur synthesis pipeline to synthesize more realistic blur. We show that our synthesis pipeline can improve the deblurring performance on real blurred images.


title: A Survey of Knowledge-Intensive NLP with Pre-Trained Language Models

abstract: With the increasing of model capacity brought by pre-trained language models, there emerges boosting needs for more knowledgeable natural language processing (NLP) models with advanced functionalities including providing and making flexible use of encyclopedic and commonsense knowledge. The mere pre-trained language models, however, lack the capacity of handling such knowledge-intensive NLP tasks alone. To address this challenge, large numbers of pre-trained language models augmented with external knowledge sources are proposed and in rapid development. In this paper, we aim to summarize the current progress of pre-trained language model-based knowledge-enhanced models (PLMKEs) by dissecting their three vital elements: knowledge sources, knowledge-intensive NLP tasks, and knowledge fusion methods. Finally, we present the challenges of PLMKEs based on the discussion regarding the three elements and attempt to provide NLP practitioners with potential directions for further research.


title: Experimental observations on interaction between a root and droplets in relation to aeroponic agriculture

abstract: Aeroponics or Soil-less agriculture is a relatively new and recent type of practice, where plants are grown without soil while nutrient-rich water is provided via an atomized spray system to the suspended roots. Spray nozzles are easy-to-use in supplying water (and fertilizers) to (mainly) the roots and root hairs of the desired crop (or plant) for production. We characterize a spray nozzle delivering water vertically above against the gravity by measuring, experimentally, its (a) spray drift, (b) spray height, (c) maximum spray angle, (d) spray width, and (e) droplets sizes. Experiments were carried out at different inlet pressures and a majority of the above mentioned parameters were obtained by processing the images captured using optical (or high speed) camera, sometimes along a plane lighted by a high-power laser source. We also studied the spray (or jet) behaviour at different vertical heights and different horizontal planes using a unique polythene sponge method. We studied the mass flow rate, the absorption rate, and droplet size dynamics (as a function of time and pressure) using this method. The water drop/droplet interaction was also studied in the case of simpler porous and impervious surfaces as well. We believe that this study can be extrapolated to other nozzles (especially sprays) to obtain similar characteristic parameters. This study, hence, is critical in selecting the desired spray system for a given canopy and is also expected to be of some use in controlled agricultural practices such as in greenhouses and apartment rooms.


title: mmWave Communications for Indoor Dense Spaces: Ray-Tracing Based Channel Characterization and Performance Comparison

abstract: In this paper, the indoor dense space (IDS) channel at 28 GHz is characterized through extensive Ray-Tracing (RT) simulations. We consider IDS as a specific type of indoor environment with confined geometry and packed with humans, such as aircraft cabins and train wagons. Based on RT simulations, we characterize path loss, shadow fading, root-mean-square delay spread, Rician K-factor, azimuth/elevation angular spread of arrival/departure considering different RT simulation scenarios of the fuselage geometry, material, and human presence. While the large-scale fading parameters are similar to the state-of-the-art channel models, the small-scale fading parameters demonstrate richer multipath scattering in IDS, resulting in poorer bit error rate performance in comparison to the 3GPP indoor channel model.


title: Almost-Riemannian manifolds do not satisfy the $\mathsf{CD}$ condition

abstract: The Lott-Sturm-Villani curvature-dimension condition $\mathsf{CD}(K,N)$ provides a synthetic notion for a metric-measure space to have curvature bounded from below by $K$ and dimension bounded from above by $N$. It was proved by Juillet that a large class of \sr manifolds do not satisfy the $\mathsf{CD}(K,N)$ condition, for any $K\in\mathbb R$ and $N\in(1,\infty)$. However, his result does not cover the case of almost-Riemannian manifolds. In this paper, we address the problem of disproving the $\mathsf{CD}$ condition in this setting, providing a new strategy which allows us to contradict the $1$-dimensional version of the $\mathsf{CD}$ condition. In particular, we prove that $2$-dimensional almost-Riemannian manifolds and strongly regular almost-Riemannian manifolds do not satisfy the $\mathsf{CD}(K,N)$ condition for any $K\in\mathbb R$ and $N\in(1,\infty)$.


title: Machine Learning Approaches to Solar-Flare Forecasting: Is Complex Better?

abstract: Recently, there has been growing interest in the use of machine-learning methods for predicting solar flares. Initial efforts along these lines employed comparatively simple models, correlating features extracted from observations of sunspot active regions with known instances of flaring. Typically, these models have used physics-inspired features that have been carefully chosen by experts in order to capture the salient features of such magnetic field structures. Over time, the sophistication and complexity of the models involved has grown. However, there has been little evolution in the choice of feature sets, nor any systematic study of whether the additional model complexity is truly useful. Our goal is to address these issues. To that end, we compare the relative prediction performance of machine-learning-based, flare-forecasting models with varying degrees of complexity. We also revisit the feature set design, using topological data analysis to extract shape-based features from magnetic field images of the active regions. Using hyperparameter training for fair comparison of different machine-learning models across different feature sets, we show that simpler models with fewer free parameters \textit{generally perform better than more-complicated models}, ie., powerful machinery does not necessarily guarantee better prediction performance. Secondly, we find that \textit{abstract, shape-based features contain just as much useful information}, for the purposes of flare prediction, as the set of hand-crafted features developed by the solar-physics community over the years. Finally, we study the effects of dimensionality reduction, using principal component analysis, to show that streamlined feature sets, overall, perform just as well as the corresponding full-dimensional versions.


title: The Column Densities of Molecular Gas across Cosmic Time: Bridging Observations and Simulations

abstract: Observations of the cosmic evolution of different gas phases across time indicate a marked increase in the molecular gas mass density towards $z\sim 2-3$. Such a transformation implies an accompanied change in the global distribution of molecular hydrogen column densities ($N_{\rm{H_2}}$). Using observations by PHANGS-ALMA/SDSS and simulations by GRIFFIN/IllustrisTNG we explore the evolution of this H$_2$ column density distribution function [$f(N_{\rm{H}_2})$]. The H$_2$ (and HI) column density maps for TNG50 and TNG100 are derived in post-processing and are made available through the IllustrisTNG online API. The shape and normalization of $f(N_{\rm{H}_2})$ of individual main-sequence star-forming galaxies are correlated with the star formation rate (SFR), stellar mass (${M_*}$), and H$_2$ mass ($M_{\rm{H}_2}$) in both observations and simulations. TNG100, combined with H$_2$ post-processing models, broadly reproduces observations, albeit with differences in slope and normalization. Also, an analytically modelled $f(N)$, based on exponential gas disks, matches well with the simulations. The GRIFFIN simulation gives first indications that the slope of $f(N_{\rm{H}_2})$ might not majorly differ when including non-equilibrium chemistry in simulations. The $f(N_{\rm{H}_2})$ by TNG100 implies that higher molecular gas column densities are reached at $z=3$ than at $z=0$. Further, denser regions contribute more to the molecular mass density at $z=3$. Finally, H$_2$ starts dominating compared to HI only at column densities above log($N_{\rm{H}_2} / \rm{cm}^{-2}) \sim 21.8-22$ at both redshifts. These results imply that neutral atomic gas is an important contributor to the overall cold gas mass found in the ISM of galaxies including at densities typical for molecular clouds at $z=0$ and $z=3$.


title: VETTAM: A scheme for radiation hydrodynamics with adaptive mesh refinement using the variable Eddington tensor method

abstract: We present Variable Eddington Tensor-closed Transport on Adaptive Meshes (\texttt{VETTAM}), a new algorithm to solve the equations of radiation hydrodynamics (RHD) with support for adaptive mesh refinement (AMR) in a frequency-integrated, two-moment formulation. The method is based on a non-local Variable Eddington Tensor (VET) closure computed with a hybrid characteristics scheme for ray tracing. We use a Godunov method for the hyperbolic transport of radiation with an implicit backwards-Euler temporal update to avoid the explicit timestep constraint imposed by the light-crossing time, and a fixed-point Picard iteration scheme to handle the nonlinear gas-radiation exchange term, with the two implicit update stages jointly iterated to convergence. We also develop a modified wave-speed correction method for AMR, which we find to be crucial for obtaining accurate results in the diffusion regime. We demonstrate the robustness of our scheme with a suite of pure radiation and RHD tests, and show that it successfully captures the streaming, static diffusion, and dynamic diffusion regimes and the spatial transitions between them, casts sharp shadows, and yields accurate results for rates of momentum and energy exchange between radiation and gas. A comparison between different closures for the radiation moment equations, with the Eddington approximation (0th-moment closure) and the $M_1$ approximation (1st-moment closure), demonstrates the advantages of the VET method (2nd-moment closure) over the simpler closure schemes. \texttt{VETTAM} has been coupled to the AMR \texttt{FLASH} (magneto-)hydrodynamics code and we summarize by reporting performance features and bottlenecks of our implementation.


title: Spiral Trajectories for Building Inspection with Quadrotors

abstract: Inspection of large building is an important task since it can prevent material and human losses. A cheap and fast way to do the inspections is by sensors mounted on quadrotor vehicles. The challenge here is to compute a trajectory so that the building is completely observed while this same trajectory can be followed by the quadrotor in a smooth way. To address the problem, we propose a method that receives a 2.5D model of the target building and computes a smooth trajectory that can be followed by the quadrotor controller. The computed trajectory is a Fourier series that matches the desired behaviour. Our method has been tested in simulation and we have compared it against polynomial trajectories. Our result show that the method is efficient and can be applied to different building shapes.


title: Selling Information in Competitive Environments

abstract: Data buyers compete in a game of incomplete information about which a single data seller owns some payoff-relevant information. The seller faces a joint information- and mechanism-design problem: deciding which information to sell, while eliciting the buyers' types and imposing payments. We derive the welfare- and revenue-optimal mechanisms for a class of games with binary actions and states. Our results highlight the critical properties of selling information in competitive environments: (i) the negative externalities arising from buyer competition increase the profitability of recommending the correct action to one buyer exclusively; (ii) for the buyers to follow the seller's recommendations, the degree of exclusivity must be limited; (iii) the buyers' obedience constraints also limit the distortions in the allocation of information introduced by a monopolist seller; (iv) as competition becomes fiercer, these limitations become more severe, weakening the impact of market power on the allocation of information.


title: Commentary: analyzing binary data using MCPMod when zero counts are expected

abstract: Bretz et al (2005) proposed multiple Comparison Procedure and Modeling (MCPMod) method to design and analyze dose-finding study. Pinheiro (2014) then generalized it to various types of endpoint, including but not limited to binary endpoint, survival endpoint, count data, and longitudinal data. Pinheiro (2013) recommended to use the estimated covariance matrix from the observed data to recalculate the optimal contrast and the critical value of the test For many phase II studies it is common to have small sample sizes per arm with low placebo response rates jointly. Under such circumstances, it cannot be excluded to have a zero count observed. For example, when the placebo response rate is 10%, there is about 4% chance to observe zero responders in the placebo group, or other dose group(s), which has a similar response rate as placebo. In this manuscript, we would like to illustrate the potential problem of Pinheiro (2013) using a case study and simulations. An alternative method using Firth's logistic regression was evaluated to get a stable estimate of response for each dose group. In addition, we evaluated two options to address the issue with problematic contrast coefficients.


title: Polynomial orbits in totally minimal systems

abstract: Inspired by the recent work of Glasner, Huang, Shao, Weiss and Ye, we prove that the maximal $\infty$-step pro-nilfactor $X_\infty$ of a minimal system $(X,T)$ is the topological characteristic factor along polynomials in a certain sense. Namely, we show that by an almost one to one modification of $\pi:X\to X_\infty$, the induced open extension $\pi^*:X^*\to X_\infty^*$ has the following property: for any $d\in \mathbb{N}$, any open subsets $V_0,V_1,\ldots,V_d$ of $X^*$ with $\bigcap_{i=0}^d \pi^*(V_i)\neq \emptyset$ and any distinct non-constant integer polynomials $p_i$ with $p_i(0)=0$ for $i=1,\ldots,d$, there exists some $n\in \mathbb{Z}$ such that $V_0\cap T^{-p_1(n)}V_1\cap \ldots \cap T^{-p_d(n)}V_d \neq \emptyset$. where an integer polynomial is the polynomial with rational coefficients taking integer values on the integers. As an application, the following result is obtained: for a totally minimal system $(X,T)$ and integer polynomials $p_1,\ldots,p_d$, if every non-trivial integer combination of $p_1,\ldots,p_d$ is not constant, then there is a dense $G_\delta$ subset $\Omega$ of $ X$ such that the set \[ \{(T^{p_1(n)}x,\ldots, T^{p_d(n)}x):n\in \mathbb{Z}\} \] is dense in $X^d$ for every $x\in \Omega$.


title: On the Northcott property of zeta functions over function fields

abstract: Pazuki and Pengo defined a Northcott property for special values of zeta functions of number fields and certain motivic $L$-functions. We determine the values for which the Northcott property holds over function fields with constant field $\mathbb{F}_q$ outside the critical strip. We then use a case by case approach for some values inside the critical strip, notably $Re (s) < \frac{1}{2} - \frac{\log 2}{\log q}$ and for $s$ real such that $1/2 \leq s \leq 1$, and we obtain a partial result for complex $s$ in the case $1/2< Re(s)\leq 1$ using recent advances on the Shifted Moments Conjecture over function fields.


title: The role of slow magnetostrophic waves in the formation of the axial dipole in planetary dynamos

abstract: The preference for the axial dipole in planetary dynamos is investigated through the analysis of wave motions in spherical dynamo models. Our study focuses on the role of slow magnetostrophic waves, which are generated from localized balances between the Lorentz, Coriolis and buoyancy (MAC) forces. Since the slow waves are known to intensify with increasing field strength, simulations in which the field grows from a small seed towards saturation are useful in understanding the role of these waves in dynamo action. Axial group velocity measurements in the energy-containing scales show that fast inertial waves slightly modified by the magnetic field and buoyancy are dominant under weak fields. However, the dominance of the slow waves is evident for strong fields satisfying $|\omega_M/\omega_C| \sim $ 0.1, where $\omega_M$ and $\omega_C$ are the frequencies of the Alfv\'en and inertial waves respectively. A MAC wave window of azimuthal wavenumbers is identified wherein helicity generation by the slow waves strongly correlates with dipole generation. Analysis of the magnetic induction equation suggests a poloidal--poloidal field conversion in the formation of the dipole. Finally, the attenuation of slow waves may result in polarity reversals in a strongly driven Earth's core.


title: Hunting extreme BL Lacertae blazars with Fermi-LAT

abstract: The emission of very-high-energy photons (VHE, E>100 GeV$) in blazars is closely connected to the production of ultra-relativistic particles and the role of these gamma-ray sources as cosmic particle accelerators. This work focuses on a selection of 22 gamma-ray objects from the 2BIGB catalog of high-synchrotron-peaked sources, which are classified as blazar candidates of uncertain type in the 4FGL-DR2 catalog. We study these sources by means of a re-analysis of the first 10 years of gamma-ray data taken with the Fermi Large Area Telescope, including the attenuation by the extragalactic background light. Their broadband spectral energy distributions are also evaluated, using multi-wavelength archival data in the radio, optical, and X-ray bands, in terms of one-zone synchrotron-self-Compton models, adding an external Compton component when needed. Out of this analysis, we identify 17 new extreme high-synchrotron-peaked (EHSP) candidates and compare their physical parameters with those of prototypical EHSP blazars. Finally, the resulting models are used to assess their detectability by the present and future generation of ground-based imaging atmospheric Cherenkov telescopes. We find two VHE candidates within the reach of the current and next generation of Cherenkov telescopes: J0847.0-2336 and J1714.0-2029.


title: Refined Convergence Rates for Maximum Likelihood Estimation under Finite Mixture Models

abstract: We revisit the classical problem of deriving convergence rates for the maximum likelihood estimator (MLE) in finite mixture models. The Wasserstein distance has become a standard loss function for the analysis of parameter estimation in these models, due in part to its ability to circumvent label switching and to accurately characterize the behaviour of fitted mixture components with vanishing weights. However, the Wasserstein distance is only able to capture the worst-case convergence rate among the remaining fitted mixture components. We demonstrate that when the log-likelihood function is penalized to discourage vanishing mixing weights, stronger loss functions can be derived to resolve this shortcoming of the Wasserstein distance. These new loss functions accurately capture the heterogeneity in convergence rates of fitted mixture components, and we use them to sharpen existing pointwise and uniform convergence rates in various classes of mixture models. In particular, these results imply that a subset of the components of the penalized MLE typically converge significantly faster than could have been anticipated from past work. We further show that some of these conclusions extend to the traditional MLE. Our theoretical findings are supported by a simulation study to illustrate these improved convergence rates.


title: Newton-like components in the Chebyshev-Halley family of degree $n$ polynomials

abstract: We study the Cebyshev-Halley methods applied to the family of polynomials $f_{n,c}(z)=z^n+c$, for $n\ge 2$ and $c\in \mathbb{C}^{*}$. We prove the existence of parameters such that the immediate basins of attraction corresponding to the roots of unity are infinitely connected. We also prove that, for $n \ge 2$, the corresponding dynamical plane contains a connected component of the Julia set, which is a quasiconformal deformation of the Julia set of the map obtained by applying Newton's method to $f_{n,-1}$.


title: Global Convergence of Sub-gradient Method for Robust Matrix Recovery: Small Initialization, Noisy Measurements, and Over-parameterization

abstract: In this work, we study the performance of sub-gradient method (SubGM) on a natural nonconvex and nonsmooth formulation of low-rank matrix recovery with $\ell_1$-loss, where the goal is to recover a low-rank matrix from a limited number of measurements, a subset of which may be grossly corrupted with noise. We study a scenario where the rank of the true solution is unknown and over-estimated instead. The over-estimation of the rank gives rise to an over-parameterized model in which there are more degrees of freedom than needed. Such over-parameterization may lead to overfitting, or adversely affect the performance of the algorithm. We prove that a simple SubGM with small initialization is agnostic to both over-parameterization and noise in the measurements. In particular, we show that small initialization nullifies the effect of over-parameterization on the performance of SubGM, leading to an exponential improvement in its convergence rate. Moreover, we provide the first unifying framework for analyzing the behavior of SubGM under both outlier and Gaussian noise models, showing that SubGM converges to the true solution, even under arbitrarily large and arbitrarily dense noise values, and--perhaps surprisingly--even if the globally optimal solutions do not correspond to the ground truth. At the core of our results is a robust variant of restricted isometry property, called Sign-RIP, which controls the deviation of the sub-differential of the $\ell_1$-loss from that of an ideal, expected loss. As a byproduct of our results, we consider a subclass of robust low-rank matrix recovery with Gaussian measurements, and show that the number of required samples to guarantee the global convergence of SubGM is independent of the over-parameterized rank.


title: Hamilton-Jacobi equations on graphs with applications to semi-supervised learning and data depth

abstract: Shortest path graph distances are widely used in data science and machine learning, since they can approximate the underlying geodesic distance on the data manifold. However, the shortest path distance is highly sensitive to the addition of corrupted edges in the graph, either through noise or an adversarial perturbation. In this paper we study a family of Hamilton-Jacobi equations on graphs that we call the $p$-eikonal equation. We show that the $p$-eikonal equation with $p=1$ is a provably robust distance-type function on a graph, and the $p\to \infty$ limit recovers shortest path distances. While the $p$-eikonal equation does not correspond to a shortest-path graph distance, we nonetheless show that the continuum limit of the $p$-eikonal equation on a random geometric graph recovers a geodesic density weighted distance in the continuum. We consider applications of the $p$-eikonal equation to data depth and semi-supervised learning, and use the continuum limit to prove asymptotic consistency results for both applications. Finally, we show the results of experiments with data depth and semi-supervised learning on real image datasets, including MNIST, FashionMNIST and CIFAR-10, which show that the $p$-eikonal equation offers significantly better results compared to shortest path distances.


title: Twisted multilayer nodal superconductors

abstract: Twisted bilayers of nodal superconductors were recently proposed as a promising platform to host superconducting phases that spontaneously break time-reversal symmetry. Here we extend this analysis to twisted multilayers, focusing on two high-symmetry stackings with alternating ($\pm \theta$) and constant ($\theta$) twist angles. In analogy to alternating-twist multilayer graphene, the former can be mapped to twisted bilayers with renormalized interlayer couplings, along with a remnant gapless monolayer when the number of layers $L$ is odd. In contrast, the latter exhibits physics beyond twisted bilayers, including the occurrence of `magic angles' characterized by cubic band crossings when $L \mod 4 = 3$. Owing to their power-law divergent density of states, such multilayers are highly susceptible to secondary instabilities. Within a BCS mean-field theory, defined in the continuum and on a lattice, we find that both stackings host chiral topological superconductivity in extended regions of their phase diagrams.


title: cosFormer: Rethinking Softmax in Attention

abstract: Transformer has shown great successes in natural language processing, computer vision, and audio processing. As one of its core components, the softmax attention helps to capture long-range dependencies yet prohibits its scale-up due to the quadratic space and time complexity to the sequence length. Kernel methods are often adopted to reduce the complexity by approximating the softmax operator. Nevertheless, due to the approximation errors, their performances vary in different tasks/corpus and suffer crucial performance drops when compared with the vanilla softmax attention. In this paper, we propose a linear transformer called cosFormer that can achieve comparable or better accuracy to the vanilla transformer in both casual and cross attentions. cosFormer is based on two key properties of softmax attention: i). non-negativeness of the attention matrix; ii). a non-linear re-weighting scheme that can concentrate the distribution of the attention matrix. As its linear substitute, cosFormer fulfills these properties with a linear operator and a cosine-based distance re-weighting mechanism. Extensive experiments on language modeling and text understanding tasks demonstrate the effectiveness of our method. We further examine our method on long sequences and achieve state-of-the-art performance on the Long-Range Arena benchmark. The source code is available at https://github.com/OpenNLPLab/cosFormer.


title: Seeing Like a Toolkit: How Toolkits Envision the Work of AI Ethics

abstract: Numerous toolkits have been developed to support ethical AI development. However, toolkits, like all tools, encode assumptions in their design about what work should be done and how. In this paper, we conduct a qualitative analysis of 27 AI ethics toolkits to critically examine how the work of ethics is imagined and how it is supported by these toolkits. Specifically, we examine the discourses toolkits rely on when talking about ethical issues, who they imagine should do the work of ethics, and how they envision the work practices involved in addressing ethics. Among the toolkits, we identify a mismatch between the imagined work of ethics and the support the toolkits provide for doing that work. In particular, we identify a lack of guidance around how to navigate labor, organizational, and institutional power dynamics as they relate to performing ethical work. We use these omissions to chart future work for researchers and designers of AI ethics toolkits.


title: Multi-Channel Speech Denoising for Machine Ears

abstract: This work describes a speech denoising system for machine ears that aims to improve speech intelligibility and the overall listening experience in noisy environments. We recorded approximately 100 hours of audio data with reverberation and moderate environmental noise using a pair of microphone arrays placed around each of the two ears and then mixed sound recordings to simulate adverse acoustic scenes. Then, we trained a multi-channel speech denoising network (MCSDN) on the mixture of recordings. To improve the training, we employ an unsupervised method, complex angular central Gaussian mixture model (cACGMM), to acquire cleaner speech from noisy recordings to serve as the learning target. We propose a MCSDN-Beamforming-MCSDN framework in the inference stage. The results of the subjective evaluation show that the cACGMM improves the training data, resulting in better noise reduction and user preference, and the entire system improves the intelligibility and listening experience in noisy situations.


title: Social network analysis of Staphylococcus aureus carriage in a general youth population

abstract: Staphylococcus aureus nasal carriage increases risk of infection and has been associated with lifestyle behavior and biological host characteristics. We used social network analysis to evaluate whether contacts have the same S. aureus genotype, or whether contagiousness is an indirect effect of contacts sharing the same lifestyle or characteristics. The Fit Futures 1 study collected data on social contact among 1038 first level students in the same high school district in Norway. S. aureus persistent carriage was determined from two nasal swab cultures and genotype from spa-typing of a positive throat swab culture. Bootstrap, t-tests, logistic regression, and autocorrelation were used to evaluate social network influence on host risk factors and S. aureus carriage. Both persistent carriage and spa-type were transmitted in the social network (p<0.001). The probability of carriage increased by 3.7% and 5.0% for each additional S. aureus positive friend, in univariable regression and multivariable autocorrelation analysis respectively. Male sex was associated with a 15% lower risk of transmission compared to women, although the prevalence of carriage was higher for men (36% versus 24%). Medium physical activity, medium and high alcohol-use, and normal-weight students had higher number of contacts, and increased risk of transmission (p<0.002). We demonstrate direct social transmission of S. aureus in a general youth population. Lifestyle factors are associated with risk of transmission suggesting indirect social group effects from having more similar environmental exposures. The predominance in carriage is determined by sex-specific predisposing host characteristics as social transmission is less frequent than in females. Better understanding of how social interactions influence S. aureus carriage dynamics in the population is important for developing new preventive measures.


title: Simulating rare kaon decays $K^{+}\to\pi^{+}\ell^{+}\ell^{-}$ using domain wall lattice QCD with physical light quark masses

abstract: We report the first calculation using physical light-quark masses of the electromagnetic form factor $V(z)$ describing the long-distance contributions to the $K^+\to\pi^+\ell^+\ell^-$ decay amplitude. The calculation is performed on a 2+1 flavor domain wall fermion ensemble with inverse lattice spacing $a^{-1}=1.730(4)$GeV. We implement a Glashow-Iliopoulos-Maiani cancellation by extrapolating to the physical charm-quark mass from three below-charm masses. We obtain $V(z=0.013(2))=-0.87(4.44)$, achieving a bound for the value. The large statistical error arises from stochastically estimated quark loops.


title: $H^2$-conformal approximation of Miura surfaces

abstract: The Miura ori is a very classical origami pattern used in numerous applications in Engineering. A study of the shapes that surfaces using this pattern can assume is still lacking. A constrained nonlinear partial differential equation (PDE) that models the possible shapes that a periodic Miura tessellation can take in the homogenization limit has been established recently and solved only in specific cases. In this paper, the existence and uniqueness of a solution to the unconstrained PDE is proved for general Dirichlet boundary conditions. Then a $H^2$-conforming discretization is introduced to approximate the solution of the PDE coupled to a Newton method to solve the associated discrete problem. A convergence proof for the method is given as well as a convergence rate. Finally, numerical experiments show the robustness of the method and that non trivial shapes can be achieved using periodic Miura tessellations.


title: Mixed Hodge modules and real groups

abstract: Let $G$ be a complex reductive group, $\theta \colon G \to G$ an involution, and $K = G^\theta$. In arXiv:1206.5547, W. Schmid and the second named author proposed a program to study unitary representations of the corresponding real form $G_\mathbb{R}$ using $K$-equivariant twisted mixed Hodge modules on the flag variety of $G$ and their polarizations. In this paper, we make the first significant steps towards implementing this program. Our first main result gives an explicit combinatorial formula for the Hodge numbers appearing in the composition series of a standard module in terms of the Lusztig-Vogan polynomials. Our second main result is a polarized version of the Jantzen conjecture, stating that the Jantzen forms on the composition factors are polarizations of the underlying Hodge modules. Our third main result states that, for regular Beilinson-Bernstein data, the minimal $K$-type of an irreducible Harish-Chandra module lies in the lowest piece of the Hodge filtration of the corresponding Hodge module. An immediate consequence of our results is a Hodge-theoretic proof of the signature multiplicity formula of arXiv:1212.2192, which was the inspiration for this work.


title: A lateral resolution metric for static single molecule localization microscopy images from time-resolved pair correlation functions

abstract: Single molecule localization microscopy (SMLM) permits the visualization of cellular structures an order of magnitude smaller than the diffraction limit of visible light, and an accurate, objective evaluation of the resolution of an SMLM dataset is an essential aspect of the image processing and analysis pipeline. Here we present a simple method that uses the pair autocorrelation function evaluated both in space and time to measure the time-interval dependent point-spread function of SMLM images of static samples. Using this approach, we demonstrate that experimentally obtained images typically have effective point spread functions that are broader than expected from the localization precision alone, due to additional uncertainty arising from drift and drift correction algorithms. This resolution metric reports on how precisely one can measure pairwise distances between labeled objects and is complementary to the commonly used Fourier Ring Correlation metric that also considers spatial sampling. The method is demonstrated on simulated localizations, DNA origami rulers, and cellular structures labelled by dye-conjugated antibodies or fluorescent fusion proteins.


title: The homology of a Temperley-Lieb algebra on an odd number of strands

abstract: We show that the homology of any Temperley-Lieb algebra $\mathcal{TL}_n(a)$ on an odd number of strands vanishes in positive degrees. This improves a result obtained by Boyd-Hepworth. In addition we present alternative arguments for the following two vanishing results of Boyd-Hepworth. (1) The stable homology of Temperley-Lieb algebras is trivial. (2) If the parameter $a \in R$ is a unit, then the homology of any Temperley-Lieb algebra is concentrated in degree zero.


title: On graphs with distance Laplacian eigenvalues of multiplicity $n-4$

abstract: Let $G$ be a connected simple graph with $n$ vertices. The distance Laplacian matrix $D^{L}(G)$ is defined as $D^L(G)=Diag(Tr)-D(G)$, where $Diag(Tr)$ is the diagonal matrix of vertex transmissions and $D(G)$ is the distance matrix of $G$. The eigenvalues of $D^{L}(G)$ are the distance Laplacian eigenvalues of $G$ and are denoted by $\partial_{1}^{L}(G)\geq \partial_{2}^{L}(G)\geq \dots \geq \partial_{n}^{L}(G)$. The largest eigenvalue $\partial_{1}^{L}(G)$ is called the distance Laplacian spectral radius. Lu et al. (2017), Fernandes et al. (2018) and Ma et al. (2018) completely characterized the graphs having some distance Laplacian eigenvalue of multiplicity $n-3$. In this paper, we characterize the graphs having distance Laplacian spectral radius of multiplicity $n-4$ together with one of the distance Laplacian eigenvalue as $n$ of multiplicity either 3 or 2. Further, we completely determine the graphs for which the distance Laplacian eigenvalue $n$ is of multiplicity $n-4$.


title: Internal stabilization of an underactuated linear parabolic system via modal decomposition (extended version)

abstract: This work concerns the internal stabilization of underactuated linear systems of $m$ heat equations in cascade, where the control is placed internally in the first equation only and the diffusion coefficients are distinct. Combining the modal decomposition method with a recently introduced state-transformation approach for observation problems, a proportional-type stabilizing control is given explicitly. It is based on a transformation for the ODE system corresponding to the comparatively unstable modes into a target one, where calculation of the stabilization law is independent of the arbitrarily large number of them and it is achieved by solving generalized Sylvester equations recursively. This provides a finite-dimensional counterpart of a recently introduced infinite-dimensional one, which led to Lyapunov stabilization. The present approach answers to the problem of stabilization with actuators not appearing in all the states and when boundary control results do not apply.


title: Efficiency of photonic state tomography affected by fiber attenuation

abstract: In this article, we investigate the efficiency of photonic state tomography in the presence of fiber attenuation. The theoretical formalism of the photon loss is provided by implementing methods from the theory of open quantum systems. The quantum state is reconstructed from photon counts obtained for symmetric informationally complete POVMs. The number of photons that reach the detectors is numerically modeled by the binomial distribution, which describes the loss of light caused by the medium. This approach allows us to study the quality of state tomography versus the length of the fiber. In particular, we focus on entangled qubits and qutrits, which are sent through fibers of different lengths. The amount of entanglement detected by the measurement scheme is quantified and presented on graphs. The results demonstrate how the quality of photonic tomography depends on the distance between the source and the receiver.


title: Stochastic Dynamic Programming Heuristic for the (R, s, S) Policy Parameters Computation

abstract: The (R, s, S) is a stochastic inventory control policy widely used by practitioners. In an inventory system managed according to this policy, the inventory is reviewed at instant R; if the observed inventory position is lower than the reorder level s an order is placed. The order's quantity is set to raise the inventory position to the order-up-to-level S. This paper introduces a new stochastic dynamic program (SDP) based heuristic to compute the (R, s, S) policy parameters for the non-stationary stochastic lot-sizing problem with backlogging of the excessive demand, fixed order and review costs, and linear holding and penalty costs. In a recent work, Visentin et al. (2021) present an approach to compute optimal policy parameters under these assumptions. Our model combines a greedy relaxation of the problem with a modified version of Scarf's (s, S) SDP. A simple implementation of the model requires a prohibitive computational effort to compute the parameters. However, we can speed up the computations by using K-convexity property and memorisation techniques. The resulting algorithm is considerably faster than the state-of-the-art, extending its adoptability by practitioners. An extensive computational study compares our approach with the algorithms available in the literature.


title: Hybridizing Physical and Data-driven Prediction Methods for Physicochemical Properties

abstract: We present a generic way to hybridize physical and data-driven methods for predicting physicochemical properties. The approach `distills' the physical method's predictions into a prior model and combines it with sparse experimental data using Bayesian inference. We apply the new approach to predict activity coefficients at infinite dilution and obtain significant improvements compared to the data-driven and physical baselines and established ensemble methods from the machine learning literature.


title: Making a Radical Misogynist: How online social engagement with the Manosphere influences traits of radicalization

abstract: The algorithms and the interactions facilitated by online platforms have been used by radical groups to recruit vulnerable individuals to their cause. This has resulted in the sharp growth of violent events and deteriorating online discourse. The Manosphere, a collection of radical anti-feminist communities, is one such group which has attracted attention due to their rapid growth and increasingly violent real world outbursts. In this paper, we examine the social engagements between Reddit users who have participated in feminist discourse and the Manosphere communities on Reddit to understand the process of development of traits associated with the adoption of extremist ideologies. By using existing research on the psychology of radicalization we track how specific types of social engagement with the Manosphere influence the development of traits associated with radicalization. Our findings show that: (1) participation, even by the simple act of joining the Manosphere, has a significant influence on the language and outlook traits of a user, (2) Manosphere elites are extremely effective propagators of radical traits and cause their increase even outside the Manosphere, and (3) community perception can heavily influence a user's behavior. Finally, we examine how our findings can help draft community and platform moderation policies to help mitigate the problem of online radicalization.


title: Grammar-Based Grounded Lexicon Learning

abstract: We present Grammar-Based Grounded Lexicon Learning (G2L2), a lexicalist approach toward learning a compositional and grounded meaning representation of language from grounded data, such as paired images and texts. At the core of G2L2 is a collection of lexicon entries, which map each word to a tuple of a syntactic type and a neuro-symbolic semantic program. For example, the word shiny has a syntactic type of adjective; its neuro-symbolic semantic program has the symbolic form {\lambda}x. filter(x, SHINY), where the concept SHINY is associated with a neural network embedding, which will be used to classify shiny objects. Given an input sentence, G2L2 first looks up the lexicon entries associated with each token. It then derives the meaning of the sentence as an executable neuro-symbolic program by composing lexical meanings based on syntax. The recovered meaning programs can be executed on grounded inputs. To facilitate learning in an exponentially-growing compositional space, we introduce a joint parsing and expected execution algorithm, which does local marginalization over derivations to reduce the training time. We evaluate G2L2 on two domains: visual reasoning and language-driven navigation. Results show that G2L2 can generalize from small amounts of data to novel compositions of words.


title: The Flavourful Present and Future of 2HDMs at the Collider Energy Frontier

abstract: We study the intersection of flavour and collider physics for Two-Higgs-Doublet models of Type I and II. Drawing from the flavour precision-LHC exotics search complementarity, we also provide a projection of the future sensitivity that can be achieved in light of currently available analyses. On the one hand, we find that the parameter space of the 2HDM can be explored significantly further with more data from the LHC with some complementarity with flavour physics. On the other hand, flavour physics results alongside their projections remain powerful tools to constrain the model space in regions where direct sensitivity to new states via exotics searches is lost. Our results further highlight the recently observed flavour physics anomalies as important drivers of new physics searches in the future; we also touch on implications for a strong first order electroweak phase transition.


title: Fast Dynamic Updates and Dynamic SpGEMM on MPI-Distributed Graphs

abstract: Sparse matrix multiplication (SpGEMM) is a fundamental kernel used in many diverse application areas, both numerical and discrete. For example, many algebraic graph algorithms rely on SpGEMM in the tropical semiring to compute shortest paths in graphs. Recently, SpGEMM has received growing attention regarding implementations for specific (parallel) architectures. Yet, this concerns only the static problem, where both input matrices do not change. In many applications, however, matrices (or their corresponding graphs) change over time. Although recomputing from scratch is very expensive, we are not aware of any dynamic SpGEMM algorithms in the literature. In this paper, we thus propose a batch-dynamic algorithm for MPI-based parallel computing. Building on top of a distributed graph/matrix data structure that allows for fast updates, our dynamic SpGEMM reduces the communication volume significantly. It does so by exploiting that updates change far fewer matrix entries than there are non-zeros in the input operands. Our experiments with popular benchmark graphs show that our approach pays off. For batches of insertions or removals of matrix entries, our dynamic SpGEMM is substantially faster than the static algorithms in the state-of-the-art competitors CombBLAS, CTF and PETSc.


title: Comment on "Scrutinizing pion-pion scattering in light of recent lattice phase shifts"

abstract: In a recent paper by Xiu-Li Gao, Zhi-Hui Guo, Zhiguang Xiao, and Zhi-Yong Zhou, Phys. Rev. D 105, 094002 (2022), here referred to as I, $S$-wave $\pi\pi$ scattering phase shifts obtained in a lattice-QCD calculation are analyzed using dispersive $S$-matrix methods. We question the reliability of the conclusion from this analysis that, for a pion mass of 391 MeV, the lattice phases favor the presence of both a $\sigma$-meson bound state and a nearby virtual state. Our main criticism concerns the neglect of the $S$-wave $K\bar{K}$ channel, which was considered alongside additional $s\bar{s}$ interpolating fields in the lattice computation used by the authors of I and also in typical coupled-channel models. As an illustration, some results from such a recent model are presented as well. Concluding remarks concern possible improvements of the analysis in I as well as further model tests.


title: Geometric structures as variational objects, II

abstract: This note is the sequel of "Geometric structures as variational objects, I." It generalizes the main result and perspectives of that work to a class of geometric structures that includes integrable almost-complex structures.


title: Some Reality Properties of Finite Simple Orthogonal Groups

abstract: We prove several reality properties for finite simple orthogonal groups. For any prime power $q$ and $m\geq 1$, we show that all real conjugacy classes are strongly real in the simple groups $\mathrm{P}\Omega^{\pm}(4m+2,q), m \geq 1$, except in the case $\mathrm{P}\Omega^{-}(4m+2,q)$ with $q \equiv 3(\mathrm{mod} \; 4)$, and we construct weakly real classes in this exceptional case for any $m$. We also show that no irreducible complex character of $\mathrm{P}\Omega^{\pm}(n,q)$ can have Frobenius-Schur indicator $-1$, except possibly in the case $\mathrm{P}\Omega^{-}(4m+2,q)$ with $q \equiv 3(\mathrm{mod} \; 4)$.


title: Should I send this notification? Optimizing push notifications decision making by modeling the future

abstract: Most recommender systems are myopic, that is they optimize based on the immediate response of the user. This may be misaligned with the true objective, such as creating long term user satisfaction. In this work we focus on mobile push notifications, where the long term effects of recommender system decisions can be particularly strong. For example, sending too many or irrelevant notifications may annoy a user and cause them to disable notifications. However, a myopic system will always choose to send a notification since negative effects occur in the future. This is typically mitigated using heuristics. However, heuristics can be hard to reason about or improve, require retuning each time the system is changed, and may be suboptimal. To counter these drawbacks, there is significant interest in recommender systems that optimize directly for long-term value (LTV). Here, we describe a method for maximising LTV by using model-based reinforcement learning (RL) to make decisions about whether to send push notifications. We model the effects of sending a notification on the user's future behavior. Much of the prior work applying RL to maximise LTV in recommender systems has focused on session-based optimization, while the time horizon for notification decision making in this work extends over several days. We test this approach in an A/B test on a major social network. We show that by optimizing decisions about push notifications we are able to send less notifications and obtain a higher open rate than the baseline system, while generating the same level of user engagement on the platform as the existing, heuristic-based, system.


title: Slip competition and rotation suppression in tantalum and copper during dynamic uniaxial compression

abstract: When compressed, a metallic specimen will generally experience changes to its crystallographic texture due to plasticity-induced rotation. Ultrafast x-ray diffraction techniques make it possible to measure rotation of this kind in targets dynamically compressed over nanosecond timescales to the kind of pressures ordinarily encountered in planetary interiors. The axis and the extent of the local rotation can provide hints as to the combination of plasticity mechanisms activated by the rapid uniaxial compression, thus providing valuable information about the underlying dislocation kinetics operative during extreme loading conditions. We present large-scale molecular dynamics simulations of shock-induced lattice rotation in three model crystals whose behavior has previously been characterized in dynamic-compression experiments: tantalum shocked along its [101] direction, and copper shocked along either [001] or [111]. We find that, in all three cases, the texture changes predicted by the simulations are consistent with those measured experimentally using in situ x-ray diffraction. We show that while tantalum loaded along [101] and copper loaded along [001] both show pronounced rotation due to asymmetric multiple slip, the orientation of copper shocked along [111] is predicted to be stabilized by opposing rotations arising from competing, symmetrically equivalent slip systems.


title: MATCHA: A Fast and Energy-Efficient Accelerator for Fully Homomorphic Encryption over the Torus

abstract: Fully Homomorphic Encryption over the Torus (TFHE) allows arbitrary computations to happen directly on ciphertexts using homomorphic logic gates. However, each TFHE gate on state-of-the-art hardware platforms such as GPUs and FPGAs is extremely slow ($>0.2ms$). Moreover, even the latest FPGA-based TFHE accelerator cannot achieve high energy efficiency, since it frequently invokes expensive double-precision floating point FFT and IFFT kernels. In this paper, we propose a fast and energy-efficient accelerator, MATCHA, to process TFHE gates. MATCHA supports aggressive bootstrapping key unrolling to accelerate TFHE gates without decryption errors by approximate multiplication-less integer FFTs and IFFTs, and a pipelined datapath. Compared to prior accelerators, MATCHA improves the TFHE gate processing throughput by $2.3\times$, and the throughput per Watt by $6.3\times$.


title: GRAPHSHAP: Explaining Identity-Aware Graph Classifiers Through the Language of Motifs

abstract: Most methods for explaining black-box classifiers (e.g. on tabular data, images, or time series) rely on measuring the impact that removing/perturbing features has on the model output. This forces the explanation language to match the classifier's feature space. However, when dealing with graph data, in which the basic features correspond to the edges describing the graph structure, this matching between features space and explanation language might not be appropriate. Decoupling the feature space (edges) from a desired high-level explanation language (such as motifs) is thus a major challenge towards developing actionable explanations for graph classification tasks. In this paper we introduce GRAPHSHAP, a Shapley-based approach able to provide motif-based explanations for identity-aware graph classifiers, assuming no knowledge whatsoever about the model or its training data: the only requirement is that the classifier can be queried as a black-box at will. For the sake of computational efficiency we explore a progressive approximation strategy and show how a simple kernel can efficiently approximate explanation scores, thus allowing GRAPHSHAP to scale on scenarios with a large explanation space (i.e. large number of motifs). We showcase GRAPHSHAP on a real-world brain-network dataset consisting of patients affected by Autism Spectrum Disorder and a control group. Our experiments highlight how the classification provided by a black-box model can be effectively explained by few connectomics patterns.


title: Learning and Evaluating Graph Neural Network Explanations based on Counterfactual and Factual Reasoning

abstract: Structural data well exists in Web applications, such as social networks in social media, citation networks in academic websites, and threads data in online forums. Due to the complex topology, it is difficult to process and make use of the rich information within such data. Graph Neural Networks (GNNs) have shown great advantages on learning representations for structural data. However, the non-transparency of the deep learning models makes it non-trivial to explain and interpret the predictions made by GNNs. Meanwhile, it is also a big challenge to evaluate the GNN explanations, since in many cases, the ground-truth explanations are unavailable. In this paper, we take insights of Counterfactual and Factual (CF^2) reasoning from causal inference theory, to solve both the learning and evaluation problems in explainable GNNs. For generating explanations, we propose a model-agnostic framework by formulating an optimization problem based on both of the two casual perspectives. This distinguishes CF^2 from previous explainable GNNs that only consider one of them. Another contribution of the work is the evaluation of GNN explanations. For quantitatively evaluating the generated explanations without the requirement of ground-truth, we design metrics based on Counterfactual and Factual reasoning to evaluate the necessity and sufficiency of the explanations. Experiments show that no matter ground-truth explanations are available or not, CF^2 generates better explanations than previous state-of-the-art methods on real-world datasets. Moreover, the statistic analysis justifies the correlation between the performance on ground-truth evaluation and our proposed metrics. Source code is available at https://github.com/chrisjtan/gnn_cff.


title: Solving Hamiltonian Cycle Problem using Quantum $\mathbb{Z}_2$ Lattice Gauge Theory

abstract: The Hamiltonian cycle (HC) problem in graph theory is a well-known NP-complete problem. We present an approach in terms of $\mathbb{Z}_2$ lattice gauge theory (LGT) defined on the lattice with the graph as its dual. When the coupling parameter $g$ is less than the critical value $g_c$, the ground state is a superposition of all configurations with closed strings of spins in a same single-spin state, which can be obtained by using an adiabatic quantum algorithm with time complexity $O(\frac{1}{g_c^2} \sqrt{ \frac{1}{\varepsilon} N_e^{3/2}(N_v^3 + \frac{N_e}{g_c}}))$, where $N_v$ and $N_e$ are the numbers of vertices and edges of the graph respectively. A subsequent search for a HC among those closed-strings solves the HC problem. For some random samples of small graphs, we demonstrate that the dependence of the average value of $g_c$ on $\sqrt{N_{hc}}$, $N_{hc}$ being the number of HCs, and that of the average value of $\frac{1}{g_c}$ on $N_e$ are both linear. It is thus suggested that for some graphs, the HC problem may be solved in polynomial time. A possible quantum algorithm using $g_c$ to infer $N_{hc}$ is also discussed.


title: Designing Word Filter Tools for Creator-led Comment Moderation

abstract: Online social platforms centered around content creators often allow comments on content, where creators moderate the comments they receive. As creators can face overwhelming numbers of comments, with some of them harassing or hateful, platforms typically provide tools such as word filters for creators to automate aspects of moderation. From needfinding interviews with 19 creators about how they use existing tools, we found that they struggled with writing good filters as well as organizing and revisiting their filters, due to the difficulty of determining what the filters actually catch. To address these issues, we present FilterBuddy, a system that supports creators in authoring new filters or building from existing filter lists, as well as organizing their filters and visualizing what comments are captured over time. We conducted an early-stage evaluation of FilterBuddy with YouTube creators, finding that participants see FilterBuddy not just as a moderation tool, but also a means to organize their comments to better understand their audiences.


title: New constraints on primordial features from the galaxy two-point correlation function

abstract: Features in the primordial power spectrum represent the imprinted signal in the density perturbations of the physics and evolution of the early Universe. A measurement of such signals will represents the need to go beyond the minimal assumption made for the initial conditions of the cosmological perturbations. For the first time, we study different templates with undamped oscillations or a bump from the two-point correlation function measured from BOSS DR12 galaxies constraining the amplitude of the features to be at most a few percent. Constraints are competitive to the ones obtained with {\em Planck} DR3.


title: Resonance-enhanced vibrational spectroscopy of molecules on a superconductor

abstract: Molecular vibrational spectroscopy with the scanning tunneling microscope is feasible but usually detects few vibrational modes. We harness sharp Yu-Shiba-Rusinov (YSR) states observed from molecules on a superconductor to significantly enhance the vibrational signal. From a lead phthalocyanin molecule 46 vibrational peaks are resolved enabling a comparison with calculated modes. The energy resolution is improved beyond the thermal broadening limit and shifts induced by neighbor molecules or the position of the microscope tip are determined. Vice versa, spectra of vibrational modes are used to measure the effect of an electrical field on the energy of YSR states. The method may help to further probe the interaction of molecules with their environment and to better understand selection rules for vibrational excitations.


title: Human-Algorithm Collaboration: Achieving Complementarity and Avoiding Unfairness

abstract: Much of machine learning research focuses on predictive accuracy: given a task, create a machine learning model (or algorithm) that maximizes accuracy. In many settings, however, the final prediction or decision of a system is under the control of a human, who uses an algorithm's output along with their own personal expertise in order to produce a combined prediction. One ultimate goal of such collaborative systems is "complementarity": that is, to produce lower loss (equivalently, greater payoff or utility) than either the human or algorithm alone. However, experimental results have shown that even in carefully-designed systems, complementary performance can be elusive. Our work provides three key contributions. First, we provide a theoretical framework for modeling simple human-algorithm systems and demonstrate that multiple prior analyses can be expressed within it. Next, we use this model to prove conditions where complementarity is impossible, and give constructive examples of where complementarity is achievable. Finally, we discuss the implications of our findings, especially with respect to the fairness of a classifier. In sum, these results deepen our understanding of key factors influencing the combined performance of human-algorithm systems, giving insight into how algorithmic tools can best be designed for collaborative environments.


title: Objectives of platform research: A co-citation and systematic literature review analysis

abstract: Business economics research on digital platforms often overlooks existing knowledge from other fields of research leading to conceptual ambiguity and inconsistent findings. To reduce these restrictions and foster the utilization of the extensive body of literature, we apply a mixed methods design to summarize the key findings of scientific platform research. Our bibliometric analysis identifies 14 platform-related research fields. Conducting a systematic qualitative content analysis, we identify three primary research objectives related to platform ecosystems: (1) general literature defining and unifying research on platforms; (2) exploitation of platform and ecosystem strategies; (3) improvement of platforms and ecosystems. Finally, we discuss the identified insights from a business economics perspective and present promising future research directions that could enhance business economics and management research on digital platforms and platform ecosystems.


title: On Acceleration in Three Dimensions

abstract: We go "back to basics", studying accelerating systems in $2+1$ AdS gravity \textit{ab initio}. We find three classes of geometry, which we interpret by studying holographically their physical parameters. From these, we construct stationary, accelerating point particles; one-parameter extensions of the BTZ family resembling an accelerating black hole; and find new solutions including a novel accelerating "BTZ geometry" not continuously connected to the BTZ black hole as well as some black funnel solutions.


title: Multi-stage Ensemble Model for Cross-market Recommendation

abstract: This paper describes the solution of our team PolimiRank for the WSDM Cup 2022 on cross-market recommendation. The goal of the competition is to effectively exploit the information extracted from different markets to improve the ranking accuracy of recommendations on two target markets. Our model consists in a multi-stage approach based on the combination of data belonging to different markets. In the first stage, state-of-the-art recommenders are used to predict scores for user-item couples, which are ensembled in the following 2 stages, employing a simple linear combination and more powerful Gradient Boosting Decision Tree techniques. Our team ranked 4th in the final leaderboard.


title: On the ideas of the origin of eukaryotes: a critical review

abstract: The origin and early evolution of eukaryotes are one of the major transitions in the evolution of life on earth. One of its most interesting aspects is the emergence of cellular organelles, their dynamics, their functions, and their divergence. Cell compartmentalization and architecture in prokaryotes is a less understood complex property. In eukaryotes it is related to cell size, specific genomic architecture, evolution of cell cycles, biogenesis of membranes and endosymbiotic processes. Explaining cell evolution through form and function demands an interdisciplinary approach focused on microbial diversity, phylogenetic and functional cell biology. Two centuries of views on eukaryotic origin have completed the disciplinary tools necessarily to answer these questions. We have moved from Haeckel SCALA NATURAE to the un-rooted tree of life. However, the major relations among cell domains are still elusive and keep the nature of eukaryotic ancestor enigmatic. Here we present a review on state of art views of eukaryogenesis; the background and perspectives of different disciplines involved in this topic


title: Gravitational quasinormal modes for Lifshitz black branes

abstract: We study the scalar and vector channels of gravitational quasinormal modes for Lifshitz black branes emerging in Einstein-Maxwell-Dilaton and Einstein-Proca theories in four and five dimensions, finding significant differences between the two models. In particular, rather surprisingly, in the Einstein-Maxwell-Dilaton model the dispersion relations for the shear and sound modes are given by $\omega_{shear} \sim -i\,k^4$ and $\omega_{sound}\sim-i \,k^2$, while in the Einstein-Proca model they take the more conventional form $\omega_{shear} \sim -i\,k^2$ and $\omega_{sound}\sim k$, the proportionality constants depend on the dynamical exponent and the appropriate factors of temperature. Through the holographic duality, this calculation provides information about the relaxation of the momentum and energy flux operators in a putative dual Lifshitz field theory. Comparing with the dispersion relations obtained directly by considering Lifshitz hydrodynamics suggest that the mass density of the equilibrium state in the Einstein-Maxwell-Dilaton model is infinite.


title: LAMP: Extracting Text from Gradients with Language Model Priors

abstract: Recent work shows that sensitive user data can be reconstructed from gradient updates, breaking the key privacy promise of federated learning. While success was demonstrated primarily on image data, these methods do not directly transfer to other domains such as text. In this work, we propose LAMP, a novel attack tailored to textual data, that successfully reconstructs original text from gradients. Our attack is based on two key insights: (i) modeling prior text probability with an auxiliary language model, guiding the search towards more natural text, and (ii) alternating continuous and discrete optimization, which minimizes reconstruction loss on embeddings, while avoiding local minima by applying discrete text transformations. Our experiments demonstrate that LAMP is significantly more effective than prior work: it reconstructs 5x more bigrams and 23% longer subsequences on average. Moreover, we are the first to recover inputs from batch sizes larger than 1 for textual models. These findings indicate that gradient updates of models operating on textual data leak more information than previously thought.


title: Equivariant log-concavity of graph matchings

abstract: For any graph, we show that the graded permutation representation of the graph automorphism group given by matchings is strongly equivariantly log-concave. The proof gives a family of equivariant injections inspired by a combinatorial map of Kratthenthaler and reduces to the hard Lefschetz theorem.


title: Cycle structure of random parking functions

abstract: We initiate the study of the cycle structure of uniformly random parking functions. Using the combinatorics of parking completions, we compute the asymptotic expected value of the number of cycles of any fixed length. We obtain an upper bound on the total variation distance between the joint distribution of cycle counts and independent Poisson random variables using a multivariate version of Stein's method via exchangeable pairs. Under a mild condition, the process of cycle counts converges in distribution to a process of independent Poisson random variables.


title: Optimal polynomial smoothers for multigrid V-cycles

abstract: The idea of using polynomial methods to improve simple smoother iterations within a multigrid method for a symmetric positive definite (SPD) system is revisited. When the single-step smoother itself corresponds to an SPD operator, there is in particular a very simple iteration, a close cousin of the Chebyshev semi-iterative method, based on the Chebyshev polynomials of the fourth instead of first kind, that optimizes a two-level bound going back to Hackbusch. A full V-cycle bound for general polynomial smoothers is derived using the V-cycle theory of McCormick. The fourth-kind Chebyshev iteration is quasi-optimal for the V-cycle bound. The optimal polynomials for the V-cycle bound can be found numerically, achieving an about 18% lower error contraction factor bound than the fourth-kind Chebyshev iteration, asymptotically as the number of smoothing steps goes to infinity. Implementation of the optimized iteration is discussed, and the performance of the polynomial smoothers are illustrated with a simple numerical example.


title: Observational properties of puffy disks: radiative GRMHD spectra of mildly sub-Eddington accretion

abstract: Numerical general relativistic radiative magnetohydrodynamic simulations of accretion disks around a stellar mass black hole with a luminosity above 0.5 of the Eddington value reveal their stratified, elevated vertical structure. We refer to these thermally stable numerical solutions as puffy disks. Above a dense and geometrically thin core of dimensionless thickness $h/r \sim 0.1$, crudely resembling a classic thin accretion disk, a puffed-up, geometrically thick layer of lower density and $h/r \sim 1.0$ is formed. We discuss the observational properties of puffy disks, in particular the geometrical obscuration of the inner disk by the elevated puffy region at higher observing inclinations, and collimation of the radiation along the accretion disk spin axis, which may explain the apparent super-Eddington luminosity of some X-ray objects. We also present synthetic spectra of puffy disks, and show that they are qualitatively similar to those of a Comptonized thin disk. We demonstrate that the existing xspec spectral fitting models provide good fits to synthetic observations of puffy disks, but cannot correctly recover the input black hole spin. The puffy region remains optically thick to scattering; in its spectral properties the puffy disk roughly resembles that of a warm corona sandwiching the disk core. We suggest that puffy disks may correspond to X-ray binary systems of luminosities above 0.3 of the Eddington luminosity in the intermediate spectral states.


title: Universality of empirical risk minimization

abstract: Consider supervised learning from i.i.d. samples $\{{\boldsymbol x}_i,y_i\}_{i\le n}$ where ${\boldsymbol x}_i \in\mathbb{R}^p$ are feature vectors and ${y} \in \mathbb{R}$ are labels. We study empirical risk minimization over a class of functions that are parameterized by $\mathsf{k} = O(1)$ vectors ${\boldsymbol \theta}_1, . . . , {\boldsymbol \theta}_{\mathsf k} \in \mathbb{R}^p$ , and prove universality results both for the training and test error. Namely, under the proportional asymptotics $n,p\to\infty$, with $n/p = \Theta(1)$, we prove that the training error depends on the random features distribution only through its covariance structure. Further, we prove that the minimum test error over near-empirical risk minimizers enjoys similar universality properties. In particular, the asymptotics of these quantities can be computed $-$to leading order$-$ under a simpler model in which the feature vectors ${\boldsymbol x}_i$ are replaced by Gaussian vectors ${\boldsymbol g}_i$ with the same covariance. Earlier universality results were limited to strongly convex learning procedures, or to feature vectors ${\boldsymbol x}_i$ with independent entries. Our results do not make any of these assumptions. Our assumptions are general enough to include feature vectors ${\boldsymbol x}_i$ that are produced by randomized featurization maps. In particular we explicitly check the assumptions for certain random features models (computing the output of a one-layer neural network with random weights) and neural tangent models (first-order Taylor approximation of two-layer networks).


title: What Functions Can Graph Neural Networks Generate?

abstract: In this paper, we fully answer the above question through a key algebraic condition on graph functions, called \textit{permutation compatibility}, that relates permutations of weights and features of the graph to functional constraints. We prove that: (i) a GNN, as a graph function, is necessarily permutation compatible; (ii) conversely, any permutation compatible function, when restricted on input graphs with distinct node features, can be generated by a GNN; (iii) for arbitrary node features (not necessarily distinct), a simple feature augmentation scheme suffices to generate a permutation compatible function by a GNN; (iv) permutation compatibility can be verified by checking only quadratically many functional constraints, rather than an exhaustive search over all the permutations; (v) GNNs can generate \textit{any} graph function once we augment the node features with node identities, thus going beyond graph isomorphism and permutation compatibility. The above characterizations pave the path to formally study the intricate connection between GNNs and other algorithmic procedures on graphs. For instance, our characterization implies that many natural graph problems, such as min-cut value, max-flow value, max-clique size, and shortest path can be generated by a GNN using a simple feature augmentation. In contrast, the celebrated Weisfeiler-Lehman graph-isomorphism test fails whenever a permutation compatible function with identical features cannot be generated by a GNN. At the heart of our analysis lies a novel representation theorem that identifies basis functions for GNNs. This enables us to translate the properties of the target graph function into properties of the GNN's aggregation function.


title: Plasticity and evolvability under environmental variability: the joint role of fitness-based selection and niche-limited competition

abstract: The diversity and quality of natural systems have been a puzzle and inspiration for communities studying artificial life. It is now widely admitted that the adaptation mechanisms enabling these properties are largely influenced by the environments they inhabit. Organisms facing environmental variability have two alternative adaptation mechanisms operating at different timescales: \textit{plasticity}, the ability of a phenotype to survive in diverse environments and \textit{evolvability}, the ability to adapt through mutations. Although vital under environmental variability, both mechanisms are associated with fitness costs hypothesized to render them unnecessary in stable environments. In this work, we study the interplay between environmental dynamics and adaptation in a minimal model of the evolution of plasticity and evolvability. We experiment with different types of environments characterized by the presence of niches and a climate function that determines the fitness landscape. We empirically show that environmental dynamics affect plasticity and evolvability differently and that the presence of diverse ecological niches favors adaptability even in stable environments. We perform ablation studies of the selection mechanisms to separate the role of fitness-based selection and niche-limited competition. Results obtained from our minimal model allow us to propose promising research directions in the study of open-endedness in biological and artificial systems.


title: General Cyclical Training of Neural Networks

abstract: This paper describes the principle of "General Cyclical Training" in machine learning, where training starts and ends with "easy training" and the "hard training" happens during the middle epochs. We propose several manifestations for training neural networks, including algorithmic examples (via hyper-parameters and loss functions), data-based examples, and model-based examples. Specifically, we introduce several novel techniques: cyclical weight decay, cyclical batch size, cyclical focal loss, cyclical softmax temperature, cyclical data augmentation, cyclical gradient clipping, and cyclical semi-supervised learning. In addition, we demonstrate that cyclical weight decay, cyclical softmax temperature, and cyclical gradient clipping (as three examples of this principle) are beneficial in the test accuracy performance of a trained model. Furthermore, we discuss model-based examples (such as pretraining and knowledge distillation) from the perspective of general cyclical training and recommend some changes to the typical training methodology. In summary, this paper defines the general cyclical training concept and discusses several specific ways in which this concept can be applied to training neural networks. In the spirit of reproducibility, the code used in our experiments is available at \url{https://github.com/lnsmith54/CFL}.


title: Data-SUITE: Data-centric identification of in-distribution incongruous examples

abstract: Systematic quantification of data quality is critical for consistent model performance. Prior works have focused on out-of-distribution data. Instead, we tackle an understudied yet equally important problem of characterizing incongruous regions of in-distribution (ID) data, which may arise from feature space heterogeneity. To this end, we propose a paradigm shift with Data-SUITE: a data-centric AI framework to identify these regions, independent of a task-specific model. Data-SUITE leverages copula modeling, representation learning, and conformal prediction to build feature-wise confidence interval estimators based on a set of training instances. These estimators can be used to evaluate the congruence of test instances with respect to the training set, to answer two practically useful questions: (1) which test instances will be reliably predicted by a model trained with the training instances? and (2) can we identify incongruous regions of the feature space so that data owners understand the data's limitations or guide future data collection? We empirically validate Data-SUITE's performance and coverage guarantees and demonstrate on cross-site medical data, biased data, and data with concept drift, that Data-SUITE best identifies ID regions where a downstream model may be reliable (independent of said model). We also illustrate how these identified regions can provide insights into datasets and highlight their limitations.


title: Adiabatic Quantum Computing for Multi Object Tracking

abstract: Multi-Object Tracking (MOT) is most often approached in the tracking-by-detection paradigm, where object detections are associated through time. The association step naturally leads to discrete optimization problems. As these optimization problems are often NP-hard, they can only be solved exactly for small instances on current hardware. Adiabatic quantum computing (AQC) offers a solution for this, as it has the potential to provide a considerable speedup on a range of NP-hard optimization problems in the near future. However, current MOT formulations are unsuitable for quantum computing due to their scaling properties. In this work, we therefore propose the first MOT formulation designed to be solved with AQC. We employ an Ising model that represents the quantum mechanical system implemented on the AQC. We show that our approach is competitive compared with state-of-the-art optimization-based approaches, even when using of-the-shelf integer programming solvers. Finally, we demonstrate that our MOT problem is already solvable on the current generation of real quantum computers for small examples, and analyze the properties of the measured solutions.


title: Helium absorption in exoplanet atmospheres is connected to stellar coronal abundances

abstract: Transit observations in the helium triplet around 10830 Angstrom are a successful tool to study exoplanetary atmospheres and their mass loss. Forming those lines requires ionisation and recombination of helium in the exoplanetary atmosphere. This ionisation is caused by stellar photons at extreme ultra-violet (EUV) wavelengths; however, no currently active telescopes can observe this part of the stellar spectrum. The relevant part of the stellar EUV spectrum consists of individual emission lines, many of them being formed by iron at coronal temperatures. The stellar iron abundance in the corona is often observed to be depleted for high-activity low-mass stars due to the first ionisation potential (FIP) effect. I show that stars with high versus low coronal iron abundances follow different scaling laws that tie together their X-ray emission and the narrow-band EUV flux that causes helium ionisation. I also show that the stellar iron to oxygen abundance ratio in the corona can be measured reasonably well from X-ray CCD spectra, yielding similar results to high-resolution X-ray observations. Taking coronal iron abundance into account, the currently observed large scatter in the relationship of EUV irradiation with exoplanetary helium transit depths can be reduced, improving the target selection criteria for exoplanet transmission spectroscopy. In particular, previously puzzling non-detections of helium for Neptunic exoplanets are now in line with expectations from the revised scaling laws.


title: Entropy-limited higher-order central scheme for neutron star merger simulations

abstract: Numerical relativity simulations are the only way to calculate exact gravitational waveforms from binary neutron star mergers and to design templates for gravitational-wave astronomy. The accuracy of these numerical calculations is critical in quantifying tidal effects near merger that are currently one of the main sources of uncertainty in merger waveforms. In this work, we explore the use of an entropy-based flux-limiting scheme for high-order, convergent simulations of neutron star spacetimes. The scheme effectively tracks the stellar surface and physical shocks using the residual of the entropy equation thus allowing the use of unlimited central flux schemes in regions of smooth flow. We perform the first neutron star merger simulations with such a method and demonstrate up to fourth-order convergence in the gravitational waveform phase. The scheme reduces the phase error up to a factor five when compared to state-of-the-art high-order characteristic schemes and can be employed for producing faithful tidal waveforms for gravitational-wave modelling.


title: Accelerating Earth-Bound Dark Matter

abstract: A fraction of the dark matter may consist of a particle species that interacts much more strongly with the Standard Model than a typical weakly interacting massive particle (WIMP) of similar mass. Such a strongly interacting dark matter component could have avoided detection in searches for WIMP-like dark matter through its interactions with the material in the atmosphere and the Earth that slow it down significantly before reaching detectors underground. These same interactions can also enhance the density of a strongly interacting dark matter species near the Earth's surface to well above the local galactic dark matter density. In this work we propose two new methods of detecting strongly interacting dark matter based on accelerating the enhanced population expected in the Earth through scattering. The first approach is to use underground nuclear accelerator beams to upscatter the ambient dark matter population into a WIMP-style detector located downstream. In the second technique, dark matter is upscattered with an intense thermal source and detected with a low-threshold dark matter detector. We also discuss potential candidates for strongly interacting dark matter and we show that the scenario can be naturally realized with a hidden fermion coupled to a sub-GeV dark photon.


title: $T\bar{T}$ Deformations in Curved Space from 4D Chern-Simons Theory

abstract: In this paper, we shed new light onto $T\bar{T}$-deformations by engineering them on 2D surface defects, supporting chiral and antichiral CFT's, in a 4D Chern-Simons bulk. This approach is motivated by various connections between $T\bar{T}$-deformations, gravity and Chern-Simons theory and suggests that the formalism developed in this paper and the gravity picture of $T\bar{T}$-deformations should be closely related.


title: TOI-2119: A transiting brown dwarf orbiting an active M-dwarf from NASA's TESS mission

abstract: We report the discovery of TOI-2119b, a transiting brown dwarf (BD) that orbits and is completely eclipsed by an active M-dwarf star. Using light curve data from the Transiting Exoplanet Survey Satellite mission and follow-up high-resolution Doppler spectroscopic observations, we find the BD has a radius of $R_b = 1.08 \pm 0.03{\rm R_J}$, a mass of $M_b = 64.4 \pm 2.3{\rm M_J}$, an orbital period of $P = 7.200865 \pm 0.00002$ days, and an eccentricity of $e=0.337\pm 0.002$. The host star has a mass of $M_\star = 0.53 \pm 0.02{\rm M_\odot}$, a radius of $R_\star= 0.50 \pm 0.01{\rm R_\odot}$, an effective temperature of $T_{\rm eff} = 3621 \pm 48$K, and a metallicity of $\rm [Fe/H]=+0.06\pm 0.08$. TOI-2119b joins an emerging population of transiting BDs around M-dwarf host stars, with TOI-2119 being the ninth such system. These M-dwarf--brown dwarf systems typically occupy mass ratios near $q = M_b/M_\star \approx 0.1-0.2$, which separates them from the typical mass ratios for systems with transiting substellar objects and giant exoplanets that orbit more massive stars. The nature of the secondary eclipse of the BD by the star enables us to estimate the effective temperature of the substellar object to be $2030\pm 84$K, which is consistent with predictions by substellar evolutionary models.


title: Dark Photons and Displaced Vertices at the MUonE Experiment

abstract: MUonE is a proposed experiment designed to measure the hadronic vacuum polarization contribution to muon $g-2$ through elastic $\mu-e$ scattering. As such it employs an extremely high-resolution tracking apparatus. We point out that this makes MUonE also a very promising experiment to search for displaced vertices from light, weakly-interacting new particles. We demonstrate its potential by showing how it has excellent sensitivity to dark photons in the mass range $10~\mathrm{MeV} \le m_{A'} \le 100~\mathrm{MeV}$ and kinetic mixing parameter $10^{-5} \le \epsilon e \le 10^{-3}$, through the process $\mu^{\pm}\, e^- \to \mu^{\pm}\, e^-\, A'$ followed by $A'\to e^+e^-$.