title: First detection of doubly deuterated methyl acetylene (CHD2CCH and CH2DCCD)

abstract: We report the first detection in space of the two doubly deuterated isotopologues of methyl acetylene. The species CHD2CCH and CH2DCCD were identified in the dense core L483 through nine and eight, respectively, rotational lines in the 72-116 GHz range using the IRAM 30m telescope. The astronomical frequencies observed here were combined with laboratory frequencies from the literature measured in the 29-47 GHz range to derive more accurate spectroscopic parameters for the two isotopologues. We derive beam-averaged column densities of (2.7 +/- 0.5)e12 cm-2 for CHD2CCH and (2.2 +/- 0.4)e12 cm-2 for CH2DCCD, which translate to abundance ratios CH3CCH/CHD2CCH = 34 +/- 10 and CH3CCH/CH2DCCD = 42 +/- 13. The doubly deuterated isotopologues of methyl acetylene are only a few times less abundant than the singly deuterated ones, concretely around 2.4 times less abundant than CH3CCD. The abundances of the different deuterated isotopologues with respect to CH3CCH are reasonably accounted for by a gas-phase chemical model in which deuteration occurs from the precursor ions C3H6D+ and C3H5D+, when the ortho-to-para ratio of molecular hydrogen is sufficiently low. This points to gas-phase chemical reactions, rather than grain-surface processes, as responsible for the formation and deuterium fractionation of CH3CCH in L483. The abundance ratios CH2DCCH/CH3CCD = 3.0 +/- 0.9 and CHD2CCH/CH2DCCD = 1.25 +/- 0.37 observed in L483 are consistent with the statistically expected values of three and one, respectively, with the slight overabundance of CHD2CCH compared to CH2DCCD being well explained by the chemical model.


title: Model LineUpper: Supporting Interactive Model Comparison at Multiple Levels for AutoML

abstract: Automated Machine Learning (AutoML) is a rapidly growing set of technologies that automate the model development pipeline by searching model space and generating candidate models. A critical, final step of AutoML is human selection of a final model from dozens of candidates. In current AutoML systems, selection is supported only by performance metrics. Prior work has shown that in practice, people evaluate ML models based on additional criteria, such as the way a model makes predictions. Comparison may happen at multiple levels, from types of errors, to feature importance, to how the model makes predictions of specific instances. We developed \tool{} to support interactive model comparison for AutoML by integrating multiple Explainable AI (XAI) and visualization techniques. We conducted a user study in which we both evaluated the system and used it as a technology probe to understand how users perform model comparison in an AutoML system. We discuss design implications for utilizing XAI techniques for model comparison and supporting the unique needs of data scientists in comparing AutoML models.


title: Lyapunov Function for the Nonlinear Moog Voltage Controlled Filter

abstract: In this short report, a new Lyapunov function for the Moog voltage-controlled filter is demonstrated, under zero-input conditions, and under nonlinear autonomous conditions (i.e. when parameters are not time-varying). The new definition allows for a proof of stability over the entire allowable range of parameters (cutoff frequency and resonance), and can be used as a starting point for Hamiltonian-based numerical simulation methods.


title: Blending Knowledge in Deep Recurrent Networks for Adverse Event Prediction at Hospital Discharge

abstract: Deep learning architectures have an extremely high-capacity for modeling complex data in a wide variety of domains. However, these architectures have been limited in their ability to support complex prediction problems using insurance claims data, such as readmission at 30 days, mainly due to data sparsity issue. Consequently, classical machine learning methods, especially those that embed domain knowledge in handcrafted features, are often on par with, and sometimes outperform, deep learning approaches. In this paper, we illustrate how the potential of deep learning can be achieved by blending domain knowledge within deep learning architectures to predict adverse events at hospital discharge, including readmissions. More specifically, we introduce a learning architecture that fuses a representation of patient data computed by a self-attention based recurrent neural network, with clinically relevant features. We conduct extensive experiments on a large claims dataset and show that the blended method outperforms the standard machine learning approaches.


title: Symmetries of supergeometries related to nonholonomic superdistributions

abstract: We extend Tanaka theory to the context of supergeometry and obtain an upper bound on the supersymmetry dimension of geometric structures related to strongly regular bracket-generating distributions on supermanifolds and their structure reductions.


title: Effect of Solution and Post-Mortem Time on Mechanical and Histological Properties of Liver during Cold Preservation

abstract: In this study, we examine the mechanical and histological properties of the bovine liver tissue stored in Lactated Ringers (control), HTK and UW solutions as a function of preservation period. The mechanical experiments are conducted with a shear rheometer on cylindrical tissue samples extracted from 3 bovine livers and the change in viscoelastic material properties of the bovine liver is characterized using the fractional derivative Kelvin-Voigt Model. Also, the histological examinations are performed on the same liver samples under a light microscope. The results show that the preservation solution and period have a significant effect on the mechanical and histological properties of the liver tissue.


title: Scholars mobility and its impact on the knowledge producers' workforce of European regions

abstract: Knowledge production increasingly relies on mobility. However, its role as a mechanism for knowledge recombination and dissemination remains largely unknown. Based on 1,244,080 Web of Science publications from 1,435,729 authors that we used to construct a panel dataset, we study the impact of inter-regional publishing and scientists' mobility in fostering the workforce composition of European countries during 2008-2017. Specifically, we collect information on scientists who have published in one region and then published elsewhere, and explore some determinants of regional and international mobility. Preliminary findings suggest that while talent pools of researchers are increasingly international, their movements seem to be steered by geographical structures. Future research will investigate the impact of mobility on the regional structure of scientific fields by accounting for the appearance and disappearance of research topics over time.


title: Hubble tension in lepton asymmetric cosmology with an extra radiation

abstract: We study the fit of cosmological models with two additional free parameters $N_\mathrm{eff}$ and $\xi_e$ in addition to the parameters of $\Lambda$CDM. We introduce extra radiation components such as hot axions or sterile neutrinos in addition to the energy density of neutrinos with large neutrino degeneracy. Then, a larger $N_\mathrm{eff}$ is allowed without spoiling Big Bang Nucleosynthesis (BBN), as positive neutrino degeneracy $\xi_e$ could improve BBN fit. By analysing the data from Planck, baryon acoustic oscillation (BAO), BBN and type-Ia supernovae (SNeIa), it can be seen that the Hubble tension can be ameliorated for $\xi_{e}\simeq 0.04$ and $0.3 \lesssim \Delta N_\mathrm{eff} \lesssim 0.6$.


title: CondenseNet V2: Sparse Feature Reactivation for Deep Networks

abstract: Reusing features in deep networks through dense connectivity is an effective way to achieve high computational efficiency. The recent proposed CondenseNet has shown that this mechanism can be further improved if redundant features are removed. In this paper, we propose an alternative approach named sparse feature reactivation (SFR), aiming at actively increasing the utility of features for reusing. In the proposed network, named CondenseNetV2, each layer can simultaneously learn to 1) selectively reuse a set of most important features from preceding layers; and 2) actively update a set of preceding features to increase their utility for later layers. Our experiments show that the proposed models achieve promising performance on image classification (ImageNet and CIFAR) and object detection (MS COCO) in terms of both theoretical efficiency and practical speed.


title: Role of Coherence and Degeneracies in Quantum Synchronisation

abstract: Progress on the study of synchronisation in quantum systems has been largely driven by specific examples which resulted in several examples of frequency entrainment as well as mutual synchronisation. Here we study quantum synchronisation by utilising Liouville space perturbation theory. We begin by clarifying the role of centers, symmetries and oscillating coherences in the context of quantum synchronisation. We then analyse the eigenspectrum of the Liouville superoperator generating the dynamics of the quantum system and determine the conditions under which synchronisation arises. We apply our framework to derive a powerful relationship between energy conservation, degeneracies and synchronisation in quantum systems. Finally, we demonstrate our approach by analysing two mutually coupled thermal machines and the close relationship between synchronisation and thermodynamic quantities.


title: Predictive Mixing for Density Functional Theory (and other Fixed-Point Problems)

abstract: Density functional theory calculations use a significant fraction of current supercomputing time. The resources required scale with the problem size, internal workings of the code and the number of iterations to convergence, the latter being controlled by what is called mixing. This note describes a new approach to handling trust-regions within these and other fixed-point problems. Rather than adjusting the trust-region based upon improvement, the prior steps are used to estimate what the parameters and trust-regions should be, effectively estimating the optimal Polyak step from the prior history. Detailed results are shown for eight structures using both the Good and Bad Multisecant versions as well as Anderson and a hybrid approach, all with the same predictive method. Additional comparisons are made for thirty-six cases with fixed algorithm Greed The predictive method works well independent of which method is used for the candidate step, and is capable of adapting to different problem types particularly when coupled with the hybrid approach. It would be premature to claim that it is the best possible approach, but the results suggest that it may be.


title: Memory Error Detection in Security Testing

abstract: We study 10 C/C++ projects that have been using a static analysis security testing tool. We analyze the historical scan reports generated by the tool and study how frequently memory-related alerts appeared. We also studied the subsequent developer action on those alerts. We also look at the CVEs published for these projects within the study timeline and investigate how many of them are memory related. Moreover, for one of this project, Linux, we investigate if the involved flaws in the CVE were identified by the studied security tool when they were first introduced in the code. We found memory related alerts to be frequently detected during static analysis security testing. However, based on how actively the project developers are monitoring the tool alerts, these errors can take years to get fixed. For the ten studied projects, we found a median lifespan of 77 days before memory alerts get fixed. We also find that around 40% of the published CVEs for the studied C/C++ projects are related to memory. These memory CVEs have higher CVSS severity ratings and likelihood of having an exploit script public than non-memory CVEs. We also found only 2.5% Linux CVEs were possibly detected during static analysis security testing.


title: Look Before You Leap: Learning Landmark Features for One-Stage Visual Grounding

