title: A free boundary problem in thermal insulation with a prescribed heat source

abstract: We study the thermal insulation of a bounded body $\Omega\subset\mathbb{R}^n$, under a prescribed heat source $f>0$, via a bulk layer of insulating material. We consider a model of heat transfer between the insulated body and the environment determined by convection; this corresponds to Robin boundary conditions on the free boundary of the layer. We show that a minimal configuration exists and that it satisfies uniform density estimates.


title: Observability-Aware Intrinsic and Extrinsic Calibration of LiDAR-IMU Systems

abstract: Accurate and reliable sensor calibration is essential to fuse LiDAR and inertial measurements, which are usually available in robotic applications. In this paper, we propose a novel LiDAR-IMU calibration method within the continuous-time batch-optimization framework, where the intrinsics of both sensors and the spatial-temporal extrinsics between sensors are calibrated without using calibration infrastructure such as fiducial tags. Compared to discrete-time approaches, the continuous-time formulation has natural advantages for fusing high rate measurements from LiDAR and IMU sensors. To improve efficiency and address degenerate motions, two observability-aware modules are leveraged: (i) The information-theoretic data selection policy selects only the most informative segments for calibration during data collection, which significantly improves the calibration efficiency by processing only the selected informative segments. (ii) The observability-aware state update mechanism in nonlinear least-squares optimization updates only the identifiable directions in the state space with truncated singular value decomposition (TSVD), which enables accurate calibration results even under degenerate cases where informative data segments are not available. The proposed LiDAR-IMU calibration approach has been validated extensively in both simulated and real-world experiments with different robot platforms, demonstrating its high accuracy and repeatability in commonly-seen human-made environments. We also open source our codebase to benefit the research community: {\url{https://github.com/APRIL-ZJU/OA-LICalib}}.


title: Halo Assembly Bias using properties of central galaxies in SDSS redMaPPer clusters

abstract: The clustering of dark matter halos depends on the assembly history of halos at fixed halo mass; a phenomenon referred to as \textit{halo assembly bias}. Halo assembly bias is readily observed in cosmological simulations of dark matter. However, it is difficult to detect it in observations. The identification of galaxy or cluster properties correlated with the formation time of the halo at fixed halo mass and the ability to select galaxy clusters free from projection effects are the two most significant hurdles in the observational detection of halo assembly bias. The latter, in particular, can cause a misleading detection of halo assembly bias by boosting the amplitude of lensing and clustering on large scales. This study uses twelve different properties of central galaxies of SDSS redMaPPer clusters derived from spectroscopy to divide the clusters into sub-samples. We test the dependence of the clustering amplitude on these properties at fixed richness. We first infer halo mass and bias using weak lensing signals around the clusters using shapes of galaxies from the SDSS survey. We validate the bias difference between the two subsamples using cluster-galaxy cross-correlations. This methodology allows us to decouple the contamination due to the projection effects from the halo assembly bias signals. We do not find any significant evidence of a difference in the clustering amplitudes correlated with any of our explored properties. Our results indicate that central galaxy properties may not correlate significantly with the halo assembly histories at fixed richness.


title: Calibration of the 5G-LENA System Level Simulator in 3GPP reference scenarios

abstract: Due to the rapid technology evolution and standardization activity in the mobile communication networks, there is the need for the research community to be able to develop, test and evaluate new and/or already xisting solutions before industrial or real-network implementation. As such, it is essential to have an open-source tool that provides an alternative solution to that of industrial proprietary simulators that are not available for public usage. ns-3 5G-LENA simulator is an end-to-end open-source NR system-level simulator that allows extensive research to be performed. However, it is of great importance to guarantee that the results obtained using the simulator can be comparable to that of industrial simulators and real networks. For this reason, calibrating the simulator based on 3GPP defined specifications is crucial. Based on the above, in this paper we calibrate the ns-3 5G-LENA simulator according to the 3GPP reference results for NR-based outdoor deployments. Moreover, we explore the REM feature provided by the simulator, to ease the calibration process and understand better the radio environment. Results show the resemblance of the simulator performance to that of simulators used as references by 3GPP.


title: Probabilistic Control and Majorization of Optimal Control

abstract: Probabilistic control design is founded on the principle that a rational agent attempts to match modelled with an arbitrary desired closed-loop system trajectory density. The framework was originally proposed as a tractable alternative to traditional optimal control design, parametrizing desired behaviour through fictitious transition and policy densities and using the information projection as a proximity measure. In this work we introduce an alternative parametrization of desired closed-loop behaviour and explore alternative proximity measures between densities. It is then illustrated how the associated probabilistic control problems solve into uncertain or probabilistic policies. Our main result is to show that the probabilistic control objectives majorize conventional, stochastic and risk sensitive, optimal control objectives. This observation allows us to identify two probabilistic fixed point iterations that converge to the deterministic optimal control policies establishing an explicit connection between either formulations. Further we demonstrate that the risk sensitive optimal control formulation is also technically equivalent to a Maximum Likelihood estimation problem on a probabilistic graph model where the notion of costs is directly encoded into the model. The associated treatment of the estimation problem is then shown to coincide with the moment projected probabilistic control formulation. That way optimal decision making can be reformulated as an iterative inference problem. Based on these insights we discuss directions for algorithmic development.


title: Strongly dipolar gases in a one-dimensional lattice: Bloch oscillations and matter-wave localization

abstract: Three-dimensional quantum gases of strongly dipolar atoms can undergo a crossover from a dilute gas to a dense macrodroplet, stabilized by quantum fluctuations. Adding a one-dimensional optical lattice creates a platform where quantum fluctuations are still unexplored, and a rich variety of new phases may be observable. We employ Bloch oscillations as an interferometric tool to assess the role quantum fluctuations play in an array of quasi-two-dimensional Bose-Einstein condensates. Long-lived oscillations are observed when the chemical potential is balanced between sites, in a region where a macrodroplet is extended over several lattice sites. Further, we observe a transition to a state that is localized to a single lattice plane$-$driven purely by interactions$-$marked by the disappearance of the interference pattern in the momentum distribution. To describe our observations, we develop a discrete one-dimensional extended Gross-Pitaevskii theory, including quantum fluctuations and a variational approach for the on-site wavefunction. This model is in quantitative agreement with the experiment, revealing the existence of single and multisite macrodroplets, and signatures of a two-dimensional bright soliton.


title: Methanol masers in NGC 253 with ALCHEMI

abstract: Context: Methanol masers of Class I (collisionally-pumped) and Class II (radiatively-pumped) have been studied in great detail in our Galaxy in a variety of astrophysical environments such as shocks and star-forming regions and are helpful to analyze the properties of the dense interstellar medium. However, the study of methanol masers in external galaxies is still in its infancy. Aims: Our main goal is to search for methanol masers in the central molecular zone (CMZ; inner 500 pc) of the nearby starburst galaxy NGC 253. Methods: Covering a frequency range between 84 and 373 GHz ($\lambda$ = 3.6 to 0.8 mm) at high angular (1.6"$\sim$27 pc) and spectral ($\sim$8--9 km s$^{-1}$) resolution with the ALMA large program ALCHEMI, we have probed different regions across the CMZ of NGC 253. In order to look for methanol maser candidates, we employed the rotation diagram method and a set of radiative transfer models. Results: We detect for the first time masers above 84 GHz in NGC 253, covering an ample portion of the $J_{-1}\rightarrow(J-$ 1)$_{0}-E$ line series (at 84, 132, 229, and 278 GHz) and the $J_{0}\rightarrow(J-$ 1)$_{1}-A$ series (at 95, 146, and 198 GHz). This confirms the presence of the Class I maser line at 84 GHz, already reported but now being detected in more than one location. For the $J_{-1}\rightarrow(J-$ 1)$_{0}-E$ line series, we observe a lack of Class I maser candidates in the central star-forming disk. Conclusions: The physical conditions for maser excitation in the $J_{-1}\rightarrow(J-$ 1)$_{0}-E$ line series can be weak shocks and cloud-cloud collisions as suggested by shock tracers (SiO and HNCO) in bi-symmetric shock/active regions located in the outskirts of the CMZ. On the other hand, the presence of photodissociation regions due to a high star-formation rate would be needed to explain the lack of Class I masers in the very central regions.


title: Comment on: "Hyperfine structure measurements of Co I and Co II with Fourier transform spectroscopy" by Fu et al. [JQSRT 2021, 107590]

abstract: This comment points out errors in the analysis of 61 magnetic hyperfine structure ($A$) constants of Co II energy levels by Fu et al. [JQSRT 2021, 107590]. The paper was published without full awareness of the extensive literature already available for Co II hyperfine $A$ constants at the time; 57 of 58 $A$ constants that were claimed to have been measured for the first time had already been measured by the prior work of Ding \& Pickering [ApJS 2020, 251:24], who had published $A$ constants for 292 levels of Co II. The $A$ constant of 3d$^6$4s$^2$ a$^5$D$_4$ has been determined by Fu et al. [JQSRT 2021, 107590] for the first time to be $12.0\pm1.8$ mK (1 mK $=$ 0.001 cm$^{-1}$), which was found to agree with line profiles observed by Ding \& Pickering [ApJS 2020, 251:24]. Discrepancies in 17 $A$ constants of Fu et al. [JQSRT 2021, 107590] were found, which are likely due to the analysis of weak, experimentally unclassified transitions with Ritz wavenumbers 25453.966 cm$^{-1}$ and 25149.948 cm$^{-1}$ by Fu et al. [JQSRT 2021, 107590] for the $A$ constants of the energy levels 3d$^7$($^2$G)4s a$^3$G$_5$ and 3d$^7$($^2$P)4s c$^3$P$_2$ respectively. Fewer transitions and poorer quality spectra analysed by Fu et al. [JQSRT 2021, 107590] are also concluded to have contributed to disagreements in the 17 $A$ constants.


title: Universal relations for quasinormal modes of neutron stars in $R^2$ gravity

abstract: We construct quasinormal modes for neutron stars in $R^2$ gravity in the Einstein frame, considering scalar masses in the sub-neV range. In particular, we investigate the fundamental quadrupole fluid f-modes and the dipole fluid F-modes. Employing six equations of state covering matter content with nucleons, hyperons, and quarks, we then propose universal relations for the quadrupole f-modes and dipole F-modes. The dipole F-modes are ultra-long lived and, for the lower scalar masses, their frequencies are inversely proportional to the corresponding Compton wavelength.


title: Dimension Reduction for Efficient Dense Retrieval via Conditional Autoencoder

abstract: Dense retrievers encode queries and documents and map them in an embedding space using pre-trained language models. These embeddings need to be high-dimensional to fit training signals and guarantee the retrieval effectiveness of dense retrievers. However, these high-dimensional embeddings lead to larger index storage and higher retrieval latency. To reduce the embedding dimensions of dense retrieval, this paper proposes a Conditional Autoencoder (ConAE) to compress the high-dimensional embeddings to maintain the same embedding distribution and better recover the ranking features. Our experiments show that ConAE is effective in compressing embeddings by achieving comparable ranking performance with its teacher model and making the retrieval system more efficient. Our further analyses show that ConAE can alleviate the redundancy of the embeddings of dense retrieval with only one linear layer. All codes of this work are available at https://github.com/NEUIR/ConAE.


title: Cluster-Robust Inference: A Guide to Empirical Practice

abstract: Methods for cluster-robust inference are routinely used in economics and many other disciplines. However, it is only recently that theoretical foundations for the use of these methods in many empirically relevant situations have been developed. In this paper, we use these theoretical results to provide a guide to empirical practice. We do not attempt to present a comprehensive survey of the (very large) literature. Instead, we bridge theory and practice by providing a thorough guide on what to do and why, based on recently available econometric theory and simulation evidence. To practice what we preach, we include an empirical analysis of the effects of the minimum wage on labor supply of teenagers using individual data.


title: GlobEnc: Quantifying Global Token Attribution by Incorporating the Whole Encoder Layer in Transformers

abstract: There has been a growing interest in interpreting the underlying dynamics of Transformers. While self-attention patterns were initially deemed as the primary option, recent studies have shown that integrating other components can yield more accurate explanations. This paper introduces a novel token attribution analysis method that incorporates all the components in the encoder block and aggregates this throughout layers. Through extensive quantitative and qualitative experiments, we demonstrate that our method can produce faithful and meaningful global token attributions. Our experiments reveal that incorporating almost every encoder component results in increasingly more accurate analysis in both local (single layer) and global (the whole model) settings. Our global attribution analysis significantly outperforms previous methods on various tasks regarding correlation with gradient-based saliency scores. Our code is freely available at https://github.com/mohsenfayyaz/GlobEnc.


title: Band lineup at hexagonal Si$_x$Ge$_{1-x}$/Si$_y$Ge$_{1-y}$ alloy interfaces

abstract: The natural and true band profiles at heterojunctions formed by hexagonal Si$_x$Ge$_{1-x}$ alloys are investigated by a variety of methods: density functional theory for atomic geometries, approximate quasiparticle treatments for electronic structures, different band edge alignment procedures, and construction of various hexagonal unit cells to model alloys and heterojunctions. We demonstrate that the natural band offsets are rather unaffected by the choice to align the vacuum level or the branch point energy, as well as by the use of a hybrid or the Tran-Blaha functional. At interfaces between Ge-rich alloys we observe a type-I heterocharacter with direct band gaps, while Si-rich junctions are type-I but with an indirect band gap. The true band lineups at pseudomorphically grown heterostructures are strongly influenced by the generated biaxial strain of opposite sign in the two adjacent alloys. Our calculations show that the type-I character of the interface is reduced by strain. To prepare alloy heterojunctions suitable for active optoelectronic applications, we discuss how to decrease the compressive biaxial strain at Ge-rich alloys.


title: Leverage, Influence, and the Jackknife in Clustered Regression Models: Reliable Inference Using summclust

abstract: We introduce a new Stata package called summclust that summarizes the cluster structure of the dataset for linear regression models with clustered disturbances. The key unit of observation for such a model is the cluster. We therefore propose cluster-level measures of leverage, partial leverage, and influence and show how to compute them quickly in most cases. The measures of leverage and partial leverage can be used as diagnostic tools to identify datasets and regression designs in which cluster-robust inference is likely to be challenging. The measures of influence can provide valuable information about how the results depend on the data in the various clusters. We also show how to calculate two jackknife variance matrix estimators efficiently as a byproduct of our other computations. These estimators, which are already available in Stata, are generally more conservative than conventional variance matrix estimators. The summclust package computes all the quantities that we discuss.


title: Learning to Cooperate with Completely Unknown Teammates

abstract: A key goal of ad hoc teamwork is to develop a learning agent that cooperates with unknown teams, without resorting to any pre-coordination protocol. Despite a vast number of ad hoc teamwork algorithms in the literature, most of them cannot address the problem of learning to cooperate with a completely unknown team, unless it learns from scratch. This article presents a novel approach that uses transfer learning alongside the state-of-the-art PLASTIC-Policy to adapt to completely unknown teammates quickly. We test our solution within the Half Field Offense simulator with five different teammates. The teammates were designed independently by developers from different countries and at different times. Our empirical evaluation shows that it is advantageous for an ad hoc agent to leverage its past knowledge when adapting to a new team instead of learning how to cooperate with it from scratch.


title: Nonlinear cooling of an annular beam distribution

abstract: In recent years, intense efforts have been devoted to studying how nonlinear effects can be used to shape the transverse beam distribution by means of an adiabatic crossing of nonlinear resonances. By this approach, it is possible to split the beams in the transverse plane, so that the initial single-Gaussian beam is divided into several distinct distributions. This is at the heart of the multiturn extraction process that is successfully in operation at the CERN Proton Synchrotron. Nonlinear effects can also be used to cool a beam by acting on its transverse beam distribution. In this paper, we present and discuss the special case of a beam with an annular distribution, showing how its emittance can be effectively reduced by means of properly devised manipulations based on nonlinear effects.


title: An embedding of skein algebras of surfaces into quantum tori from Dehn-Thurston coordinates

abstract: We construct embeddings of Kauffman bracket skein algebras of surfaces (either closed or with boundary) into localized quantum tori using the action of the skein algebra on the skein module of the handlebody. We use those embeddings to study representations of Kauffman skein algebras at roots of unity and get a new proof of Bonahon-Wong's unicity conjecture. Our method allows one to explicitly reconstruct the unique representation with fixed classical shadow, as long as the classical shadow is irreducible with image not conjuguate to the quaternion group.


title: Direct kinetic Alfv\'en wave energy cascade in the presence of imbalance

abstract: A two-field Hamiltonian gyrofluid model for kinetic Alfv\'en waves retaining ion finite Larmor radius corrections and parallel magnetic field fluctuations is used to study direct turbulent cascades from the MHD to the sub-ion scales. For moderate energy imbalance and weak enough magnetic fluctuations, the spectrum of the transverse magnetic field and that of the most energetic wave display a steep transition zone near the ion scale, while the parallel transfer (and thus the parallel dissipation) remains weak. In this regime, the perpendicular flux of generalized cross helicity displays a significant decay past the ion scale, while the perpendicular energy flux remains almost constant. A phenomenological model suggests that the interactions between co-propagative waves present at the sub-ion scales can play a central role in the development of a transition zone in the presence of a helicity barrier.


title: Tunable directional photon scattering from a pair of superconducting qubits

abstract: The ability to control the direction of scattered light in integrated devices is crucial to provide the flexibility and scalability for a wide range of on-chip applications, such as integrated photonics, quantum information processing and nonlinear optics. In the optical and microwave frequency ranges tunable directionality can be achieved by applying external magnetic fields, that modify optical selection rules, by using nonlinear effects, or interactions with vibrations. However, these approaches are less suitable to control propagation of microwave photons inside integrated superconducting quantum devices, that is highly desirable. Here, we demonstrate tunable directional scattering with just two transmon qubits coupled to a transmission line based on periodically modulated transition frequency. By changing the symmetry of the modulation, governed by the relative phase between the local modulation tones, we achieve directional forward or backward photon scattering.


title: Vehicle management in a modular production context using Deep Q-Learning

abstract: We investigate the feasibility of deploying Deep-Q based deep reinforcement learning agents to job-shop scheduling problems in the context of modular production facilities, using discrete event simulations for the environment. These environments are comprised of a source and sink for the parts to be processed, as well as (several) workstations. The agents are trained to schedule automated guided vehicles to transport the parts back and forth between those stations in an optimal fashion. Starting from a very simplistic setup, we increase the complexity of the environment and compare the agents' performances with well established heuristic approaches, such as first-in-first-out based agents, cost tables and a nearest-neighbor approach. We furthermore seek particular configurations of the environments in which the heuristic approaches struggle, to investigate to what degree the Deep-Q agents are affected by these challenges. We find that Deep-Q based agents show comparable performance as the heuristic baselines. Furthermore, our findings suggest that the DRL agents exhibit an increased robustness to noise, as compared to the conventional approaches. Overall, we find that DRL agents constitute a valuable approach for this type of scheduling problems.


title: The Road to Explainability is Paved with Bias: Measuring the Fairness of Explanations

abstract: Machine learning models in safety-critical settings like healthcare are often blackboxes: they contain a large number of parameters which are not transparent to users. Post-hoc explainability methods where a simple, human-interpretable model imitates the behavior of these blackbox models are often proposed to help users trust model predictions. In this work, we audit the quality of such explanations for different protected subgroups using real data from four settings in finance, healthcare, college admissions, and the US justice system. Across two different blackbox model architectures and four popular explainability methods, we find that the approximation quality of explanation models, also known as the fidelity, differs significantly between subgroups. We also demonstrate that pairing explainability methods with recent advances in robust machine learning can improve explanation fairness in some settings. However, we highlight the importance of communicating details of non-zero fidelity gaps to users, since a single solution might not exist across all settings. Finally, we discuss the implications of unfair explanation models as a challenging and understudied problem facing the machine learning community.


title: Disentangled Learning of Stance and Aspect Topics for Vaccine Attitude Detection in Social Media

abstract: Building models to detect vaccine attitudes on social media is challenging because of the composite, often intricate aspects involved, and the limited availability of annotated data. Existing approaches have relied heavily on supervised training that requires abundant annotations and pre-defined aspect categories. Instead, with the aim of leveraging the large amount of unannotated data now available on vaccination, we propose a novel semi-supervised approach for vaccine attitude detection, called VADet. A variational autoencoding architecture based on language models is employed to learn from unlabelled data the topical information of the domain. Then, the model is fine-tuned with a few manually annotated examples of user attitudes. We validate the effectiveness of VADet on our annotated data and also on an existing vaccination corpus annotated with opinions on vaccines. Our results show that VADet is able to learn disentangled stance and aspect topics, and outperforms existing aspect-based sentiment analysis models on both stance detection and tweet clustering.


title: Implicit semantic-based personalized micro-videos recommendation

abstract: With the rapid development of mobile Internet and big data, a huge amount of data is generated in the network, but the data that users are really interested in a very small portion. To extract the information that users are interested in from the huge amount of data, the information overload problem needs to be solved. In the era of mobile internet, the user's characteristics and other information should be combined in the massive amount of data to quickly and accurately recommend content to the user, as far as possible to meet the user's personalized needs. Therefore, there is an urgent need to realize high-speed and effective retrieval in tens of thousands of micro-videos. Video data content contains complex meanings, and there are intrinsic connections between video data. For multimodal information, subspace coding learning is introduced to build a coding network from public potential representations to multimodal feature information, taking into account the consistency and complementarity of information under each modality to obtain a public representation of the complete eigenvalue. An end-to-end reordering model based on deep learning and attention mechanism, called interest-related product similarity model based on multimodal data, is proposed for providing top-N recommendations. The multimodal feature learning module, interest-related network module and product similarity recommendation module together form the new model.By conducting extensive experiments on publicly accessible datasets, the results demonstrate the state-of-the-art performance of our proposed algorithm and its effectiveness.


title: The origin of chaos in the Solar System through computer algebra

abstract: The discovery of the chaotic motion of the planets in the Solar System dates back more than 30 years. Still, no analytical theory has satisfactorily addressed the origin of chaos so far. Implementing canonical perturbation theory in the computer algebra system TRIP, we systematically retrieve the secular resonances at work along the orbital solution of a forced long-term dynamics of the inner planets. We compare the time statistic of their half-widths to the ensemble distribution of the maximum Lyapunov exponent and establish dynamical sources of chaos in an unbiased way. New resonances are predicted by the theory and checked against direct integrations of the Solar System. The image of an entangled dynamics of the inner planets emerges.

categories: astro-ph.EP nlin.CD physics.class-ph physics.comp-ph


title: Behavior of hydrodynamic and magnetohydrodynamic turbulence in a rotating sphere with precession and dynamo action

abstract: The effect of precession in a rotating sphere filled with fluid was studied with direct numerical simulations, both in the incompressible hydrodynamics (HD) and magnetohydrodynamics (MHD) scenarios. In both cases the asymptotic state and its dependence with both rotating and precession frequency was analyzed. For the MHD case no self-sustaining dynamos were found for the prograde precession case, whereas on the other hand a critical retrograde precession frequency was found above which dynamo action is self-sustained. It was also found that these correspond to small-scale dynamos with a developed turbulent regime. Furthermore, it is observed the presence of reversals of the magnetic dipole moment with greater waiting times between reversals for smaller precession frequencies.


title: Collective Intelligence as Infrastructure for Reducing Broad Global Catastrophic Risks

abstract: Academic and philanthropic communities have grown increasingly concerned with global catastrophic risks (GCRs), including artificial intelligence safety, pandemics, biosecurity, and nuclear war. Outcomes of many, if not all, risk situations hinge on the performance of human groups, such as whether governments or scientific communities can work effectively. We propose to think about these issues as Collective Intelligence (CI) problems -- of how to process distributed information effectively. CI is a transdisciplinary research area, whose application involves human and animal groups, markets, robotic swarms, collections of neurons, and other distributed systems. In this article, we argue that improving CI in human groups can improve general resilience against a wide variety of risks. We summarize findings from the CI literature on conditions that improve human group performance, and discuss ways existing CI findings may be applied to GCR mitigation. We also suggest several directions for future research at the exciting intersection of these two emerging fields.


title: Towards the renormalisation of the Standard Model effective field theory to dimension eight: Bosonic interactions II

abstract: We calculate the renormalisation group running of the bosonic Standard Model (SM) effective operators at one loop and to order $v^4/\Lambda^4$, with $v\sim 246$ GeV being the electroweak scale and $\Lambda$ the unknown new physics threshold. We focus on contributions driven by one dimension-eight term and SM couplings, thus extending (and completing) the effort initiated in arXiv:2106.05291, in which quantum corrections from pairs of dimension-six interactions were considered. We highlight some interesting consequences, including the renormalisation of loop-induced interactions by tree-level generated terms and, more importantly, the validity of positivity bounds on different operators inducing anomalous gauge quartic couplings.


title: Necessity and Sufficiency for Explaining Text Classifiers: A Case Study in Hate Speech Detection

abstract: We present a novel feature attribution method for explaining text classifiers, and analyze it in the context of hate speech detection. Although feature attribution models usually provide a single importance score for each token, we instead provide two complementary and theoretically-grounded scores -- necessity and sufficiency -- resulting in more informative explanations. We propose a transparent method that calculates these values by generating explicit perturbations of the input text, allowing the importance scores themselves to be explainable. We employ our method to explain the predictions of different hate speech detection models on the same set of curated examples from a test suite, and show that different values of necessity and sufficiency for identity terms correspond to different kinds of false positive errors, exposing sources of classifier bias against marginalized groups.


title: Comparison of Effect Size Measures for Mediation Analysis of Survival Outcomes with Application to the Framingham Heart Study

abstract: There is an increasing trend of research in mediation analysis for survival outcomes. Such analyses help researchers to better understand how exposure affects disease outcomes through mediators. However, due to censored observations in survival outcomes, it is not straightforward to extend mediation analysis from linear models to survival outcomes. In this article, we extend a mediation effect size measure based on $R^2$ in linear regression to survival outcomes. Due to multiple definitions of $R^2$ for survival models, we compare and evaluate five $R^2$ measures for mediation analysis. Based on extensive simulations, we recommend two $R^2$ measures with good operating characteristics. We illustrate the utility of the $R^2$-based mediation measures by analyzing the mediation effects of multiple lifestyle risk factors on the relationship between environmental exposures and time to coronary heart disease and all-cause mortality in the Framingham Heart Study.


title: Polycyclic Aromatic Hydrocarbon emission model in photodissociation regions I: Application to the 3.3, 6.2, and 11.2 $\mu$m bands

abstract: We present a charge distribution based model that computes the infrared spectrum of polycyclic aromatic hydrocarbon (PAH) molecules using recent measurements or quantum chemical calculations of specific PAHs. The model is applied to a sample of well-studied photodissociation regions (PDRs) with well-determined physical conditions (the radiation field strength, $G_{0}$, electron density $n_{e}$, and the gas temperature, $T_{\rm gas}$). Specifically, we modelled the emission of five PAHs ranging in size from 18 to 96 carbon atoms, over a range of physical conditions characterized by the ionization parameter $\gamma = G_{0}\times T_{\rm gas}^{1/2}/n_{e}$. The anions emerge as the dominant charge carriers in low $\gamma $ ($< 2\times 10^{2}$) environments, neutrals in the intermediate $\gamma$ ($10^{3} - 10^{4}$) environments, and cations in the high $\gamma$ ($ > 10^{5}$) environments. Furthermore, the PAH anions and cations exhibit similar spectral characteristics. The similarity in the cationic and anionic spectra translates into the interpretation of the 6.2/(11.0+11.2) band ratio, with high values of this ratio associated with large contributions from either cations or anions. The model's predicted values of 6.2/(11.0+11.2) and 3.3/6.2 compared well to the observations in the PDRs NGC 7023, NGC 2023, the horsehead nebula, the Orion bar, and the diffuse ISM, demonstrating that changes in the charge state can account for the variations in the observed PAH emission. We also reassess the diagnostic potential of the 6.2/(11.0+11.2) vs 3.3/(11.0+11.2) ratios and show that without any prior knowledge about $\gamma$, the 3.3/(11.0+11.2) can predict the PAH size, but the 6.2/(11.0+11.2) cannot predict the $\gamma$ of the astrophysical environment.


title: Observational Bias and Young Massive Cluster Characterisation I. 2D Perspective Effects

abstract: Understanding the formation and evolution of high mass star clusters requires comparisons between theoretical and observational data to be made. Unfortunately, while the full phase space of simulated regions is available, often only partial 2D spatial and kinematic data is available for observed regions. This raises the question as to whether cluster parameters determined from 2D data alone are reliable and representative of clusters real parameters and the impact of line-of-sight orientation. In this paper we derive parameters for a simulated cluster formed from a cloud-cloud collision with the full 6D phase space, and compare them with those derived from three different 2D line-of-sight orientations for the cluster. We show the same qualitative conclusions can be reached when viewing clusters in 2D versus 3D, but that drawing quantitative conclusions when viewing in 2D is likely to be inaccurate. The greatest divergence occurs in the perceived kinematics of the cluster, which in some orientations appears to be expanding when the cluster is actually contracting. Increases in the cluster density compounds pre-existing perspective issues, reducing the relative accuracy and consistency of properties derived from different orientations. This is particularly problematic for determination of the number, and membership, of subclusters present in the cluster. We find the fraction of subclusters correctly identified in 2D decreases as the cluster evolves, reaching less than 3.4% at the evolutionary end point for our cluster.


title: Phase separation on surfaces in presence of matter exchange

abstract: We present a field theory to describe the composition of a surface spontaneously exchanging matter with its bulk environment. By only assuming matter conservation in the system, we show with extensive numerical simulations that, depending on the matter exchange rates, a complex patterned composition distribution emerges in the surface. For one-dimensional systems we show analytically and numerically that coarsening is arrested and as a consequence domains have a characteristic length scale. Our results show that the causes of heterogeneous lipid composition in cellular membranes may be justified in simple physical terms.


title: Forget Less, Count Better: A Domain-Incremental Self-Distillation Learning Benchmark for Lifelong Crowd Counting

abstract: Crowd counting has important applications in public safety and pandemic control. A robust and practical crowd counting system has to be capable of continuously learning with the new incoming domain data in real-world scenarios instead of fitting one domain only. Off-the-shelf methods have some drawbacks when handling multiple domains: (1) the models will achieve limited performance (even drop dramatically) among old domains after training images from new domains due to the discrepancies of intrinsic data distributions from various domains, which is called catastrophic forgetting; (2) the well-trained model in a specific domain achieves imperfect performance among other unseen domains because of the domain shift; and (3) it leads to linearly increasing storage overhead, either mixing all the data for training or simply training dozens of separate models for different domains when new ones are available. To overcome these issues, we investigated a new crowd counting task in the incremental domains training setting called Lifelong Crowd Counting. Its goal is to alleviate the catastrophic forgetting and improve the generalization ability using a single model updated by the incremental domains. Specifically, we propose a self-distillation learning framework as a benchmark (Forget Less, Count Better, or FLCB) for lifelong crowd counting, which helps the model sustainably leverage previous meaningful knowledge for better crowd counting to mitigate the forgetting when the new data arrive. In addition, a new quantitative metric, normalized backward transfer (nBwT), is developed to evaluate the forgetting degree of the model in the lifelong learning process. Extensive experimental results demonstrate the superiority of our proposed benchmark in achieving a low catastrophic forgetting degree and strong generalization ability.


title: Quantum contextuality provides communication complexity advantage

abstract: Despite the conceptual importance of contextuality in quantum mechanics, there is a hitherto limited number of applications requiring contextuality but not entanglement. Here, we show that for any quantum state and observables of sufficiently small dimensions producing contextuality, there exists a communication task with quantum advantage. Conversely, any quantum advantage in this task admits a proof of contextuality whenever an additional condition holds. We further show that given any set of observables allowing for quantum state-independent contextuality, there exists a class of communication tasks wherein the difference between classical and quantum communication complexities increases as the number of inputs grows. Finally, we show how to convert each of these communication tasks into a semi-device-independent protocol for quantum key distribution.


title: Direct observation of photon bound states using a single artificial atom

abstract: The interaction between photons and a single two-level atom constitutes a fundamental paradigm in quantum physics. The nonlinearity provided by the atom means that the light-matter interaction depends strongly on the number of photons interacting with the two-level system within its emission lifetime. This nonlinearity results in the unveiling of strongly correlated quasi-particles known as photon bound states, giving rise to key physical processes such as stimulated emission and soliton propagation. While signatures consistent with the existence of photon bound states have been measured in strongly interacting Rydberg gases, their hallmark excitation-number-dependent dispersion and propagation velocity have not yet been observed. Here, we report the direct observation of a photon-number-dependent time delay in the scattering off a single semiconductor quantum dot coupled to an optical cavity. By scattering a weak coherent pulse off the cavity-QED system and measuring the time-dependent output power and correlation functions, we show that single photons, and two- and three-photon bound states incur different time delays of 144.02\,ps, 66.45\,ps and 45.51\,ps respectively. The reduced time delay of the two-photon bound state is a fingerprint of the celebrated example of stimulated emission, where the arrival of two photons within the lifetime of an emitter causes one photon to stimulate the emission of the other from the atom.


title: Discussion of 'Event History and Topological Data Analysis'

abstract: Garside et al. use event history methods to analyze topological data. We provide additional background on persistent homology to contrast the hazard estimators used by Garside et al. with traditional approaches in topological data analysis. In particular, the former is a local method, which has advantages and disadvantages, while homology is a global. We also provide more background on persistence landscapes and show how a more complete use of this statistic improves its performance.


title: One-sorted Program Algebras

abstract: Kleene algebra with tests, KAT, provides a simple two-sorted algebraic framework for verifying properties of propositional while programs. Kleene algebra with domain, KAD, is a one-sorted alternative to KAT. The equational theory of KAT embeds into KAD, but KAD lacks some natural properties of KAT. For instance, not each Kleene algebra expands to a KAD, and the subalgebra of tests in each KAD is forced to be the maximal Boolean subalgebra of the negative cone. In this paper we propose a generalization of KAD that avoids these features while still embedding the equational theory of KAT. We show that several natural properties of the domain operator of KAD can be added to the generalized framework without affecting the results. We consider a variant of the framework where test complementation is defined using a residual of the Kleene algebra multiplication.


title: Observing single-particles beyond the Rindler horizon

abstract: We show that Minkowski single-particle states localized beyond the horizon modify the Unruh thermal distribution in an accelerated frame. This means that, contrary to classical predictions, accelerated observers can reveal particles emitted beyond the horizon. The method we adopt is based on deriving the explicit Wigner characteristic function for the complete description of the quantum field in the non-inertial frame and can be generalized to general states.


title: Combining Humor and Sarcasm for Improving Political Parody Detection

abstract: Parody is a figurative device used for mimicking entities for comedic or critical purposes. Parody is intentionally humorous and often involves sarcasm. This paper explores jointly modelling these figurative tropes with the goal of improving performance of political parody detection in tweets. To this end, we present a multi-encoder model that combines three parallel encoders to enrich parody-specific representations with humor and sarcasm information. Experiments on a publicly available data set of political parody tweets demonstrate that our approach outperforms previous state-of-the-art methods.


title: Example-Based Machine Translation from Text to a Hierarchical Representation of Sign Language

abstract: This article presents an original method for Text-to-Sign Translation. It compensates data scarcity using a domain-specific parallel corpus of alignments between text and hierarchical formal descriptions of Sign Language videos in AZee. Based on the detection of similarities present in the source text, the proposed algorithm recursively exploits matches and substitutions of aligned segments to build multiple candidate translations for a novel statement. This helps preserving Sign Language structures as much as possible before falling back on literal translations too quickly, in a generative way. The resulting translations are in the form of AZee expressions, designed to be used as input to avatar synthesis systems. We present a test set tailored to showcase its potential for expressiveness and generation of idiomatic target language, and observed limitations. This work finally opens prospects on how to evaluate translation and linguistic aspects, such as accuracy and grammatical fluency.


title: Heavy-ion and fixed-target physics at LHCb

abstract: In parallel to the study of proton-proton collisions, LHCb is developing a unique heavy-ion programme and is pioneering beam-gas fixed-target physics at the CERN LHC. In this document, a selection of some recent results from both programmes is presented.


title: Application of Clustering Algorithms for Dimensionality Reduction in Infrastructure Resilience Prediction Models

abstract: Recent studies increasingly adopt simulation-based machine learning (ML) models to analyze critical infrastructure system resilience. For realistic applications, these ML models consider the component-level characteristics that influence the network response during emergencies. However, such an approach could result in a large number of features and cause ML models to suffer from the `curse of dimensionality'. We present a clustering-based method that simultaneously minimizes the problem of high-dimensionality and improves the prediction accuracy of ML models developed for resilience analysis in large-scale interdependent infrastructure networks. The methodology has three parts: (a) generation of simulation dataset, (b) network component clustering, and (c) dimensionality reduction and development of prediction models. First, an interdependent infrastructure simulation model simulates the network-wide consequences of various disruptive events. The component-level features are extracted from the simulated data. Next, clustering algorithms are used to derive the cluster-level features by grouping component-level features based on their topological and functional characteristics. Finally, ML algorithms are used to develop models that predict the network-wide impacts of disruptive events using the cluster-level features. The applicability of the method is demonstrated using an interdependent power-water-transport testbed. The proposed method can be used to develop decision-support tools for post-disaster recovery of infrastructure networks.


title: The Probabilities of Large Deviations Associated with Multinomial Distributions

abstract: We consider a multinomial distribution, where the number of cells increases and the cell-probabilities decreases as the number of observations grows. The probabilities of large deviations of statistics, which has form of a sum of Borel functions of cell-frequencies, are studied. Large deviation results for the power-divergence statistics and its most popular special variants, as well as for some count statistics are derived as consequences of general theorems.


title: Benchmarking Econometric and Machine Learning Methodologies in Nowcasting

abstract: Nowcasting can play a key role in giving policymakers timelier insight to data published with a significant time lag, such as final GDP figures. Currently, there are a plethora of methodologies and approaches for practitioners to choose from. However, there lacks a comprehensive comparison of these disparate approaches in terms of predictive performance and characteristics. This paper addresses that deficiency by examining the performance of 12 different methodologies in nowcasting US quarterly GDP growth, including all the methods most commonly employed in nowcasting, as well as some of the most popular traditional machine learning approaches. Performance was assessed on three different tumultuous periods in US economic history: the early 1980s recession, the 2008 financial crisis, and the COVID crisis. The two best performing methodologies in the analysis were long short-term memory artificial neural networks (LSTM) and Bayesian vector autoregression (BVAR). To facilitate further application and testing of each of the examined methodologies, an open-source repository containing boilerplate code that can be applied to different datasets is published alongside the paper, available at: github.com/dhopp1/nowcasting_benchmark.


title: Wave-driven outbursts and variability of low-mass supernova progenitors

abstract: In a substantial number of core-collapse supernovae, early-time interaction indicates a dense circumstellar medium (CSM) that may be produced by outbursts from the progenitor star. Wave-driven mass loss is a possible mechanism to produce these signatures, with previous work suggesting this mechanism is most effective for low mass ($ \sim \! 11 \, M_\odot$) SN progenitors. Using one-dimensional hydrodynamic simulations with MESA, we study the effects of this wave heating in SN progenitors of masses $M_{\rm ZAMS} = 10-13\, M_{\odot}$. This range encompasses stars that experience semi-degenerate, central neon burning and more degenerate, off-center neon ignition. We find that central Ne ignition at $M_{\rm ZAMS} = 11\, M_{\odot}$ produces a burst of intense wave heating that transmits $\sim10^{47}$ erg of energy at $10$ years before core collapse, whereas other masses experience smaller levels of wave heating. Wave heating does not hydrodynamically drive mass loss in any of our models and is unlikely to produce a very massive CSM on its own. However, wave heating can cause large radial expansion (by more than an order of magnitude), photospheric cooling, and luminosity brightening by up to $\sim 10^6\, L_{\odot}$ in hydrogen-poor stripped star models. Some type Ib/c progenitors could drastically change their appearance in the final years of their lives, with brightness in visual bands increasing by nearly 3 mags. Moreover, interaction with a close binary companion could drive intense mass loss, with implications for type Ibn and other interaction-powered SNe.


title: Composite two-Higgs doublet model from dilaton effective field theory

abstract: We construct a composite two-Higgs-doublet model (2HDM) within the context of dilaton effective field theory. This EFT describes the particle spectrum observed in lattice simulations of a near-conformal $SU(3)$ gauge field theory. A second Higgs doublet is naturally accommodated within the EFT, used previously to construct a one-Higgs-doublet model. We explore the interplay of phenomenological and EFT requirements, supplemented by information from numerical lattice studies of the $SU(3)$ gauge theory with eight fundamental (Dirac) fermions. We build a viable model with moderate parameter tuning. In the relevant portion of parameter space, we match the model to a conventional general description of 2HDMs, and comment on the role of custodial symmetry (breaking) in the scalar potential. Contributions to the precision electroweak parameter $T$ provide a possible explanation for the recent measurement of the W-boson mass by CDF II.


title: Learning Scalable Policies over Graphs for Multi-Robot Task Allocation using Capsule Attention Networks

abstract: This paper presents a novel graph reinforcement learning (RL) architecture to solve multi-robot task allocation (MRTA) problems that involve tasks with deadlines and workload, and robot constraints such as work capacity. While drawing motivation from recent graph learning methods that learn to solve combinatorial optimization (CO) problems such as multi-Traveling Salesman and Vehicle Routing Problems using RL, this paper seeks to provide better performance (compared to non-learning methods) and important scalability (compared to existing learning architectures) for the stated class of MRTA problems. The proposed neural architecture, called Capsule Attention-based Mechanism or CapAM acts as the policy network, and includes three main components: 1) an encoder: a Capsule Network based node embedding model to represent each task as a learnable feature vector; 2) a decoder: an attention-based model to facilitate a sequential output; and 3) context: that encodes the states of the mission and the robots. To train the CapAM model, the policy-gradient method based on REINFORCE is used. When evaluated over unseen scenarios, CapAM demonstrates better task completion performance and $>$10 times faster decision-making compared to standard non-learning based online MRTA methods. CapAM's advantage in generalizability, and scalability to test problems of size larger than those used in training, are also successfully demonstrated in comparison to a popular approach for learning to solve CO problems, namely the purely attention mechanism.


title: Private delegated computations using strong isolation

abstract: Sensitive computations are now routinely delegated to third-parties. In response, Confidential Computing technologies are being introduced to microprocessors, offering a protected processing environment, which we generically call an isolate, providing confidentiality and integrity guarantees to code and data hosted within -- even in the face of a privileged attacker. Isolates, with an attestation protocol, permit remote third-parties to establish a trusted "beachhead" containing known code and data on an otherwise untrusted machine. Yet, the rise of these technologies introduces many new problems, including: how to ease provisioning of computations safely into isolates; how to develop distributed systems spanning multiple classes of isolate; and what to do about the billions of "legacy" devices without support for Confidential Computing? Tackling the problems above, we introduce Veracruz, a framework that eases the design and implementation of complex privacy-preserving, collaborative, delegated computations among a group of mutually mistrusting principals. Veracruz supports multiple isolation technologies and provides a common programming model and attestation protocol across all of them, smoothing deployment of delegated computations over supported technologies. We demonstrate Veracruz in operation, on private in-cloud object detection on encrypted video streaming from a video camera. In addition to supporting hardware-backed isolates -- like AWS Nitro Enclaves and Arm Confidential Computing Architecture Realms -- Veracruz also provides pragmatic "software isolates" on Armv8-A devices without hardware Confidential Computing capability, using the high-assurance seL4 microkernel and our IceCap framework.


title: Confirmation of a metallicity spread amongst first population stars in globular clusters

abstract: Stars in massive star clusters exhibit intrinsic variations in some light elements (MPs) that are difficult to explain in a coherent formation scenario. In recent years, HST photometry has led to the characterisation of the global properties of th MPs in an unparalleled level of detail. In particular, the colour-colour diagrams known as chromosome maps have been proven to be very efficient at separating cluster stars with field-like metal abundance distribution (1P) from object with distinctive light-element abundance anti-correlations (2P). The unexpected wide colour ranges covered by the 1P group in the chromosome maps of the majority of the investigated Galactic GCs have been recently attributed to intrinsic metallicity variations up to ~0.30 dex, from the study of SGB stars in two metal rich Galactic GCs by employing appropriate HST filter combinations. On the other hand, high-resolution spectroscopy of small samples of 1P stars in NGC 3201 and NGC 2808 have so far provided conflicting results, with a spread of metallicity detected in NGC 3201 but not in NGC 2808. We present a new method that employs HST near-UV and optical photometry of RGB stars, to independently confirm these results. Our approach has been firstly validated using observational data for M2, a GC hosting a small group of 1P stars with enhanced (by ~0.5 dex) metallicity with respect to the main component. We have then applied our method to three clusters that cover a much larger metallicity range, and have well populated, extended first population sequences in their chromosome maps, namely M92, NGC2808, and NGC6362. We confirm that metallicity spreads are present among 1P stars in these clusters, thus solidifying the case for the existence of unexpected variations up to a factor of two of metal abundances in most GCs. We also confirm the complex behaviour of the mean metallicity differences between 1P and 2P stars.


title: Living Innovation Lab: A Human Centric Computing toward Healthy Living

abstract: Living Lab is an umbrella term used for referring to a methodology of user-centric innovation in real-life environments within a wider network of relevant stake holders. Real-life environment refers to living houses and hospitals inter wined and connected together in a way which promotes direct usability of research by the end users. It primarily consists of three stages, Design thinking to actual Conceptualisation, Evaluation and Prototyping and Final product prototyping to commercialisation. The increasing demand of cutting age healthcare system is in itself a challenge and requires user involvement to mobilise knowledge to build a patient centered and knowledge-based economy. Innovations are constantly needed to reduce the problematic barriers to efficient knowledge exchange and improve collaborative problem solving. Living Innovation Lab, as open knowledge system, have immense potential to address these gaps that are underexplored in the healthcare system.


title: OMU: A Probabilistic 3D Occupancy Mapping Accelerator for Real-time OctoMap at the Edge

abstract: Autonomous machines (e.g., vehicles, mobile robots, drones) require sophisticated 3D mapping to perceive the dynamic environment. However, maintaining a real-time 3D map is expensive both in terms of compute and memory requirements, especially for resource-constrained edge machines. Probabilistic OctoMap is a reliable and memory-efficient 3D dense map model to represent the full environment, with dynamic voxel node pruning and expansion capacity. This paper presents the first efficient accelerator solution, i.e. OMU, to enable real-time probabilistic 3D mapping at the edge. To improve the performance, the input map voxels are updated via parallel PE units for data parallelism. Within each PE, the voxels are stored using a specially developed data structure in parallel memory banks. In addition, a pruning address manager is designed within each PE unit to reuse the pruned memory addresses. The proposed 3D mapping accelerator is implemented and evaluated using a commercial 12 nm technology. Compared to the ARM Cortex-A57 CPU in the Nvidia Jetson TX2 platform, the proposed accelerator achieves up to 62$\times$ performance and 708$\times$ energy efficiency improvement. Furthermore, the accelerator provides 63 FPS throughput, more than 2$\times$ higher than a real-time requirement, enabling real-time perception for 3D mapping.


title: Leveraging strategic connection migration-powered traffic splitting for privacy

abstract: Network-level adversaries have developed increasingly sophisticated techniques to surveil and control users' network traffic. In this paper, we exploit our observation that many encrypted protocol connections are no longer tied to device IP address (e.g., the connection migration feature in QUIC, or IP roaming in WireGuard and Mosh), due to the need for performance in a mobile-first world. We design and implement a novel framework, Connection Migration Powered Splitting (CoMPS), that utilizes these performance features for enhancing user privacy. With CoMPS, we can split traffic mid-session across network paths and heterogeneous network protocols. Such traffic splitting mitigates the ability of a network-level adversary to perform traffic analysis attacks by limiting the amount of traffic they can observe. We use CoMPS to construct a website fingerprinting defense that is resilient against traffic analysis attacks by a powerful adaptive adversary in the open-world setting. We evaluate our system using both simulated splitting data and real-world traffic that is actively split using CoMPS. In our real-world experiments, CoMPS reduces the precision and recall of VarCNN to 29.9% and 36.7% respectively in the open-world setting with 100 monitored classes. CoMPS is not only immediately deployable with any unaltered server that supports connection migration, but also incurs little overhead, decreasing throughput by only 5-20%.


title: UAV-aided Wireless Node Localization Using Hybrid Radio Channel Models

abstract: This paper considers the problem of ground user localization based on received signal strength (RSS) measurements obtained by an unmanned aerial vehicle (UAV). We treat UAV-user link channel model parameters and antenna radiation pattern of the UAV as unknowns that need to be estimated. A hybrid channel model is proposed that consists of a traditional path loss model combined with a neural network approximating the UAV antenna gain function. With this model and a set of offline RSS measurements, the unknown parameters are estimated. We then employ the particle swarm optimization (PSO) technique which utilizes the learned hybrid channel model along with a 3D map of the environment to accurately localize the ground users. The performance of the developed algorithm is evaluated through simulations and also real-world experiments.


title: Age of Gossip in Ring Networks in the Presence of Jamming Attacks

abstract: We consider a system with a source which maintains the most current version of a file, and a ring network of $n$ user nodes that wish to acquire the latest version of the file. The source gets updated with newer file versions as a point process, and forwards them to the user nodes, which further forward them to their neighbors using a memoryless gossip protocol. We study the average version age of this network in the presence of $\tilde{n}$ jammers that disrupt inter-node communications. To this purpose, we construct an alternate system model of mini-rings and prove that the version age of the original model can be sandwiched between constant multiples of the version age of the alternate model. We show that when the number of jammers scales as a fractional power of the network size, i.e., $\tilde n= cn^\alpha$, the version age scales as $\sqrt{n}$ when $\alpha < \frac{1}{2}$, and as $n^{\alpha}$ when $\alpha \geq \frac{1}{2}$. As the version age of a ring network without any jammers scales as $\sqrt{n}$, our result implies that the version age with gossiping is robust against up to $\sqrt{n}$ jammers in a ring network.


title: Local solutions of General Relativity in the presence of the Trace Anomaly

abstract: Local solutions are a vivid and long-living topic in gravitational physics. We consider exact static pseudo-spherically symmetric solutions of semi-classical Einstein's equations in presence of the trace anomaly contribution. We investigate black hole solutions and propose new metrics describing traversable wormholes. Thanks to the trace anomaly, wormholes are realized in the vacuum and, nevertheless, violate the null energy condition.


title: Safeguarding National Security Interests Utilizing Location-Aware Camera Devices

abstract: The rapid advancement of technology has resulted in advanced camera capabilities coming to smaller form factors with improved energy efficiency. These improvements have led to more efficient and capable cameras on mobile devices like mobile phones, tablets, and even eyeglasses. Using these unobtrusive cameras, users can capture photographs and videos of almost any location where they have physical access. Unfortunately, the proliferation of highly compact cameras has threatened the privacy rights of individuals and even entire nations and governments. For example, governments may not want photographs or videos of sensitive installations or locations like airside operations of military bases or the inner areas of nuclear power plants to be captured for unapproved uses. In addition, solutions that obfuscate images in post-processing are subject to threats that could siphon unprocessed data. Our work proposes a Global Positioning System-based approach to restrict the ability of smart cameras to capture and store images of sensitive areas.


title: Proximity-induced zero-energy states indistinguishable from topological edge states

abstract: When normal metals (NMs) are attached to topological insulators or topological superconductors, it is conceivable that the quantum states in these finite adjacent materials can intermix. In this case -- and because the NM usually does not possess the same symmetry as the topological material -- it is pertinent to ask whether zero-energy edge states in the topological layer are affected by the presence of the NM. To address this issue, we consider three prototype systems simulated by tight-binding models, namely a Su-Schrieffer-Heeger/NM, a Kitaev/NM, and a Chern insulator/NM. For all junctions investigated, we find that there exist trivial ``fine-tuned'' zero-energy states in the NM layer that can percolate into the topological region, thus mimicking a topological state. These zero-energy states are created by fine-tuning the NM chemical potential such that some of the NM states cross zero energy; they can occur even when the topological material is in the topologically trivial phase, and exist over a large region of the topological phase diagram. Interestingly, the true Majorana end modes of the Kitaev/NM model cannot be crossed by any NM state, as the NM metal layer in this case does not break particle-hole symmetry. On the other hand, when the chiral symmetry of the Su-Schrieffer-Heeger chain is broken by the attached NM, crossings are allowed. In addition, even in Chern insulators that do not preserve nonspatial symmetries, but the topological edge state self-generates a symmetry eigenvalue, such a fine-tuned zero-energy state can still occur. Our results indicate that when a topological material is attached to a metallic layer, one has to be cautious as to identify true topological edge states merely from their energy spectra and wave function profiles near the interface.


title: The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code)

abstract: Interactive theorem proving software is typically designed around a trusted proof-checking kernel, the sole system component capable of authenticating theorems. Untrusted automation procedures reside outside of the kernel, and drive it to deduce new theorems via an API. Kernel and untrusted automation are typically implemented in the same programming language -- the "meta-language" -- usually some functional programming language in the ML family. This strategy -- introduced by Milner in his LCF proof assistant -- is a reliability mechanism, aiming to ensure that any purported theorem produced by the system is indeed entailed by the theory within the logic. Changing tack, operating systems are also typically designed around a trusted kernel, a privileged component responsible for -- amongst other things -- mediating interaction betwixt user-space software and hardware. Untrusted processes interact with the system by issuing kernel system calls across a hardware privilege boundary. In this way, the operating system kernel supervises user-space processes. Though ostensibly very different, squinting, we see that the two kinds of kernel are tasked with solving the same task: enforcing system invariants in the face of unbounded interaction with untrusted code. Yet, the two solutions to solving this problem, employed by the respective kinds of kernel, are very different. In this abstract, we explore designing proof-checking kernels as supervisory software, where separation between kernel and untrusted code is enforced by privilege, not programming language module boundaries and type abstraction. We describe work on the Supervisionary proof-checking kernel, and briefly sketch its unique system interface. We then describe some potential uses of the Supervisionary kernel.


title: Quantum non-Markovian environment-to-system backflows of information: non-operational vs. operational approaches

abstract: Quantum memory effects can be qualitatively understood as a consequence of an environment-to-system backflow of information. Here, we analyze and compare how this concept is interpreted and implemented in different approaches to quantum non-Markovianity. We study a non-operational approach, defined by the istinguishability between two system states characterized by different initial conditions, and an operational approach, which is defined by the correlation between different outcomes associated to successive measurement processes performed over the system of interest. The differences, limitations, and vantages of each approach are characterized in detail by considering diverse system-environment models and dynamics. As a specific example, we study a non-Markovian depolarizing map induced by the interaction of the system of interest with an environment characterized by incoherent and coherent self-dynamics.


title: High-Resolution Quantum Cascade Laser Dual-Comb Spectroscopy in the Mid-Infrared with Absolute Frequency Referencing

abstract: Quantum cascade laser (QCL) frequency combs have revolutionized mid-infrared (MIR) spectroscopy by their high brightness and fast temporal resolution, and are a promising technology for fully-integrated and cost-effective sensors. As for other integrated comb sources such as micro-combs and interband cascade laser, QCLs have a comb spacing of several GHz, which is adequate for measurements of wide absorbing structures, typically found in liquid or solid samples. However, high-resolution gas-phase spectra require spectral interleaving and frequency calibration. We developed a frequency calibration scheme for fast interleaved measurements with combs featuring multi-GHz spacing. We then demonstrate dual-comb spectroscopy with 600 kHz accuracy in single-shot 54-ms measurements over 40 cm$^{-1}$ using two QCLs at 7.8 $\mathrm{\mu}$m. This work is an important contribution towards fast fingerprinting of complex molecular mixtures in the MIR. Moreover, the calibration scheme could be used with micro-combs for spectroscopy and ranging, both in comb-swept and comb-calibrated setups.


title: UAV-aided RF Mapping for Sensing and Connectivity in Wireless Networks

abstract: The use of unmanned aerial vehicles (UAV) as flying radio access network (RAN) nodes offers a promising complement to traditional fixed terrestrial deployments. More recently yet still in the context of wireless networks, drones have also been envisioned for use as radio frequency (RF) sensing and localization devices. In both cases, the advantage of using UAVs lies in their ability to navigate themselves freely in 3D and in a timely manner to locations of space where the obtained network throughput or sensing performance is optimal. In practice, the selection of a proper location or trajectory for the UAV very much depends on local terrain features, including the position of surrounding radio obstacles. Hence, the robot must be able to map the features of its radio environment as it performs its data communication or sensing services. The challenges related to this task, referred here as radio mapping, are discussed in this paper. Its promises related to efficient trajectory design for autonomous radio-aware UAVs are highlighted, along with algorithm solutions. The advantages induced by radio-mapping in terms of connectivity, sensing, and localization performance are illustrated.


title: Statistical Data Privacy: A Song of Privacy and Utility

abstract: To quantify trade-offs between increasing demand for open data sharing and concerns about sensitive information disclosure, statistical data privacy (SDP) methodology analyzes data release mechanisms which sanitize outputs based on confidential data. Two dominant frameworks exist: statistical disclosure control (SDC), and more recent, differential privacy (DP). Despite framing differences, both SDC and DP share the same statistical problems at its core. For inference problems, we may either design optimal release mechanisms and associated estimators that satisfy bounds on disclosure risk, or we may adjust existing sanitized output to create new optimal estimators. Both problems rely on uncertainty quantification in evaluating risk and utility. In this review, we discuss the statistical foundations common to both SDC and DP, highlight major developments in SDP, and present exciting open research problems in private inference.


title: Phase separation and critical size in molecular sorting

abstract: Molecular sorting is a fundamental process that allows eukaryotic cells to distill and concentrate specific chemical factors in appropriate cell membrane subregions, thus endowing them with different chemical identities and functional properties. A phenomenological theory of this molecular distillation process has recently been proposed [arXiv:1811.06760], based on the idea that molecular sorting emerges from the combination of: a) phase-separation-driven formation of sorting domains, and b) domain-induced membrane bending, leading to the production of submicrometric lipid vesicles enriched in the sorted molecules. In this framework, a natural parameter controlling the efficiency of molecular distillation is the critical size of phase-separated domains. In the experiments, sorting domains appear to fall into two classes: unproductive domains, characterized by short lifetimes and low probability of extraction, and productive domains, that evolve into vesicles that ultimately detach from the membrane system. It is tempting to link these two classes to the different fates predicted by classical phase separation theory for subcritical and supercritical phase-separated domains. Here, we discuss the implication of this picture in the framework of the previously introduced phenomenological theory of molecular sorting. Several predictions of the theory are verified by numerical simulations of a lattice-gas model. Sorting is observed to be most efficient when the number of sorting domains is close to a minimum. To help in the analysis of experimental data, an operational definition of the critical size of sorting domains is proposed. Comparison with experimental results shows that the statistical properties of productive/unproductive domains inferred from experimental data are in agreement with those predicted from numerical simulations of the model.


title: Domain-Level Detection and Disruption of Disinformation

abstract: How, in 20 short years, did we go from the promise of the internet to democratize access to knowledge and make the world more understanding and enlightened, to the litany of daily horrors that is today's internet? We are awash in disinformation consisting of lies, conspiracies, and general nonsense, all with real-world implications ranging from horrific humans rights violations to threats to our democracy and global public health. Although the internet is vast, the peddlers of disinformation appear to be more localized. To this end, we describe a domain-level analysis for predicting if a domain is complicit in distributing or amplifying disinformation. This process analyzes the underlying domain content and the hyperlinking connectivity between domains to predict if a domain is peddling in disinformation. These basic insights extend to an analysis of disinformation on Telegram and Twitter. From these insights, we propose that search engines and social-media recommendation algorithms can systematically discover and demote the worst disinformation offenders, returning some trust and sanity to our online communities.


title: Transferring Chemical and Energetic Knowledge Between Molecular Systems with Machine Learning

abstract: Predicting structural and energetic properties of a molecular system is one of the fundamental tasks in molecular simulations, and it has use cases in chemistry, biology, and medicine. In the past decade, the advent of machine learning algorithms has impacted on molecular simulations for various tasks, including property prediction of atomistic systems. In this paper, we propose a novel methodology for transferring knowledge obtained from simple molecular systems to a more complex one, possessing a significantly larger number of atoms and degrees of freedom. In particular, we focus on the classification of high and low free-energy states. Our approach relies on utilizing (i) a novel hypergraph representation of molecules, encoding all relevant information for characterizing the potential energy of a conformation, and (ii) novel message passing and pooling layers for processing and making predictions on such hypergraph-structured data. Despite the complexity of the problem, our results show a remarkable AUC of 0.92 for transfer learning from tri-alanine to the deca-alanine system. Moreover, we show that the very same transfer learning approach can be used to group, in an unsupervised way, various secondary structures of deca-alanine in clusters having similar free-energy values. Our study represents a proof of concept that reliable transfer learning models for molecular systems can be designed paving the way to unexplored routes in prediction of structural and energetic properties of biologically relevant systems.

categories: physics.chem-ph cs.LG physics.bio-ph q-bio.BM


title: Prompt Distribution Learning

abstract: We present prompt distribution learning for effectively adapting a pre-trained vision-language model to address downstream recognition tasks. Our method not only learns low-bias prompts from a few samples but also captures the distribution of diverse prompts to handle the varying visual representations. In this way, we provide high-quality task-related content for facilitating recognition. This prompt distribution learning is realized by an efficient approach that learns the output embeddings of prompts instead of the input embeddings. Thus, we can employ a Gaussian distribution to model them effectively and derive a surrogate loss for efficient training. Extensive experiments on 12 datasets demonstrate that our method consistently and significantly outperforms existing methods. For example, with 1 sample per category, it relatively improves the average result by 9.1% compared to human-crafted prompts.


title: COCONUT, a novel fast-converging MHD model for solar corona simulations: I. Benchmarking and optimization of polytropic solutions

abstract: We present a novel global 3-D coronal MHD model called COCONUT, polytropic in its first stage and based on a time-implicit backward Euler scheme. Our model boosts run-time performance in comparison with contemporary MHD-solvers based on explicit schemes, which is particularly important when later employed in an operational setting for space weather forecasting. It is data-driven in the sense that we use synoptic maps as inner boundary input for our potential field initialization as well as an inner boundary condition in the further MHD time evolution. The coronal model is developed as part of the EUropean Heliospheric FORecasting Information Asset (EUHFORIA) and will replace the currently employed, more simplistic, empirical Wang-Sheeley-Arge (WSA) model. At 21.5 Rs where the solar wind is already supersonic, it is coupled to EUHFORIA's heliospheric model. We validate and benchmark our coronal simulation results with the explicit-scheme Wind-Predict model and find good agreement for idealized limit cases as well as real magnetograms, while obtaining a computational time reduction of up to a factor 3 for simple idealized cases, and up to 35 for realistic configurations, and we demonstrate that the time gained increases with the spatial resolution of the input synoptic map. We also use observations to constrain the model and show that it recovers relevant features such as the position and shape of the streamers (by comparison with eclipse white-light images), the coronal holes (by comparison with EUV images) and the current sheet (by comparison with WSA model at 0.1 AU).


title: The CR umbilical locus of a real ellipsoid in $\mathbb{C}^2$

abstract: This paper concerns the CR umbilical locus of a real ellipsoid in $\mathbb{C}^2$, the set of points at which the ellipsoid can be osculated by a biholomorphic image of the sphere up to 6th order. Huang and Ji proved that this locus is non-empty. Ebenfelt and Zaitsev proved that, for ellipsoids that are sufficiently "closed" to the sphere, the locus actually contains a "stable" curve of umbilical points. Foo, Merker and Ta later provided an explicit curve that is contained in it. The main result in this paper exhibits that the umbilical locus is the union of the curves mentioned above and a non-trivial real variety which is defined by two homogeneous real sextic equations of four real variables. When there are suitable pairs of equal semi-axes, one of them factors allowing us to determine the locus explicitly.


title: Far from Asymptopia

abstract: Inference from limited data requires a notion of measure on parameter space, most explicit in the Bayesian framework as a prior. Here we demonstrate that Jeffreys prior, the best-known uninformative choice, introduces enormous bias when applied to typical scientific models. Such models have a relevant effective dimensionality much smaller than the number of microscopic parameters. Because Jeffreys prior treats all microscopic parameters equally, it is from uniform when projected onto the sub-space of relevant parameters, due to variations in the local co-volume of irrelevant directions. We present results on a principled choice of measure which avoids this issue, leading to unbiased inference in complex models. This optimal prior depends on the quantity of data to be gathered, and approaches Jeffreys prior in the asymptotic limit. However, this limit cannot be justified without an impossibly large amount of data, exponential in the number of microscopic parameters.

categories: stat.OT cs.IT math.IT physics.data-an stat.ML


title: Shortcomings of Class-level Documentation: A Survey

abstract: To better understand the shortcomings of class-level documentation, we conducted a survey of 167 experienced software developers. The survey focused on the participants' programming-related information needs and how often class-level documentation satisfies such needs.


title: Evaluation of Feynman integrals with arbitrary complex masses via series expansions

abstract: We present an algorithm to evaluate multiloop Feynman integrals with an arbitrary number of internal massive lines, with the masses being in general complex-valued, and its implementation in the \textsc{Mathematica} package \textsc{SeaSyde}. The implementation solves by series expansions the system of differential equations satisfied by the Master Integrals. At variance with respect to other existing codes, the analytical continuation of the solution is performed in the complex plane associated to each kinematical invariant. We present the results of the evaluation of the Master Integrals relevant for the NNLO QCD-EW corrections to the neutral-current Drell-Yan processes.


title: Multitask AET with Orthogonal Tangent Regularity for Dark Object Detection

abstract: Dark environment becomes a challenge for computer vision algorithms owing to insufficient photons and undesirable noise. To enhance object detection in a dark environment, we propose a novel multitask auto encoding transformation (MAET) model which is able to explore the intrinsic pattern behind illumination translation. In a self-supervision manner, the MAET learns the intrinsic visual structure by encoding and decoding the realistic illumination-degrading transformation considering the physical noise model and image signal processing (ISP). Based on this representation, we achieve the object detection task by decoding the bounding box coordinates and classes. To avoid the over-entanglement of two tasks, our MAET disentangles the object and degrading features by imposing an orthogonal tangent regularity. This forms a parametric manifold along which multitask predictions can be geometrically formulated by maximizing the orthogonality between the tangents along the outputs of respective tasks. Our framework can be implemented based on the mainstream object detection architecture and directly trained end-to-end using normal target detection datasets, such as VOC and COCO. We have achieved the state-of-the-art performance using synthetic and real-world datasets. Code is available at https://github.com/cuiziteng/MAET.


title: Zhuyi: Perception Processing Rate Estimation for Safety in Autonomous Vehicles

abstract: The processing requirement of autonomous vehicles (AVs) for high-accuracy perception in complex scenarios can exceed the resources offered by the in-vehicle computer, degrading safety and comfort. This paper proposes a sensor frame processing rate (FPR) estimation model, Zhuyi, that quantifies the minimum safe FPR continuously in a driving scenario. Zhuyi can be employed post-deployment as an online safety check and to prioritize work. Experiments conducted using a multi-camera state-of-the-art industry AV system show that Zhuyi's estimated FPRs are conservative, yet the system can maintain safety by processing only 36% or fewer frames compared to a default 30-FPR system in the tested scenarios.


title: Analytical model for attosecond time delays and Fano's propensity rules in the continuum

abstract: Extracting single photoionization time delays associated with atomic (or molecular) species from attosecond time scale two-photon experiments usually relies on the theoretical description of continuum-continuum transitions. The available models for those processes predict a universal phase contribution, independent of the angular quantum numbers of final states. However, a recent experimental-theoretical study [Fuchs, \emph{et al.} Optica 7, 154 (2020)] determined a sizable time delay dependence on the angular momentum of near-threshold photoelectrons. In this study, we present an analytical model for the two-photon two-color transition matrix amplitudes that reproduces the phase dependence on the angular quantum number of final states. Finally, we show that our analytical model can also describe the generalized Fano's propensity rules [Busto, \emph{et al.} Phys. Rev. Lett. 123, 133201 (2019)] for laser-assisted photoionization.


title: A Monte Carlo study on the temperature dependence of hysteresis loops in Ising Spin-1 Square Bilayers

abstract: A Metropolis Monte Carlo simulation is used in this paper to investigate the temperature dependency of the hysteresis loops of a spin-1 bilayer with square monolayers. In this system, the atoms interact ferromagnetically in-plane, with either ferromagnetic or antiferromagnetic interplane interactions. The effects of four distinct combinations of the Hamiltonian parameters on the hysteresis behaviours are discussed in detail. The geometry of the hysteresis loops changes depending on how the exchange couplings are combined. With ferromagnetic interlayer coupling, only the central hysteresis loop opens while for the antiferromagnetic case, the hysteresis loop becomes a double loop for the specific combination of coupling strengths. Additionally, in all these cases, the area of the hysteresis loops grows with the gradual lowering of the temperature.


title: Online triggers for supernova and pre-supernova neutrino detection with cryogenic detectors

abstract: Supernovae (SNe) are among the most energetic events in the universe still far from being fully understood. An early and prompt detection of neutrinos is a one-time opportunity for the realization of the first multi-messenger observation of these events. In this work, we present the prospects of detecting neutrinos produced before (pre-SN) and during a SN while running an advanced cryogenic detector. The recent advancements of the cryogenic detector technique and the discovery of coherent elastic neutrino-nucleus scattering offer a wealth of opportunities in neutrino detection. The combination of the excellent energy resolution of this experimental technique, with the high cross section of this detection channel and its equal sensitivity to all neutrino flavors enables the realization of highly sensitive cm-scale neutrino telescopes, as the newly proposed RES-NOVA experiment. We present a detailed study on the detection promptness of pre-SN and SN neutrino signals, with direct comparisons among different classes of test statistics. While the well-established Poisson test offers in general best performance under optimal conditions, the non-parametric Recursive Product of Spacing statistical test (RPS) is more robust and ideal for triggering astrophysical neutrino signals with no specific prior knowledge. Based on our statistical tests the RES-NOVA experiment is able to identify SN neutrino signals at a 15 kpc distance with 95% of success rate, and pre-SN signal as far as 480 pc with a pre-warn time of the order of 10 s. These results demonstrate the potential of RPS for the identification of neutrino signals and the physics reach of the RES-NOVA experiment.


title: Intrinsically quasi-isometric sections in metric spaces

abstract: This note is a contribution to large scale geometry. More precisely, we introduce the intrinsically quasi-isometric sections in metric spaces and we investigate their properties: the Ahlfors-David regularity in large scale; following Cheeger theory, it is possible to define suitable sets in order to obtain convexity and being a vector space over $\mathbb{R}$ or $\mathbb{C}$ for these sections; yet, following Cheeger's idea, we give an equivalence relation for this class of sections. Throughout the paper, we use basic mathematical tools.


title: Comment on Jackson and Sonnenschein (2007) "Overcoming Incentive Constraints by Linking Decisions"

abstract: We correct a bound in the definition of approximate truthfulness used in the body of the paper of Jackson and Sonnenschein (2007). The proof of their main theorem uses a different permutation-based definition, implicitly claiming that the permutation-version implies the bound-based version. We show that this claim holds only if the bound is loosened. The new bound is still strong enough to guarantee that the fraction of lies vanishes as the number of problems grows, so the theorem is correct as stated once the bound is loosened.


title: How to Spend Your Robot Time: Bridging Kickstarting and Offline Reinforcement Learning for Vision-based Robotic Manipulation

abstract: Reinforcement learning (RL) has been shown to be effective at learning control from experience. However, RL typically requires a large amount of online interaction with the environment. This limits its applicability to real-world settings, such as in robotics, where such interaction is expensive. In this work we investigate ways to minimize online interactions in a target task, by reusing a suboptimal policy we might have access to, for example from training on related prior tasks, or in simulation. To this end, we develop two RL algorithms that can speed up training by using not only the action distributions of teacher policies, but also data collected by such policies on the task at hand. We conduct a thorough experimental study of how to use suboptimal teachers on a challenging robotic manipulation benchmark on vision-based stacking with diverse objects. We compare our methods to offline, online, offline-to-online, and kickstarting RL algorithms. By doing so, we find that training on data from both the teacher and student, enables the best performance for limited data budgets. We examine how to best allocate a limited data budget -- on the target task -- between the teacher and the student policy, and report experiments using varying budgets, two teachers with different degrees of suboptimality, and five stacking tasks that require a diverse set of behaviors. Our analysis, both in simulation and in the real world, shows that our approach is the best across data budgets, while standard offline RL from teacher rollouts is surprisingly effective when enough data is given.


title: On the order of accuracy for finite difference approximations of partial differential equations using stencil composition

abstract: Stencil composition uses the idea of function composition, wherein two stencils with arbitrary orders of derivative are composed to obtain a stencil with a derivative order equal to sum of the orders of the composing stencils. In this paper, we show how stencil composition can be applied to form finite difference stencils in order to numerically solve partial differential equations (PDEs). We present various properties of stencil composition and investigate the relationship between the order of accuracy of the composed stencil and that of the composing stencils. We also present comparisons between the stability restrictions of composed higher-order PDEs to their compact versions and numerical experiments wherein we verify the order of accuracy by convergence tests. To demonstrate an application to PDEs, a boundary value problem involving the two-dimensional biharmonic equation is numerically solved using stencil composition and the order of accuracy is verified by performing a convergence test. The method is then applied to the Cahn-Hilliard phase-field model. In addition to sample results in 2D and 3D for this benchmark problem, the scalability, spectral properties, and sparsity is explored.


title: Trainable Wavelet Neural Network for Non-Stationary Signals

abstract: This work introduces a wavelet neural network to learn a filter-bank specialized to fit non-stationary signals and improve interpretability and performance for digital signal processing. The network uses a wavelet transform as the first layer of a neural network where the convolution is a parameterized function of the complex Morlet wavelet. Experimental results, on both simplified data and atmospheric gravity waves, show the network is quick to converge, generalizes well on noisy data, and outperforms standard network architectures.


title: Overview of solution methods for elliptic partial differential equations on cartesian and hierarchical grids

abstract: Elliptic partial differential equations (PDEs) arise in many areas of computational sciences such as computational fluid dynamics, biophysics, engineering, geophysics and more. They are difficult to solve due to their global nature and sometimes ill-conditioned operators. We review common discretization methods for elliptic PDEs such as the finite difference, finite volume, finite element, and spectral methods and the linear systems they form. We also provide an overview of classic to modern solution methods for the linear systems formed by these discretization methods. These methods include splitting and Krylov methods, direct methods, and hierarchical methods. Finally, we show applications that would benefit from fast and efficient solvers for elliptic PDEs, including projection methods for the incompressible Navier-Stokes equations and the shallow water wave equations with dispersive corrections.


title: Resolution of Yan's conjecture on entropy of graphs

abstract: The first degree-based entropy of a graph is the Shannon entropy of its degree sequence normalized by the degree sum. In this paper, we characterize the connected graphs with given order $n$ and size $m$ that minimize the first degree-based entropy whenever $n-1 \le m \le 2n-3,$ thus extending and proving a conjecture by Yan.


title: Simulating a pulsed power-driven plasma with ideal MHD

abstract: We describe a simple practical numerical method for simulating plasma driven within a vacuum chamber by a pulsed power generator. Typically, in this type of simulation, the vacuum region adjacent to the plasma is approximated as a highly resistive, light fluid; this involves computationally expensive solvers describing the diffusion of the magnetic field through this fluid. Instead, we provide a recipe for coupling pulsed power generators to the MHD domain by approximating the perfectly insulating vacuum as a light, perfectly conducting, inviscid MHD fluid and discuss the applicability of this counter-intuitive technique. This, much more affordable ideal MHD representation, is particularly useful in situations where a plasma exhibits interesting three-dimensional phenomena, either due to the design of the experiment or due to developing instabilities. We verified that this coupling recipe works by modeling an exactly solvable flux compression generator as well as a self-similar Noh-like solution and demonstrated convergence to the theoretical solution. We also showed examples of simulating complex three-dimensional pulsed power devices with this technique. We release our code implementation to the public.