abstract: An LBYL (`Look Before You Leap') Network is proposed for end-to-end trainable one-stage visual grounding. The idea behind LBYL-Net is intuitive and straightforward: we follow a language's description to localize the target object based on its relative spatial relation to `Landmarks', which is characterized by some spatial positional words and some descriptive words about the object. The core of our LBYL-Net is a landmark feature convolution module that transmits the visual features with the guidance of linguistic description along with different directions. Consequently, such a module encodes the relative spatial positional relations between the current object and its context. Then we combine the contextual information from the landmark feature convolution module with the target's visual features for grounding. To make this landmark feature convolution light-weight, we introduce a dynamic programming algorithm (termed dynamic max pooling) with low complexity to extract the landmark feature. Thanks to the landmark feature convolution module, we mimic the human behavior of `Look Before You Leap' to design an LBYL-Net, which takes full consideration of contextual information. Extensive experiments show our method's effectiveness in four grounding datasets. Specifically, our LBYL-Net outperforms all state-of-the-art two-stage and one-stage methods on ReferitGame. On RefCOCO and RefCOCO+, Our LBYL-Net also achieves comparable results or even better results than existing one-stage methods.


title: Real-time visio-haptic interaction with static soft tissue model shaving geometric and material nonlinearity

abstract: We propose a new approach allowing visio-haptic interaction with a FE model of a human liver having both non-linear geometric and material properties. The material properties used in the model are extracted from the experimental data of pig liver to make the simulations more realistic. Our computational approach consists of two main steps: a pre-computation of the configuration space of all possible deformation states of the model, followed by the interpolation of the precomputed data for the calculation of the reaction forces displayed to the user through a haptic device during the real-time interactions. No a priori assumptions or modeling simplifications about the mathematical complexity of the underlying soft tissue model, size and irregularity of the FE mesh are necessary. We show that deformation and force response of the liver in simulations are heavily influenced by the material model, boundary conditions, path of the loading and the type of function used for the interpolation of the pre-computed data.


title: Star formation histories of Coma Cluster galaxies matched to simulated orbits hint at quenching around first pericenter

abstract: By tracing the orbital and star formation histories of galaxies within the Coma cluster, we seek to understand the role of the high-density cluster environment in quenching these galaxies. We combine star formation histories extracted from high-signal-to-noise spectra of 11 early-type galaxies around the center of the Coma cluster with probability distributions for their orbital parameters obtained using an N-body simulation to connect their orbital and star formation histories. We find that all 11 galaxies likely quenched near their first pericentric approach. Higher stellar mass galaxies ($\log(M_\star/\mathrm{M}_\odot)>10$) had formed a higher fraction of their stellar mass (more than $\sim90\%$) than their lower mass counterparts ($\sim 80$-$90\%$) by the time they fell into the cluster (when they cross $2.5r_\mathrm{vir}$). We find that the expected infall occurred around $z\sim0.6$, followed by the first pericentric passage $\sim4\,\mathrm{Gyr}$ later. Galaxies in our sample formed a significant fraction of their stellar mass, up to $15\%$, between infall and first pericenter, and had assembled more than $\sim98\%$ of their cumulative stellar mass by first pericenter. Unlike previous low-redshift studies that suggest that star formation continues until about first apocenter or later, the high percentage of stellar mass already formed by first pericenter in our sample galaxies points to star formation ceasing within a gigayear after the first pericentric passage. We consider the possible physical mechanisms driving quenching and find that our results resemble the situation in clusters at $z\sim1$, where active stripping of gas (ram-pressure or tidally driven) seems to be required to quench satellites by their first pericentric passage. However, a larger sample will be required to conclusively account for the unknown fraction of preprocessed satellites in the Coma cluster.


title: A Few Observations About State-Centric Online Propaganda

abstract: This paper presents a few observations about pro-Kremlin propaganda between 2015 and early 2021 with a dataset from the East Stratcom Task Force (ESTF), which is affiliated with the European Union (EU) but working independently from it. Instead of focusing on misinformation and disinformation, the observations are motivated by classical propaganda research and the ongoing transformation of media systems. According to the tentative results, (i) the propaganda can be assumed to target both domestic and foreign audiences. Of the countries and regions discussed, (ii) Russia, Ukraine, the United States, and within Europe, Germany, Poland, and the EU have been the most frequently discussed. Also other conflict regions such as Syria have often appeared in the propaganda. In terms of longitudinal trends, however, (iii) most of these discussions have decreased in volume after the digital tsunami in 2016, although the conflict in Ukraine seems to have again increased the intensity of pro-Kremlin propaganda. Finally, (iv) the themes discussed align with state-centric war propaganda and conflict zones, although also post-truth themes frequently appear; from conspiracy theories via COVID-19 to fascism -- anything goes, as is typical to propaganda.


title: Minimal Free Resolutions of Fiber Products

abstract: We construct free resolutions for quotient rings $R/\langle \mathcal{I}', \mathcal{I}\mathcal{J}, \mathcal{J}'\rangle$, give conditions for the quotient to be realized as a fiber product, and give criteria for the construction to be minimal. We then specialize this result to fiber products over a field $k$ and recover explicit formulas for Betti numbers, graded Betti numbers, and Poincar\'{e} series.


title: Flow-based Spatio-Temporal Structured Prediction of Motion Dynamics

abstract: Conditional Normalizing Flows (CNFs) are flexible generative models capable of representing complicated distributions with high dimensionality and large interdimensional correlations, making them appealing for structured output learning. Their effectiveness in modelling multivariates spatio-temporal structured data has yet to be completely investigated. We propose MotionFlow as a novel normalizing flows approach that autoregressively conditions the output distributions on the spatio-temporal input features. It combines deterministic and stochastic representations with CNFs to create a probabilistic neural generative approach that can model the variability seen in high dimensional structured spatio-temporal data. We specifically propose to use conditional priors to factorize the latent space for the time dependent modeling. We also exploit the use of masked convolutions as autoregressive conditionals in CNFs. As a result, our method is able to define arbitrarily expressive output probability distributions under temporal dynamics in multivariate prediction tasks. We apply our method to different tasks, including trajectory prediction, motion prediction, time series forecasting, and binary segmentation, and demonstrate that our model is able to leverage normalizing flows to learn complicated time dependent conditional distributions.


title: Deep learning for visualization and novelty detection in large X-ray diffraction datasets

abstract: We apply variational autoencoders (VAE) to X-ray diffraction (XRD) data analysis on both simulated and experimental thin-film data. We show that crystal structure representations learned by a VAE reveal latent information, such as the structural similarity of textured diffraction patterns. While other artificial intelligence (AI) agents are effective at classifying XRD data into known phases, a similarly conditioned VAE is uniquely effective at knowing what it does not know, rapidly identifying novel phases and mixtures. These capabilities demonstrate that a VAE is a valuable AI agent for materials discovery and understanding XRD measurements both on-the-fly and during post hoc analysis.


title: Nonexistence result for the generalized Tricomi equation with the scale-invariant damping, mass term and time derivative nonlinearity

abstract: In this article, we consider the damped wave equation in the \textit{scale-invariant case} with time-dependent speed of propagation, mass term and time derivative nonlinearity. More precisely, we study the blow-up of the solutions to the following equation: $$ (E) \quad u_{tt}-t^{2m}\Delta u+\frac{\mu}{t}u_t+\frac{\nu^2}{t^2}u=|u_t|^p, \quad \mbox{in}\ \mathbb{R}^N\times[1,\infty), $$ that we associate with small initial data. Assuming some assumptions on the mass and damping coefficients, $\nu$ and $\mu>0$, respectively, that the blow-up region and the lifespan bound of the solution of $(E)$ remain the same as the ones obtained for the case without mass, {\it i.e.} $\nu=0$ in $(E)$. The latter case constitutes, in fact, a shift of the dimension $N$ by $\frac{\mu}{1+m}$ compared to the problem without damping and mass. Finally, we think that the new bound for $p$ is a serious candidate to the critical exponent which characterizes the threshold between the blow-up and the global existence regions.


title: A Short Review of Loop Quantum Gravity

abstract: An outstanding open issue in our quest for physics beyond Einstein is the unification of general relativity (GR) and quantum physics. Loop quantum gravity (LQG) is a leading approach toward this goal. At its heart is the central lesson of GR: Gravity is a manifestation of spacetime geometry. Thus, the approach emphasizes the quantum nature of geometry and focuses on its implications in extreme regimes -- near the big bang and inside black holes -- where Einstein's smooth continuum breaks down. We present a brief overview of the main ideas underlying LQG and highlight a few recent advances. This report is addressed to non-experts.


title: Stagnation Detection in Highly Multimodal Fitness Landscapes

abstract: Stagnation detection has been proposed as a mechanism for randomized search heuristics to escape from local optima by automatically increasing the size of the neighborhood to find the so-called gap size, i.e., the distance to the next improvement. Its usefulness has mostly been considered in simple multimodal landscapes with few local optima that could be crossed one after another. In multimodal landscapes with a more complex location of optima of similar gap size, stagnation detection suffers from the fact that the neighborhood size is frequently reset to $1$ without using gap sizes that were promising in the past. In this paper, we investigate a new mechanism called radius memory which can be added to stagnation detection to control the search radius more carefully by giving preference to values that were successful in the past. We implement this idea in an algorithm called SD-RLS$^{\text{m}}$ and show compared to previous variants of stagnation detection that it yields speed-ups for linear functions under uniform constraints and the minimum spanning tree problem. Moreover, its running time does not significantly deteriorate on unimodal functions and a generalization of the Jump benchmark. Finally, we present experimental results carried out to study SD-RLS$^{\text{m}}$ and compare it with other algorithms.


title: On A Class Of Rank-Based Continuous Semimartingales

abstract: Using the theory of Dirichlet forms we construct a large class of continuous semimartingales on an open domain $E \subset \mathbb{R}^d$, which are governed by rank-based, in addition to name-based, characteristics. Using the results of Baur et al. [Potential Analysis, 38(4):1233-1258,2013] we obtain a strong Feller property for this class of diffusions. As a consequence we are able to establish the nonexistence of triple collisions and obtain a simplified formula for the dynamics of its rank process. We also establish conditions under which the process is ergodic. Our main motivation is Stochastic Portfolio Theory (SPT), where rank-based diffusions of this type are used to model financial markets. We show that three main classes of models studied in SPT -- Atlas models, generalized volatility-stabilized models and polynomial models -- are special cases of our framework.


title: Integral Geometry of pairs of planes

abstract: We deal with integrals of invariant measures of pairs of planes in euclidean space $\mathbb{E}^3$ as considered by Hug and Schneider. In this paper we express some of these integrals in terms of functions of the visual angle of a convex set. As a consequence of our results we evaluate the deficit in a Crofton-type inequality due to Blashcke.


title: Leggett-Garg inequalities and decays of unstable systems

abstract: We apply the Leggett-Garg inequalities (LGI) to the case of classical and quantum unstable systems. For classical systems the two assumptions of macroscopic realism and non-invasive measurements imply that the three-measurement string $K_3$ is identically equal to one. Also for quantum mechanical systems -- for which the two assumptions are in general not valid -- we find that $K_3=1$ for purely exponential decays ($K_3\leq1$ is the general LGI). On the other hand, the necessary deviations from the exponential decay law at short and long times predicted by quantum mechanics lead to values of $K_3 \neq 1$. Moreover, a strict violations $K_3>1$ occurs typically at short times. Thus, we conclude that experiments in which such deviations from the exponential decay law have been observed should also find in their data violations of the LGIs.


title: On the perturbative expansion at high temperature and implications for cosmological phase transitions

abstract: We revisit the perturbative expansion at high temperature and investigate its convergence by inspecting the renormalisation scale dependence of the effective potential. Although at zero temperature the renormalisation group improved effective potential is scale independent at one-loop, we show how this breaks down at high temperature, due to the misalignment of loop and coupling expansions. Following this, we show how one can recover renormalisation scale independence at high temperature, and that it requires computations at two-loop order. We demonstrate how this resolves some of the huge theoretical uncertainties in the gravitational wave signal of first-order phase transitions, though uncertainties remain stemming from the computation of the bubble nucleation rate.


title: Minimization Over the Nonconvex Sparsity Constraint Using A Hybrid First-order method

abstract: We investigate a class of nonconvex optimization problems characterized by a feasible set consisting of level-bounded nonconvex regularizers, with a continuously differentiable objective. We propose a novel hybrid approach to tackle such structured problems within a first-order algorithmic framework by combining the Frank-Wolfe method and the gradient projection method. The Frank-Wolfe step is amenable to a closed-form solution, while the gradient projection step can be efficiently performed in a reduced subspace. A notable characteristic of our approach lies in its independence from introducing smoothing parameters, enabling efficient solutions to the original nonsmooth problems. We establish the global convergence of the proposed algorithm and show the $O(1/\sqrt{k})$ convergence rate in terms of the optimality error for nonconvex objectives under reasonable assumptions. Numerical experiments underscore the practicality and efficiency of our proposed algorithm compared to existing cutting-edge methods. Furthermore, we highlight how the proposed algorithm contributes to the advancement of nonconvex regularizer-constrained optimization.


title: The Faber-Krahn inequality for the Hermite operator with Robin boundary condition

abstract: In this paper we prove a Faber-Krahn type inequality for the first eigenvalue of the Hermite operator with Robin boundary condition. We prove that the optimal set is an half-space and we also address the equality case in such inequality.


title: A preliminary study on evaluating Consultation Notes with Post-Editing

abstract: Automatic summarisation has the potential to aid physicians in streamlining clerical tasks such as note taking. But it is notoriously difficult to evaluate these systems and demonstrate that they are safe to be used in a clinical setting. To circumvent this issue, we propose a semi-automatic approach whereby physicians post-edit generated notes before submitting them. We conduct a preliminary study on the time saving of automatically generated consultation notes with post-editing. Our evaluators are asked to listen to mock consultations and to post-edit three generated notes. We time this and find that it is faster than writing the note from scratch. We present insights and lessons learnt from this experiment.


title: Dynamical properties of disjunctive Boolean networks

abstract: A Boolean network is a mapping $f :\{0,1\}^n \to \{0,1\}^n$, which can be used to model networks of $n$ interacting entities, each having a local Boolean state that evolves over time according to a deterministic function of the current configuration of states. In this paper, we are interested in disjunctive networks, where each local function is simply the disjunction of a set of variables. As such, this network is somewhat homogeneous, though the number of variables may vary from entity to entity, thus yielding a generalised cellular automaton. The aim of this paper is to review some of the main results, derive some additional fundamental results, and highlight some open problems, on the dynamics of disjunctive networks. We first review the different defining characteristics of disjunctive networks and several ways of representing them using graphs, Boolean matrices, or binary relations. We then focus on three dynamical properties of disjunctive networks: their image points, their periodic points, and their fixed points. For each class of points, we review how they can be characterised and study how many they could be. The paper finishes with different avenues for future work on the dynamics of disjunctive networks and how to generalise them.


title: What does a 4.2$\sigma$ discrepancy mean? A brief remark on the statistics of the Muon g-2 Experiment

abstract: On April 7, 2001 the Muon g-2 Experiment at Fermilab presented its first results which lead to a 4.2$\sigma$ discrepancy between the world average of the muon anomalous magnetic dipole moment and the standard model prediction of this quantity. I take issue with the statistical meaning of this finding.


title: Learning Sampling Policy for Faster Derivative Free Optimization

abstract: Zeroth-order (ZO, also known as derivative-free) methods, which estimate the gradient only by two function evaluations, have attracted much attention recently because of its broad applications in machine learning community. The two function evaluations are normally generated with random perturbations from standard Gaussian distribution. To speed up ZO methods, many methods, such as variance reduced stochastic ZO gradients and learning an adaptive Gaussian distribution, have recently been proposed to reduce the variances of ZO gradients. However, it is still an open problem whether there is a space to further improve the convergence of ZO methods. To explore this problem, in this paper, we propose a new reinforcement learning based ZO algorithm (ZO-RL) with learning the sampling policy for generating the perturbations in ZO optimization instead of using random sampling. To find the optimal policy, an actor-critic RL algorithm called deep deterministic policy gradient (DDPG) with two neural network function approximators is adopted. The learned sampling policy guides the perturbed points in the parameter space to estimate a more accurate ZO gradient. To the best of our knowledge, our ZO-RL is the first algorithm to learn the sampling policy using reinforcement learning for ZO optimization which is parallel to the existing methods. Especially, our ZO-RL can be combined with existing ZO algorithms that could further accelerate the algorithms. Experimental results for different ZO optimization problems show that our ZO-RL algorithm can effectively reduce the variances of ZO gradient by learning a sampling policy, and converge faster than existing ZO algorithms in different scenarios.


title: ProMIPS: Efficient High-Dimensional c-Approximate Maximum Inner Product Search with a Lightweight Index

abstract: Due to the wide applications in recommendation systems, multi-class label prediction and deep learning, the Maximum Inner Product (MIP) search problem has received extensive attention in recent years. Faced with large-scale datasets containing high-dimensional feature vectors, the state-of-the-art LSH-based methods usually require a large number of hash tables or long hash codes to ensure the searching quality, which takes up lots of index space and causes excessive disk page accesses. In this paper, we relax the guarantee of accuracy for efficiency and propose an efficient method for c-Approximate Maximum Inner Product (c-AMIP) search with a lightweight iDistance index. We project high-dimensional points to low-dimensional ones via 2-stable random projections and derive probability-guaranteed searching conditions, by which the c-AMIP results can be guaranteed in accuracy with arbitrary probabilities. To further improve the efficiency, we propose Quick-Probe for quickly determining the searching bound satisfying the derived condition in advance, avoiding the inefficient incremental searching process. Extensive experimental evaluations on four real datasets demonstrate that our method requires less pre-processing cost including index size and pre-processing time. In addition, compared to the state-of-the-art benchmark methods, it provides superior results on searching quality in terms of overall ratio and recall, and efficiency in terms of page access and running time.


title: A branching process with deletions and mergers that matches the threshold for hypercube percolation

abstract: We define a graph process $\mathcal{G}(p,q)$ based on a discrete branching process with deletions and mergers, which is inspired by the 4-cycle structure of both the hypercube $Q_d$ and the lattice $\mathbb{Z}^d$ for large $d$. Individuals have Poisson offspring distribution with mean $1+p$ and certain deletions and mergers occur with probability $q$; these parameters correspond to the mean number of edges discovered from a given vertex in an exploration of a percolation cluster and to the probability that a non-backtracking path of length four closes a cycle, respectively. We prove survival and extinction under certain conditions on $p$ and $q$ that heuristically match the known expansions of the critical probabilities for bond percolation on the lattice $\mathbb{Z}^d$ and the hypercube $Q_d$. These expansions have been rigorously established by Hara and Slade in 1995, and van der Hofstad and Slade in 2006, respectively. We stress that our method does not constitute a branching process proof for the percolation threshold. The analysis of the graph process survival is considerably more challenging than for branching processes in discrete time, due to the interdependence between the descendants of different individuals in the same generation. In fact, it is left open whether the survival probability of $\mathcal{G}(p,q)$ is monotone in $p$ or $q$; we discuss this and some other open problems regarding the new graph process.


title: Decimation limits of principal algebraic $\mathbb{Z}^d$-actions

abstract: Let $f$ be a Laurent polynomial in $d$ commuting variables with integer coefficients. Associated to $f$ is the principal algebraic $\mathbb{Z}^d$-action $\alpha_f$ on a compact subgroup $X_f$ of $\mathbb{T}^{\mathbb{Z}^d}$ determined by $f$. Let $N\ge1$ and restrict points in $X_f$ to coordinates in $N\mathbb{Z}^d$. The resulting algebraic $N\mathbb{Z}^d$-action is again principal, and is associated to a polynomial $g_N$ whose support grows with $N$ and whose coefficients grow exponentially with $N$. We prove that by suitably renormalizing these decimations we can identify a limiting behavior given by a continuous concave function on the Newton polytope of $f$, and show that this decimation limit is the negative of the Legendre dual of the Ronkin function of $f$. In certain cases with two variables, the decimation limit coincides with the surface tension of random surfaces related to dimer models, but the statistical physics methods used to prove this are quite different and depend on special properties of the polynomial.


title: Hopf algebra structure on free Rota-Baxter algebras by angularly decorated rooted trees

abstract: By means of a new notion of subforests of an angularly decorated rooted forest, we give a combinatorial construction of a coproduct on the free Rota-Baxter algebra on angularly decorated rooted forests. We show that this coproduct equips the Rota-Baxter algebra with a bialgebra structure and further a Hopf algebra structure.


title: Approximate Atkin-Serre Conjecture

abstract: Let $\lambda(m)$ be the $m$th coefficient of a modular form $f(z)=\sum_{m\geq 1} \lambda(m)q^m$ of weight $k\geq 4$, let $p^n$ be a prime power, and let $\varepsilon>0$ be a small number. An approximate of the Atkin-Serre conjecture on the lower bound of the form $\left |\lambda\left (p^n\right )\right | \geq p^{(k-1)n/2-2k+2\varepsilon}$ is presented in this note.


title: The Green polynomials via vertex operators

abstract: An iterative formula for the Green polynomial is given using the vertex operator realization of the Hall-Littlewood function. Based on this, (1) a general combinatorial formula of the Green polynomial is given; (2) several compact formulas are given for Green's polynomials associated with upper partitions of length $\leq 3$ and the diagonal lengths $\leq 3$; (3) a Murnaghan-Nakayama type formula for the Green polynomial is obtained; and (4) an iterative formula is derived for the bitrace of the finite general linear group $G$ and the Iwahori-Hecke algebra of type $A$ on the permutation module of $G$ by its Borel subgroup.


title: Towards objectively evaluating the quality of generated medical summaries

abstract: We propose a method for evaluating the quality of generated text by asking evaluators to count facts, and computing precision, recall, f-score, and accuracy from the raw counts. We believe this approach leads to a more objective and easier to reproduce evaluation. We apply this to the task of medical report summarisation, where measuring objective quality and accuracy is of paramount importance.


title: Provable Repair of Deep Neural Networks

abstract: Deep Neural Networks (DNNs) have grown in popularity over the past decade and are now being used in safety-critical domains such as aircraft collision avoidance. This has motivated a large number of techniques for finding unsafe behavior in DNNs. In contrast, this paper tackles the problem of correcting a DNN once unsafe behavior is found. We introduce the provable repair problem, which is the problem of repairing a network N to construct a new network N' that satisfies a given specification. If the safety specification is over a finite set of points, our Provable Point Repair algorithm can find a provably minimal repair satisfying the specification, regardless of the activation functions used. For safety specifications addressing convex polytopes containing infinitely many points, our Provable Polytope Repair algorithm can find a provably minimal repair satisfying the specification for DNNs using piecewise-linear activation functions. The key insight behind both of these algorithms is the introduction of a Decoupled DNN architecture, which allows us to reduce provable repair to a linear programming problem. Our experimental results demonstrate the efficiency and effectiveness of our Provable Repair algorithms on a variety of challenging tasks.


title: Signatures of the quantum nature of gravity in the differential motion of two masses

abstract: We show that a signature of the quantum nature of gravity is the quantum mechanical squeezing of the differential motion of two identical masses with respect to their common mode. This is because the gravitational interaction depends solely on the relative position of the two masses. In principle, this squeezing is equivalent to quantum entanglement between the masses. In practice, detecting the squeezing is more feasible than detecting the entanglement. To that end, we propose an optical interferometric scheme to falsify hypothetical models of gravity.


title: Automatic Knowledge Extraction with Human Interface

abstract: OrbWeaver, an automatic knowledge extraction system paired with a human interface, streamlines the use of unintuitive natural language processing software for modeling systems from their documentation. OrbWeaver enables the indirect transfer of knowledge about legacy systems by leveraging open source tools in document understanding and processing as well as using web based user interface constructs. By design, OrbWeaver is scalable, extensible, and usable; we demonstrate its utility by evaluating its performance in processing a corpus of documents related to advanced persistent threats in the cyber domain. The results indicate better knowledge extraction by revealing hidden relationships, linking co-related entities, and gathering evidence.


title: Concentration study of M-estimators using the influence function

abstract: We present a new finite-sample analysis of M-estimators of locations in $\mathbb{R}^d$ using the tool of the influence function. In particular, we show that the deviations of an M-estimator can be controlled thanks to its influence function (or its score function) and then, we use concentration inequality on M-estimators to investigate the robust estimation of the mean in high dimension in a corrupted setting (adversarial corruption setting) for bounded and unbounded score functions. For a sample of size $n$ and covariance matrix $\Sigma$, we attain the minimax speed $\sqrt{Tr(\Sigma)/n}+\sqrt{\|\Sigma\|_{op}\log(1/\delta)/n}$ with probability larger than $1-\delta$ in a heavy-tailed setting. One of the major advantages of our approach compared to others recently proposed is that our estimator is tractable and fast to compute even in very high dimension with a complexity of $O(nd\log(Tr(\Sigma)))$ where $n$ is the sample size and $\Sigma$ is the covariance matrix of the inliers. In practice, the code that we make available for this article proves to be very fast.


title: Active region contributions to the solar wind over multiple solar cycles

abstract: Both coronal holes and active regions are source regions of the solar wind. The distribution of these coronal structures across both space and time is well known, but it is unclear how much each source contributes to the solar wind. In this study we use photospheric magnetic field maps observed over the past four solar cycles to estimate what fraction of magnetic open solar flux is rooted in active regions, a proxy for the fraction of all solar wind originating in active regions. We find that the fractional contribution of active regions to the solar wind varies between 30% to 80% at any one time during solar maximum and is negligible at solar minimum, showing a strong correlation with sunspot number. While active regions are typically confined to latitudes $\pm$30$^{\circ}$ in the corona, the solar wind they produce can reach latitudes up to $\pm$60$^{\circ}$. Their fractional contribution to the solar wind also correlates with coronal mass ejection rate, and is highly variable, changing by $\pm$20% on monthly timescales within individual solar maxima. We speculate that these variations could be driven by coronal mass ejections causing reconfigurations of the coronal magnetic field on sub-monthly timescales.


title: Coefficient-Robust A Posteriori Error Estimation for H(curl)-elliptic Problems

abstract: We extend the framework of a posteriori error estimation by preconditioning in [Li, Y., Zikatanov, L.: Computers \& Mathematics with Applications. \textbf{91}, 192-201 (2021)] and derive new a posteriori error estimates for H(curl)-elliptic two-phase interface problems. The proposed error estimator provides two-sided bounds for the discretization error and is robust with respect to coefficient variation under mild assumptions. For H(curl) problems with constant coefficients, the performance of this estimator is numerically compared with the one analyzed in [Sch\"oberl, J.: Math.~Comp. \textbf{77}(262), 633-649 (2008)].


title: Exponential decay of mutual information for Gibbs states of local Hamiltonians

abstract: The thermal equilibrium properties of physical systems can be described using Gibbs states. It is therefore of great interest to know when such states allow for an easy description. In particular, this is the case if correlations between distant regions are small. In this work, we consider 1D quantum spin systems with local, finite-range, translation-invariant interactions at any temperature. In this setting, we show that Gibbs states satisfy uniform exponential decay of correlations and, moreover, the mutual information between two regions decays exponentially with their distance, irrespective of the temperature. In order to prove the latter, we show that exponential decay of correlations of the infinite-chain thermal states, exponential uniform clustering and exponential decay of the mutual information are equivalent for 1D quantum spin systems with local, finite-range interactions at any temperature. In particular, Araki's seminal results yields that the three conditions hold in the translation-invariant case. The methods we use are based on the Belavkin-Staszewski relative entropy and on techniques developed by Araki. Moreover, we find that the Gibbs states of the systems we consider are superexponentially close to saturating the data-processing inequality for the Belavkin-Staszewski relative entropy.


title: SVDistNet: Self-Supervised Near-Field Distance Estimation on Surround View Fisheye Cameras

abstract: A 360{\deg} perception of scene geometry is essential for automated driving, notably for parking and urban driving scenarios. Typically, it is achieved using surround-view fisheye cameras, focusing on the near-field area around the vehicle. The majority of current depth estimation approaches focus on employing just a single camera, which cannot be straightforwardly generalized to multiple cameras. The depth estimation model must be tested on a variety of cameras equipped to millions of cars with varying camera geometries. Even within a single car, intrinsics vary due to manufacturing tolerances. Deep learning models are sensitive to these changes, and it is practically infeasible to train and test on each camera variant. As a result, we present novel camera-geometry adaptive multi-scale convolutions which utilize the camera parameters as a conditional input, enabling the model to generalize to previously unseen fisheye cameras. Additionally, we improve the distance estimation by pairwise and patchwise vector-based self-attention encoder networks. We evaluate our approach on the Fisheye WoodScape surround-view dataset, significantly improving over previous approaches. We also show a generalization of our approach across different camera viewing angles and perform extensive experiments to support our contributions. To enable comparison with other approaches, we evaluate the front camera data on the KITTI dataset (pinhole camera images) and achieve state-of-the-art performance among self-supervised monocular methods. An overview video with qualitative results is provided at https://youtu.be/bmX0UcU9wtA. Baseline code and dataset will be made public.


title: Precise determination of the B0s-B0sbar oscillation frequency

abstract: Mesons comprising a beauty quark and a strange quark can oscillate between particle (B0s) and antiparticle (B0s) flavour eigenstates, with a frequency given by the mass difference between heavy and light mass eigenstates, deltams. Here we present ameasurement of deltams using B0s2DsPi decays produced in proton-proton collisions collected with the LHCb detector at the Large Hadron Collider. The oscillation frequency is found to be deltams = 17.7683 +- 0.0051 +- 0.0032 ps-1, where the first uncertainty is statistical and the second systematic. This measurement improves upon the current deltams precision by a factor of two. We combine this result with previous LHCb measurements to determine deltams = 17.7656 +- 0.0057 ps-1, which is the legacy measurement of the original LHCb detector.


title: Evaluating participants' experience of extended interaction with cutting-edge physics research through the PRiSE 'research in schools' programme

abstract: Physics in schools is distinctly different from, and struggles to capture the excitement of, university research-level work. Initiatives where students engage in independent research linked to cutting-edge physics within their school over several months might help mitigate this, potentially facilitating the uptake of science in higher education. However, how such initiatives are best supported remains unclear and understudied. This paper evaluates a provision framework, `Physics Research in School Environments' (PRiSE), using survey data from participating 14-18 year-old students and their teachers to understand their experience of the programme. The results show that PRiSE appears to provide much more positive experiences than typical university outreach initiatives due to the nature of the opportunities afforded over several months, which schools would not be able to provide without external input. The intensive support offered is deemed necessary, with all elements appearing equally important. Based on additional feedback from independent researchers and engagement professionals, we also suggest the framework could be adopted at other institutions and applied to their own areas of scientific research, something which has already started to occur.


title: Quantum Anomalous Hall Effect in Three-dimensional Topological Insulator/Thin-film Ferromagnetic Metal Bilayer Structure

abstract: We theoretically show that the three-dimensional (3D) topological insulator (TI)/thin-film ferromagnetic metal (FMM) bilayer structure is possible to be a quantum anomalous Hall (QAH) insulator with a wide global band gap. Studying the band structure and the weight distributions of eigenstates, we demonstrate that the attachment of a metallic thin-film on the 3DTI can shift the topologically non-trivial state into the metal layers due to the hybridization of bands around the original Dirac point. By introducing the magnetic exchange interaction in the thin-film layers, we compute the anomalous Hall conductivity and magnetic anisotropy of the bilayer structure to suggest the appearance of wider gap realizing QAH effect than usual materials, such as magnetically doped thin-films of 3DTI and 3DTI/ferromagnetic insulator heterostructures. Our results indicate that the 3DTI/thin-film FMM bilayer structure may implement the QAH effect even at room temperature, which will pave a way to the experimental realization of other exotic topological quantum phenomena.


title: Behavior-Guided Actor-Critic: Improving Exploration via Learning Policy Behavior Representation for Deep Reinforcement Learning

abstract: In this work, we propose Behavior-Guided Actor-Critic (BAC), an off-policy actor-critic deep RL algorithm. BAC mathematically formulates the behavior of the policy through autoencoders by providing an accurate estimation of how frequently each state-action pair was visited while taking into consideration state dynamics that play a crucial role in determining the trajectories produced by the policy. The agent is encouraged to change its behavior consistently towards less-visited state-action pairs while attaining good performance by maximizing the expected discounted sum of rewards, resulting in an efficient exploration of the environment and good exploitation of all high reward regions. One prominent aspect of our approach is that it is applicable to both stochastic and deterministic actors in contrast to maximum entropy deep reinforcement learning algorithms. Results show considerably better performances of BAC when compared to several cutting-edge learning algorithms.


title: Compatible structures on unary binary nonsymmetric operads with quadratic and cubic relations

abstract: Various compatibility conditions among replicated copies of operations in a given algebraic structure have appeared in broad contexts in recent years. Taking an uniform approach, this paper gives an operadic study of compatibility conditions for nonsymmetric operads with unary and binary operations, and homogeneous quadratic and cubic relations. This generalizes the previous studies for binary quadratic operads. We consider three compatibility conditions, namely the linear compatibility, matching compatibility and total compatibility, with increasingly strict restraints among the replicated copies. The linear compatibility is in Koszul dual to the total compatibility, while the matching compatibility is self dual. Further, each compatibility can be expressed in terms of either one or both of the two Manin square products.


title: Spin diffusion length associated to out-of-plane resistivity of Pt thin films in spin pumping experiments

abstract: We present a broadband ferromagnetic resonance study of the Gilbert damping enhancement ($\Delta \alpha$) due to spin pumping in NiFe/Pt bilayers. The bilayers, which have negligible interfacial spin memory loss, are studied as a function of the Pt layer thickness ($t_{\text{Pt}}$) and temperature (100-293 K). Within the framework of diffusive spin pumping theory, we demonstrate that Dyakonov-Perel (DP) or Elliot-Yaffet (EY) spin relaxation mechanisms acting alone are incompatible with our observations. In contrast, if we consider that the relation between spin relaxation characteristic time ($\tau_{\text{s}}$) and momentum relaxation characteristic time ($\tau_{\text{p}}$) is determined by a superposition of DP and EY mechanisms, the qualitative and quantitative agreement with experimental results is excellent. Remarkably, we found that $\tau_{\text{p}}$ must be determined by the out-of-plane electrical resistivity ($\rho$) of the Pt film and hence its spin diffusion length ($\lambda_{\text{Pt}}$) is independent of $t_{\text{Pt}}$. Our work settles the controversy regarding the $t_{\text{Pt}}$ dependence of $\lambda_{\text{Pt}}$ by demonstrating its fundamental connection with $\rho$ considered along the same direction of spin current flow. \end{abstract}


title: Exploring the N$\Lambda$-N$\Sigma$ coupled system with high precision correlation techniques at the LHC

abstract: The interaction of $\Lambda$ and $\Sigma$ hyperons (Y) with nucleons (N) is strongly influenced by the coupled-channel dynamics. Due to the small mass difference of the $\rm N \Lambda$ and $\rm N \Sigma$ systems, the sizeable coupling strength of the $\rm N \Sigma\leftrightarrow N \Lambda$ processes constitutes a crucial element in the determination of the N$\Lambda$ interaction. In this letter we present the most precise measurements on the interaction of p$\Lambda$ pairs, from zero relative momentum up to the opening of the $\rm N \Sigma$ channel. The correlation function in the relative momentum space for $\mathrm{p}\Lambda\oplus\overline{\mathrm{p}}\overline{\Lambda}$ pairs measured in high-multiplicity triggered pp collisions at $\sqrt{s}~=~13$ TeV at the LHC is reported. The opening of the inelastic N$\Sigma$ channels is visible in the extracted correlation function as a cusp-like structure occurring at relative momentum $k^{*}$ = 289 MeV/$c$. This represents the first direct experimental observation of the $\rm N \Sigma\rightarrow N \Lambda$ coupled channel in the p$\Lambda$ system. The correlation function is compared with recent chiral effective field theory calculations, based on different strengths of the $\rm N \Sigma\leftrightarrow N \Lambda$ transition potential. A weaker coupling, as possibly supported by the present measurement, would require a more repulsive three-body NN$\Lambda$ interaction for a proper description of the $\Lambda$ in-medium properties, which has implications on the nuclear equation of state and for the presence of hyperons inside neutron stars.


title: Symbolic Powers of Derksen Ideals

abstract: Given that symbolic and ordinary powers of an ideal do not always coincide, we look for conditions on the ideal such that equality holds for every natural number. This paper focuses on studying the equality for Derksen ideals defined by finite groups acting linearly on a polynomial ring.


title: Studying Alignment in a Collaborative Learning Activity via Automatic Methods: The Link Between What We Say and Do

abstract: A dialogue is successful when there is alignment between the speakers at different linguistic levels. In this work, we consider the dialogue occurring between interlocutors engaged in a collaborative learning task, where they are not only evaluated on how well they performed, but also on how much they learnt. The main contribution of this work is to propose new automatic measures to study alignment; focusing on verbal (lexical) alignment, and behavioral alignment (when an instruction given by one was followed with concrete actions by another). A second contribution of our work is to study how spontaneous speech phenomena are used in the process of alignment. Lastly, we make public the dataset to study alignment in educational dialogues. Our results show that all teams verbally and behaviourally align to some degree regardless of their performance and learning, and our measures capture that teams that did not succeed in the task were simply slower to collaborate. Thus we find that teams that performed better, were faster to align. Furthermore, our methodology captures a productive period that includes the time where the interlocutors came up with their best solutions. We also find that well-performing teams verbalise the marker "oh" more when they are behaviourally aligned, compared to other times in the dialogue; showing that this marker is an important cue in alignment. To the best of our knowledge, we are the first to study the role of "oh" as an information management marker in a behavioral context (i.e. in connection to actions taken in a physical environment), compared to only a verbal one. Our measures contribute to the research in the field of educational dialogue and the intersection between dialogue and collaborative learning research.


title: Ice Core Science Meets Computer Vision: Challenges and Perspectives

abstract: Polar ice cores play a central role in studies of the earth's climate system through natural archives. A pressing issue is the analysis of the oldest, highly thinned ice core sections, where the identification of paleoclimate signals is particularly challenging. For this, state-of-the-art imaging by laser-ablation inductively-coupled plasma mass spectrometry (LA-ICP-MS) has the potential to be revolutionary due to its combination of micron-scale 2D chemical information with visual features. However, the quantitative study of record preservation in chemical images raises new questions that call for the expertise of the computer vision community. To illustrate this new inter-disciplinary frontier, we describe a selected set of key questions. One critical task is to assess the paleoclimate significance of single line profiles along the main core axis, which we show is a scale-dependent problem for which advanced image analysis methods are critical. Another important issue is the evaluation of post-depositional layer changes, for which the chemical images provide rich information. Accordingly, the time is ripe to begin an intensified exchange among the two scientific communities of computer vision and ice core science. The collaborative building of a new framework for investigating high-resolution chemical images with automated image analysis techniques will also benefit the already wide-spread application of LA-ICP-MS chemical imaging in the geosciences.


title: "Thanks for helping me find my enthusiasm for physics!" The lasting impacts "research in schools" projects can have on students, teachers, and schools

abstract: Using 6 years of evaluation data we assess the medium- and long-term impacts upon a diverse range of students, teachers, and schools from participating in a programme of protracted university-mentored projects based in cutting-edge space science, astronomy, and particle physics research. After having completed their 6-month-long projects, the 14-18 year-old school students report having substantially increased in confidence relating to relevant scientific topics and methods as well as having developed numerous skills, outcomes which are corroborated by teachers. There is evidence that the projects helped increase students' aspirations towards physics, whereas science aspirations (generally high to begin with) were typically maintained or confirmed through their involvement. Longitudinal evaluation 3 years later has revealed that these projects have been lasting experiences for students which they have benefited and drawn upon in their subsequent university education. Data on students' destinations suggests that their involvement in research projects has made them more likely to undertake physics and STEM degrees than would otherwise be expected. Cases of co-created novel physics research resulting from PRiSE also has seemed to have a powerful effect, not only on the student co-authors but participating students from other schools also. Teachers have also been positively affected through participating, with the programme having influenced their own knowledge, skills, and pedagogy, as well as having advantageous effects felt across their wider schools. These impacts suggest that similar `research in schools' initiatives may have a role to play in aiding the increased uptake and diversity of physics and/or STEM in higher education as well as meaningfully enhancing the STEM environment within schools.


title: A Case Study of Nonresponse Bias Analysis In Educational Assessment Surveys

abstract: Nonresponse bias is a widely prevalent problem for data on education. We develop a ten-step exemplar to guide nonresponse bias analysis (NRBA) in cross-sectional studies and apply these steps to the Early Childhood Longitudinal Study, Kindergarten Class of 2010-11. A key step is the construction of indices of nonresponse bias based on proxy pattern-mixture models for survey variables of interest. A novel feature is to characterize the strength of evidence about nonresponse bias contained in these indices, based on the strength of the relationship between the characteristics in the nonresponse adjustment and the key survey variables. Our NRBA improves existing methods by incorporating both missing at random and missing not at random mechanisms, and all analyses can be done straightforwardly with standard statistical software.


title: Fallback Accretion Model for the Years-to-Decades X-ray Counterpart to GW170817

abstract: A new component was reported in the X-ray counterpart to the binary neutron-star merger and gravitational wave event GW170817, exceeding the afterglow emission from an off-axis structured jet. The afterglow emission from the kilonova/macronova ejecta may explain the X-ray excess but exceeds the radio observations if the spectrum is the same. We propose a fallback accretion model that a part of ejecta from the neutron star merger falls back and forms a disk around the central compact object. In the super-Eddington accretion phase, the X-ray luminosity stays near the Eddington limit of a few solar masses and the radio is weak, as observed. This will be followed by a power law decay. The duration of the constant luminosity phase conveys the initial fallback timescale $t_0$ in the past. The current multi-year duration requires $t_0 > 3$--$30$ sec, suggesting that the disk wind rather than the dynamical ejecta falls back after the jet launch. Future observations in the next decades will probe the timescale of $t_0 \sim 10$--$10^4$ sec, around the time of extended emission in short gamma-ray bursts. The fallback accretion has not been halted by the $r$-process heating, implying that fission is weak on the year scale. We predict that the X-ray counterpart will disappear in a few decades due to the $r$-process halting or the depletion of fallback matter.


title: Larger-Context Tagging: When and Why Does It Work?

abstract: The development of neural networks and pretraining techniques has spawned many sentence-level tagging systems that achieved superior performance on typical benchmarks. However, a relatively less discussed topic is what if more context information is introduced into current top-scoring tagging systems. Although several existing works have attempted to shift tagging systems from sentence-level to document-level, there is still no consensus conclusion about when and why it works, which limits the applicability of the larger-context approach in tagging tasks. In this paper, instead of pursuing a state-of-the-art tagging system by architectural exploration, we focus on investigating when and why the larger-context training, as a general strategy, can work. To this end, we conduct a thorough comparative study on four proposed aggregators for context information collecting and present an attribute-aided evaluation method to interpret the improvement brought by larger-context training. Experimentally, we set up a testbed based on four tagging tasks and thirteen datasets. Hopefully, our preliminary observations can deepen the understanding of larger-context training and enlighten more follow-up works on the use of contextual information.


title: Routine Hospital-based SARS-CoV-2 Testing Outperforms State-based Data in Predicting Clinical Burden

abstract: Throughout the COVID-19 pandemic, government policy and healthcare implementation responses have been guided by reported positivity rates and counts of positive cases in the community. The selection bias of these data calls into question their validity as measures of the actual viral incidence in the community and as predictors of clinical burden. In the absence of any successful public or academic campaign for comprehensive or random testing, we have developed a proxy method for synthetic random sampling, based on viral RNA testing of patients who present for elective procedures within a hospital system. We present here an approach under multilevel regression and poststratification (MRP) to collecting and analyzing data on viral exposure among patients in a hospital system and performing statistical adjustment that has been made publicly available to estimate true viral incidence and trends in the community. We apply our MRP method to track viral behavior in a mixed urban-suburban-rural setting in Indiana. This method can be easily implemented in a wide variety of hospital settings. Finally, we provide evidence that this model predicts the clinical burden of SARS-CoV-2 earlier and more accurately than currently accepted metrics.


title: Highly Variable $\gamma$-Ray Emission of CTD 135 and Implications for its Compact Symmetric Structure

abstract: The $\gamma$-ray emission properties of CTD 135, a typical compact symmetric object (CSO), are investigated with $\sim$11-year Fermi/LAT observations. We show that it has bright and significantly variable GeV emission, with the $\gamma$-ray luminosity of $L_{\gamma}\sim10^{47}$ erg s$^{-1}$ and a variation index of TS$_{\rm var}=1002$. A quasi-periodic oscillation (QPO) with a periodicity of $\sim$460 days is detected in the global 95\% false-alarm level. These $\gamma$-ray emission features are similar to that of blazars. Its broadband spectral energy distribution (SED) can be attributed to the radiations of the relativistic electrons accelerated in the core region and the extended region. The SED modeling shows that the $\gamma$-rays are from the core region, which has a Doppler boosting factor of $\delta\sim10.8$ and relativistically moves with a small viewing angle, being similar to blazar jets. On the base of the analysis results, we propose that the episodic activity of the central engine in CTD 135 results in a blazar-like jet and the bubble-like lobes as the Fermi bubbles in the Galaxy. The strong $\gamma$-ray emission with obvious variability is from the jet radiations and the symmetric radio structure is attributed to the bubbles. The jet radiation power and disk luminosity in units of Eddington luminosity of CTD 135 follow the same relation as other young radio galaxies, indicating that its jet radiation may be also driven by the Eddington ratio.


title: Benchmarking Scene Text Recognition in Devanagari, Telugu and Malayalam

abstract: Inspired by the success of Deep Learning based approaches to English scene text recognition, we pose and benchmark scene text recognition for three Indic scripts - Devanagari, Telugu and Malayalam. Synthetic word images rendered from Unicode fonts are used for training the recognition system. And the performance is bench-marked on a new IIIT-ILST dataset comprising of hundreds of real scene images containing text in the above mentioned scripts. We use a segmentation free, hybrid but end-to-end trainable CNN-RNN deep neural network for transcribing the word images to the corresponding texts. The cropped word images need not be segmented into the sub-word units and the error is calculated and backpropagated for the the given word image at once. The network is trained using CTC loss, which is proven quite effective for sequence-to-sequence transcription tasks. The CNN layers in the network learn to extract robust feature representations from word images. The sequence of features learnt by the convolutional block is transcribed to a sequence of labels by the RNN+CTC block. The transcription is not bound by word length or a lexicon and is ideal for Indian languages which are highly inflectional. IIIT-ILST dataset, synthetic word images dataset and the script used to render synthetic images are available at http://cvit.iiit.ac.in/research/projects/cvit-projects/iiit-ilst


title: Schools of all backgrounds can do physics research: On the accessibility and equity of the PRiSE approach to independent research projects

abstract: Societal biases are a major issue in school students' access to and interaction with science. Schools engagement programmes in science from universities, like independent research projects, which could try and tackle these problems are, however, often inequitable. We evaluate these concerns applied to one such programme, `Physics Research in School Environments' (PRiSE), which features projects in space science, astronomy, and particle physics. Comparing the schools involved with PRiSE to those of other similar schemes and UK national statistics, we find that PRiSE has engaged a much more diverse set of schools with significantly more disadvantaged groups than is typical. While drop-off occurs within the protracted programme, we find no evidence of systematic biases present. The majority of schools that complete projects return for multiple years of the programme, with this repeated buy-in from schools again being unpatterned by typical societal inequalities. Therefore, schools' ability to succeed at independent research projects appears independent of background within the PRiSE framework. Qualitative feedback from teachers show that the diversity and equity of the programme, which they attribute to the level of support offered through PRiSE's framework, is valued and they have highlighted further ways of making the projects potentially even more accessible. Researcher-involvement, uncommon in many other programmes, along with teacher engagement and communication are found to be key elements to success in independent research projects overall.


title: Equidistribution de sous-vari\'et\'es sp\'eciales et o-minimalit\'e: Andr\'e-Oort g\'eom\'etrique

abstract: A characterization of subvarieties of Shimura varieties which contain a Zariski dense subset of weakly special subvarieties has been proved by the second author, by combining o-minimality results and functional transcendence results. In this paper, we obtain a new proof of this statement by dynamics techniques on homogeneous spaces in the spirit of the earlier work of Clozel and the second author. The proof combines ergodic theory \`a la Ratner, with a statement on the dimension of a Hausdorff limit of a sequence of definable subsets (in an o-minimal theory) extracted from a definable family. One obtains in passing general homogeneous dynamics statements valid on arbitrary arithmetic quotients which are of independent interest, that can be applied in the study of variations of Hodge structures and their associated period domains.


title: The Trans-Planckian Censorship Conjecture in different frameworks of viable inflation

abstract: We review the recently proposed Trans-Planckian Censorship Conjecture that stems from the Trans-Planckian problem of cosmological perturbations. We analyze the implications and constraints that TCC introduces in different frameworks of viable inflation. We revisit the case of slow-roll scalar field inflation and we investigate the cases of slow-roll $f(R)$ and $f(R,\phi)$-gravity. Finally, we consider the conjecture in the context of constant-roll scalar field inflation.


title: Rigorous constraints on three-nucleon forces in chiral effective field theory from fast and accurate calculations of few-body observables

abstract: We explore the constraints on the three-nucleon force (3NF) of chiral effective field theory ($\chi$EFT) that are provided by bound-state observables in the $A=3$ and $A=4$ sectors. Our statistically rigorous analysis incorporates experimental error, computational method uncertainty, and the uncertainty due to truncation of the $\chi$EFT expansion at next-to-next-to-leading order. A consistent solution for the ${}^3$H binding energy, the ${}^4$He binding energy and radius, and the ${}^3$H $\beta$-decay rate can only be obtained if $\chi$EFT truncation errors are included in the analysis. All of these except the $\beta$-decay rate give essentially degenerate constraints on the 3NF low-energy constants, so it is crucial for estimating these parameters. We use eigenvector continuation for fast and accurate emulation of No-Core Shell Model calculations of the considered few-nucleon observables. This facilitates sampling of the posterior probability distribution, allowing us to also determine the distributions of the hyperparameters that quantify the truncation error. We find a $\chi$EFT expansion parameter of $Q=0.33 \pm 0.06$ for these observables.


title: Probing modified gravitational-wave propagation through tidal measurements of binary neutron star mergers

abstract: Gravitational-wave sources can serve as standard sirens to probe cosmology by measuring their luminosity distance and redshift. Such standard sirens are also useful to probe theories beyond general relativity with a modified gravitational-wave propagation. Many of previous studies on the latter assume multi-messenger observations so that the luminosity distance can be measured with gravitational waves while the redshift is obtained by identifying sources' host galaxies from electromagnetic counterparts. Given that gravitational-wave events of binary neutron star coalescences with associated electromagnetic counterpart detections are expected to be rather rare, it is important to examine the possibility of using standard sirens with gravitational-wave observations alone to probe gravity. In this paper, we achieve this by extracting the redshift from the tidal measurement of binary neutron stars that was originally proposed within the context of gravitational-wave cosmology (another approach is to correlate "dark sirens" with galaxy catalogs that we do not consider here). We consider not only observations with ground-based detectors (e.g. Einstein Telescope) but also multi-band observations between ground-based and space-based (e.g. DECIGO) interferometers. We find that such multi-band observations with the tidal information can constrain a parametric non-Einsteinian deviation in the luminosity distance (due to the modified friction in the gravitational wave evolution) more stringently than the case with electromagnetic counterparts by a factor of a few. We also map the above-projected constraints on the parametric deviation to those on specific theories and phenomenological models beyond general relativity to put the former into context.


title: A Reinforcement-Learning-Based Energy-Efficient Framework for Multi-Task Video Analytics Pipeline

abstract: Deep-learning-based video processing has yielded transformative results in recent years. However, the video analytics pipeline is energy-intensive due to high data rates and reliance on complex inference algorithms, which limits its adoption in energy-constrained applications. Motivated by the observation of high and variable spatial redundancy and temporal dynamics in video data streams, we design and evaluate an adaptive-resolution optimization framework to minimize the energy use of multi-task video analytics pipelines. Instead of heuristically tuning the input data resolution of individual tasks, our framework utilizes deep reinforcement learning to dynamically govern the input resolution and computation of the entire video analytics pipeline. By monitoring the impact of varying resolution on the quality of high-dimensional video analytics features, hence the accuracy of video analytics results, the proposed end-to-end optimization framework learns the best non-myopic policy for dynamically controlling the resolution of input video streams to globally optimize energy efficiency. Governed by reinforcement learning, optical flow is incorporated into the framework to minimize unnecessary spatio-temporal redundancy that leads to re-computation, while preserving accuracy. The proposed framework is applied to video instance segmentation which is one of the most challenging computer vision tasks, and achieves better energy efficiency than all baseline methods of similar accuracy on the YouTube-VIS dataset.


title: Hydrodynamic large deviations of TASEP

abstract: We consider the large deviations from the hydrodynamic limit of the Totally Asymmetric Simple Exclusion Process (TASEP). This problem was studied in Jensen (2000) and Varadhan (2004) and was shown to be related to entropy production in the inviscid Burgers equation. Here we prove the full large deviation principle. Our method relies on the explicit formula of Matetski, Quastel, and Remenik (2016) for the transition probabilities of the TASEP.


title: Direct detection of non-galactic light dark matter

abstract: A fraction of the dark matter in the solar neighborhood might be composed of non-galactic particles with speeds larger than the escape velocity of the Milky Way. The non-galactic dark matter flux would enhance the sensitivity of direct detection experiments, due to the larger momentum transfer to the target. In this note, we calculate the impact of the dark matter flux from the Local Group and the Virgo Supercluster diffuse components in nuclear and electron recoil experiments. The enhancement in the signal rate can be very significant, especially for experiments searching for dark matter induced electron recoils.


title: Space and Time Averaged Quantum Stress Tensor Fluctuations

abstract: We extend previous work on the numerical diagonalization of quantum stress tensor operators in the Minkowski vacuum state, which considered operators averaged in a finite time interval, to operators averaged in a finite spacetime region. Since real experiments occur over finite volumes and durations, physically meaningful fluctuations may be obtained from stress tensor operators averaged by compactly supported sampling functions in space and time. The direct diagonalization, via a Bogoliubov transformation, gives the eigenvalues and the probabilities of measuring those eigenvalues in the vacuum state, from which the underlying probability distribution can be constructed. For the normal-ordered square of the time derivative of a massless scalar field in a spherical cavity with finite degrees of freedom, analysis of the tails of these distributions confirms previous results based on the analytical treatment of the high moments. We find that the probability of large vacuum fluctuations is reduced when spatial averaging is included, but the tail still decreases more slowly than exponentially as the magnitude of the measured eigenvalues increases, suggesting vacuum fluctuations may not always be subdominant to thermal fluctuations and opening up the possibility of experimental observation under the right conditions.


title: Creating Robust Deep Neural Networks With Coded Distributed Computing for IoT Systems

abstract: The increasing interest in serverless computation and ubiquitous wireless networks has led to numerous connected devices in our surroundings. Among such devices, IoT devices have access to an abundance of raw data, but their inadequate resources in computing limit their capabilities. Specifically, with the emergence of deep neural networks (DNNs), not only is the demand for the computing power of IoT devices increasing but also privacy concerns are pushing computations towards the edge. To overcome inadequate resources, several studies have proposed the distribution of work among IoT devices. These promising methods harvest the aggregated computing power of the idle IoT devices in an environment. However, since such a distributed system strongly relies on each device, unstable latencies, and intermittent failures, the common characteristics of IoT devices and wireless networks, cause high recovery overheads. To reduce this overhead, we propose a novel robustness method with a close-to-zero recovery latency for DNN computations. Our solution never loses a request or spends time recovering from a failure. To do so, first, we analyze the underlying matrix-matrix computations affected by distribution. Then, we introduce a new coded distributed computing (CDC) method that has a constant cost with the increasing number of devices, unlike the linear cost of modular redundancies. Moreover, our method is applied in the library level, without requiring extensive changes to the program, while still ensuring a balanced work assignment during distribution. To illustrate our method, we perform experiments with distributed systems comprising up to 12 Raspberry Pis.


title: Relating Adversarially Robust Generalization to Flat Minima

abstract: Adversarial training (AT) has become the de-facto standard to obtain models robust against adversarial examples. However, AT exhibits severe robust overfitting: cross-entropy loss on adversarial examples, so-called robust loss, decreases continuously on training examples, while eventually increasing on test examples. In practice, this leads to poor robust generalization, i.e., adversarial robustness does not generalize well to new examples. In this paper, we study the relationship between robust generalization and flatness of the robust loss landscape in weight space, i.e., whether robust loss changes significantly when perturbing weights. To this end, we propose average- and worst-case metrics to measure flatness in the robust loss landscape and show a correlation between good robust generalization and flatness. For example, throughout training, flatness reduces significantly during overfitting such that early stopping effectively finds flatter minima in the robust loss landscape. Similarly, AT variants achieving higher adversarial robustness also correspond to flatter minima. This holds for many popular choices, e.g., AT-AWP, TRADES, MART, AT with self-supervision or additional unlabeled examples, as well as simple regularization techniques, e.g., AutoAugment, weight decay or label noise. For fair comparison across these approaches, our flatness measures are specifically designed to be scale-invariant and we conduct extensive experiments to validate our findings.


title: Amplitude, Phase, and Quadrant (APQ) Modulation for Indoor Visible Light Communications

abstract: The main challenge in visible light communications (VLC) is the low modulation bandwidth of light-emitting diodes (LEDs). This forms a barrier towards achieving high data rates. Moreover, the implementation of high order modulation schemes is restricted by the requirements of intensity modulation (IM) and direct detection (DD), which demand the use of real unipolar signals. In this paper, we propose a novel amplitude, phase and quadrant (APQ) modulation scheme that fits into the IM/DD restrictions in VLC systems. The proposed scheme decomposes the complex and bipolar symbols of high order modulations into three different symbols that carry the amplitude, phase and quadrant information of the intended symbol. The constructed symbols are assigned different power levels and are transmitted simultaneously, i.e. exploiting the entire bandwidth and time resources. The receiving terminal performs successive interference cancellation to extract and decode the three different symbols, and then uses them to decide the intended complex bipolar symbol. We evaluate the performance of the proposed APQ scheme in terms of symbol-error-rate and achievable system throughput for different setup scenarios. The obtained results are compared with generalized spatial shift keying (GSSK). The presented results show that APQ offers a higher reliability compared to GSSK across the simulation area, while providing lower hardware complexity.


title: Unsupervised Class-Incremental Learning Through Confusion

abstract: While many works on Continual Learning have shown promising results for mitigating catastrophic forgetting, they have relied on supervised training. To successfully learn in a label-agnostic incremental setting, a model must distinguish between learned and novel classes to properly include samples for training. We introduce a novelty detection method that leverages network confusion caused by training incoming data as a new class. We found that incorporating a class-imbalance during this detection method substantially enhances performance. The effectiveness of our approach is demonstrated across a set of image classification benchmarks: MNIST, SVHN, CIFAR-10, CIFAR-100, and CRIB.


title: Learning constitutive models from microstructural simulations via a non-intrusive reduced basis method

abstract: In order to optimally design materials, it is crucial to understand the structure-property relations in the material by analyzing the effect of microstructure parameters on the macroscopic properties. In computational homogenization, the microstructure is thus explicitly modeled inside the macrostructure, leading to a coupled two-scale formulation. Unfortunately, the high computational costs of such multiscale simulations often render the solution of design, optimization, or inverse problems infeasible. To address this issue, we propose in this work a non-intrusive reduced basis method to construct inexpensive surrogates for parametrized microscale problems; the method is specifically well-suited for multiscale simulations since the coupled simulation is decoupled into two independent problems: (1) solving the microscopic problem for different (loading or material) parameters and learning a surrogate model from the data; and (2) solving the macroscopic problem with the learned material model. The proposed method has three key features. First, the microscopic stress field can be fully recovered. Second, the method is able to accurately predict the stress field for a wide range of material parameters; furthermore, the derivatives of the effective stress with respect to the material parameters are available and can be readily utilized in solving optimization problems. Finally, it is more data efficient, i.e. requiring less training data, as compared to directly performing a regression on the effective stress. For the microstructures in the two test problems considered, the mean approximation error of the effective stress is as low as 0.1% despite using a relatively small training dataset. Embedded into the macroscopic problem, the reduced order model leads to an online speed up of approximately three orders of magnitude while maintaining a high accuracy as compared to the FE$^2$ solver.


title: Certified quantum random number generator based on single-photon entanglement

abstract: Quantum entanglement represents an ideal resource to guarantee the security of random numbers employed in many scientific and cryptographic applications. However, entanglement-based certified random number generators are particularly challenging to implement. Here, we demonstrate a new certified quantum random number generator based on momentum-polarization entangled single photon states. The use of single photon entanglement allows employing an attenuated laser source and a simple setup where only linear optical components are utilized. For the latter, a semi-device-independent modeling of the photonic quantum random number generator is developed, which certifies a minimum entropy of $(2.5\pm 0.5)\%$, corresponding to a generation rate of 4.4 kHz. At the expenses of a higher level of trust in the system, the certified minimum entropy can be increased to $(30.1 \pm0.5 )\%$, implying a generation rate of 52.7 kHz. Our results show that a simple optical implementation combined with an accurate modeling provide an entanglement-based high-security quantum random number generator using imperfect devices.


title: Meta Hamiltonian Learning

abstract: Efficient characterization of quantum devices is a significant challenge critical for the development of large scale quantum computers. We consider an experimentally motivated situation, in which we have a decent estimate of the Hamiltonian, and its parameters need to be characterized and fine-tuned frequently to combat drifting experimental variables. We use a machine learning technique known as meta-learning to learn a more efficient optimizer for this task. We consider training with the nearest-neighbor Ising model and study the trained model's generalizability to other Hamiltonian models and larger system sizes. We observe that the meta-optimizer outperforms other optimization methods in average loss over test samples. This advantage follows from the meta-optimizer being less likely to get stuck in local minima, which highly skews the distribution of the final loss of the other optimizers. In general, meta-learning decreases the number of calls to the experiment and reduces the needed classical computational resources.


title: Tetramethylbenzidine-TetrafluoroTCNQ: A narrow-gap semiconducting salt with room temperature relaxor ferroelectric behavior

abstract: We present an extension and revision of the spectroscopic and structural data of the mixed stack charge transfer (CT) crystal 3,3$^\prime$,5,5$^\prime$-tetramethylbenzidine--tetrafluoro-tetracyanoquinodimethane (TMB-TCNQF4), associated with new electric and dielectric measurements. Refinement of syncrotron structural data at low temperature has led to revise the previously reported [Phys. Rev. Mat. 2, 024602 (2018)] $C2/m$ structure. The revised structure is $P2_1/m$, with two dimerized stacks per unit cell, and is consistent with the vibrational data. However, polarized Raman data in the low-frequency region also indicate that by increasing temperature above 200 K the structure presents an increasing degree of disorder mainly along the stack axis. X-ray diffraction data at room temperature have confirmed that the correct structure is $P2_1/m$ -- no phase transitions -- but did not allow to definitely substantiate the presence of disorder. On the other hand, dielectric measurement have evidenced a typical relaxor ferroelectric behavior already at room temperature, with a peak in real part of dielectric constant $\epsilon'(T,\nu)$ around 200 K and 0.1 Hz. The relaxor behavior is explained in terms of the presence of spin solitons separating domains of opposite polarity that yield to ferroelectric nanodomains. TMB-TCNQF4 is confirmed to be a narrow gap band semiconductor ($E_a \sim 0.3$ eV) with room temperature conductivity of $\sim 10^{-4}~ \Omega^{-1}$ cm$^{-1}$.


title: Optimal Epidemic Control in Equilibrium with Imperfect Testing and Enforcement

abstract: We analyze equilibrium behavior and optimal policy within a Susceptible-Infected-Recovered epidemic model augmented with potentially undiagnosed agents who infer their health status and a social planner with imperfect enforcement of social distancing. We define and prove the existence of a perfect Bayesian Markov competitive equilibrium and contrast it with the efficient allocation subject to the same informational constraints. We identify two externalities, static (individual actions affect current risk of infection) and dynamic (individual actions affect future disease prevalence), and study how they are affected by limitations on testing and enforcement. We prove that a planner with imperfect enforcement will always wish to curtail activity, but that its incentives to do so vanish as testing becomes perfect. When a vaccine arrives far into the future, the planner with perfect enforcement may encourage activity before herd immunity. We find that lockdown policies have modest welfare gains, whereas quarantine policies are effective even with imperfect testing.


title: A 2HDM for the g-2 and Dark Matter

abstract: The Muon g-2 experiment at FERMILAB has confirmed the muon anomalous magnetic moment anomaly with an error bar 15% smaller and a different central value compared with the previous Brookhaven result. The combined results from FERMILAB and Brookhaven show a difference with theory at a significance of $4.2\sigma$, strongly indicating the presence of new physics. In light of this new result, we discuss a Two Higgs Doublet model augmented by an Abelian gauge symmetry that can simultaneously accommodate a light dark matter candidate and $(g-2)_\mu$, in agreement with existing bounds.


title: Protein sequence design with deep generative models

abstract: Protein engineering seeks to identify protein sequences with optimized properties. When guided by machine learning, protein sequence generation methods can draw on prior knowledge and experimental efforts to improve this process. In this review, we highlight recent applications of machine learning to generate protein sequences, focusing on the emerging field of deep generative methods.


title: GUT-constrained supersymmetry and dark matter in light of the new $(g-2)_\mu$ determination

abstract: The recent confirmation by the Fermilab-based Muon g-2 experiment of the $(g-2)_\mu$ anomaly has important implications for allowed particle spectra in softly broken supersymmetry (SUSY) models with neutralino dark matter (DM). Generally, the DM has to be quite light, with the mass up to a few hundred GeV, and bino-dominated if it is to provide most of DM in the Universe. Otherwise, a higgsino or wino dominated DM is also allowed but only as a strongly subdominant component of at most a few percent of the total density. These general patterns can easily be found in the phenomenological models of SUSY but in GUT-constrained scenarios this proves much more challenging. In this paper we revisit the issue in the framework of some unified SUSY models with different GUT boundary conditions on the soft masses. We study the so-called non-universal gaugino model (NUGM) in which the mass of the gluino is disunified from those of the bino and the wino and an SO(10) and an SU(5) GUT-inspired models as examples. We find that in these unified frameworks the above two general patterns of DM can also be found, and thus the muon anomaly can also be accommodated, unlike in the simplest frameworks of the CMSSM or the NUHM. We show the resulting values of direct detection cross-section for points that do and do not satisfy the muon anomaly. On the other hand, it will be challenging to access those solutions at the LHC because the resulting spectra are generally very compressed.


title: Taming the pinch singularities in the two-loop neutrino self-energy in a medium

abstract: We consider the calculation of the thermal self-energy of a neutrino that propagates in a medium composed of fermions and scalars interacting via a Yukawa-type coupling, in the case that the neutri no energy is much larger than the fermion and scalar masses, as well as the temperature and chemical potentials of the background. In this kinematic regime the one-loop contribution to the imaginary part of the self-energy is negligible. We consider the two-loop contribution and we encounter the so-called pinch singularities which are known to arise in higher loop self-energy calculations in Thermal Field Theory. With a judicious use of the properties and parametrizations of the thermal propagators the singularities are treated effectively and actually disappear. From the imaginary part of the self-energy, we obtain a precise formula for the damping matrix expressed in terms of integrals over the background particle distributions. The formulas predict a specific dependence of the damping terms on the neutrino energy, depending on the background conditions. For guidance to estimating the effects in specific contexts, we compute the damping terms for several limiting cases of the momentum distribution functions of the background particles. We discuss briefly the connection between the results of our calculations for the damping matrix and the decoherence effects described in terms of the Lindblad equation.