title: Chiral phase structure and critical end point in QCD

abstract: We map out the QCD phase structure at finite temperature and chemical potential for 2-flavour and 2 + 1-flavour QCD. This is done within a generalised functional approach to QCD put forward in arXiv:2002.07500 [hep-ph]. Specifically we compute the quark propagator and the finite-temperature and density fluctuations of the gluon propagator and the quark-gluon vertex on the basis of precision data for vacuum correlation functions. The novel ingredient is the direct self-consistent computation of the DSEs for the dressings of the quark-gluon vertex, in contrast to the common use of STI-inspired vertices. For small densities the results for the chiral order parameter agree with the respective lattice and functional renormalisation group results, for large densities the present results are in a quantitative agreement with the latter, including the location of the critical end point.


title: Non-Accessible Mass and the Ontology of GRW

abstract: The Mass Density approach to GRW (GRWm for short) has been widely discussed in the quantum foundations literature. A crucial feature of GRWm is the introduction of a relation of accessibility for mass, which allows to explain the determinacy of experimental outcomes thus also addressing the tails problem of GRW. However, the relation of accessibility leaves the ontological meaning of the non-accessible portion of mass utterly unexplained. In this paper I discuss two viable approaches to non-accessible mass, which I call anti-realist and realist, and will defend the latter. First, I show that the anti-realist approach suffers from various objections. Second, I develop an account of non-accessible mass density states as objectively indeterminate states of affairs.


title: Protocol Analysis with Time

abstract: We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information available to processes, and a transition semantics that takes account of fundamental properties of time. Additional properties can be added by the user if desirable. This timed protocol framework can be implemented either as a simulation tool or as a symbolic analysis tool in which time references are represented by logical variables, and in which the properties of time are implemented as constraints on those time logical variables. These constraints are carried along the symbolic execution of the protocol. The satisfiability of these constraints can be evaluated as the analysis proceeds, so attacks that violate the laws of physics can be rejected as impossible. We demonstrate the feasibility of our approach by using the Maude-NPA protocol analyzer together with an SMT solver that is used to evaluate the satisfiability of timing constraints. We provide a sound and complete protocol transformation from our timed process algebra to the Maude-NPA syntax and semantics, and we prove its soundness and completeness. We then use the tool to analyze Mafia fraud and distance hijacking attacks on a suite of distance-bounding protocols.


title: Galois Coverings of One-Sided Bimodule Problems

abstract: Applying geometric methods of $2$-dimensional cell complex theory, we construct a Galois covering of a bimodule problem satisfying some structure, triangularity and finiteness conditions in order to describe the objects of finite representation type. Each admitted bimodule problem $\mathcal A$ is endowed with a quasi multiplicative basis. The main result shows that for a problem from the considered class having some finiteness restrictions and the schurian universal covering $\tilde{\mathcal A}$, either $\mathcal A$ is schurian, or its basic bigraph contains a dotted loop, or it has a standard minimal non-schurian bimodule subproblem.


title: Systematizing and addressing theory uncertainties of unitarization with the Inverse Amplitude Method

abstract: Effective Field Theories (EFTs) constructed as derivative expansions in powers of momentum, in the spirit of Chiral Perturbation Theory (ChPT), are a controllable approximation to strong dynamics as long as the energy of the interacting particles remains small, as they do not respect exact elastic unitarity. This limits their predictive power towards new physics at a higher scale if small separations from the Standard Model are found at the LHC or elsewhere. Unitarized chiral perturbation theory techniques have been devised to extend the reach of the EFT to regimes where partial waves are saturating unitarity, but their uncertainties have hitherto not been addressed thoroughly. Here we take one of the best known of them, the Inverse Amplitude Method (IAM), and carefully following its derivation, we quantify the uncertainty introduced at each step. We compare its hadron ChPT and its electroweak sector Higgs EFT applications. We find that the relative theoretical uncertainty of the IAM at the mass of the first resonance encountered in a partial-wave is of the same order in the counting as the starting uncertainty of the EFT at near-threshold energies, so that its unitarized extension should \textit{a priori} be expected to be reasonably successful. This is so provided a check for zeroes of the partial wave amplitude is carried out and, if they appear near the resonance region, we show how to modify adequately the IAM to take them into account.


title: Optimizing Coverage and Capacity in Cellular Networks using Machine Learning

abstract: Wireless cellular networks have many parameters that are normally tuned upon deployment and re-tuned as the network changes. Many operational parameters affect reference signal received power (RSRP), reference signal received quality (RSRQ), signal-to-interference-plus-noise-ratio (SINR), and, ultimately, throughput. In this paper, we develop and compare two approaches for maximizing coverage and minimizing interference by jointly optimizing the transmit power and downtilt (elevation tilt) settings across sectors. To evaluate different parameter configurations offline, we construct a realistic simulation model that captures geographic correlations. Using this model, we evaluate two optimization methods: deep deterministic policy gradient (DDPG), a reinforcement learning (RL) algorithm, and multi-objective Bayesian optimization (BO). Our simulations show that both approaches significantly outperform random search and converge to comparable Pareto frontiers, but that BO converges with two orders of magnitude fewer evaluations than DDPG. Our results suggest that data-driven techniques can effectively self-optimize coverage and capacity in cellular networks.


title: Blockchain CAP Theorem Allows User-Dependent Adaptivity and Finality

abstract: Longest-chain blockchain protocols, such as Bitcoin, guarantee liveness even when the number of actively participating users is variable, i.e., they are adaptive. However, they are not safe under network partitions, i.e., they do not guarantee finality. On the other hand, classical blockchain protocols, like PBFT, achieve finality but not adaptivity. Indeed, the CAP theorem in the context of blockchains asserts that no protocol can simultaneously offer both adaptivity and finality. We propose a new blockchain protocol, called the checkpointed longest chain, that offers individual users the choice between finality and adaptivity instead of imposing it at a system-wide level. This protocol's salient feature is that it supports two distinct confirmation rules: one that guarantees adaptivity and the other finality. The more optimistic adaptive rule always confirms blocks that are marked as finalized by the more conservative rule, and may possibly confirm more blocks during variable participation levels. Clients (users) make a local choice between the confirmation rules as per their personal preference, while miners follow a fixed block proposal rule that is consistent with both confirmation rules. The proposed protocol has the additional benefit of intrinsic validity: the finalized blocks always lie on a single blockchain, and therefore miners can attest to the validity of transactions while proposing blocks. Our protocol builds on the notion of a finality gadget, a popular technique for adding finality to longest-chain protocols.


title: Multilabel 12-Lead Electrocardiogram Classification Using Gradient Boosting Tree Ensemble

abstract: The 12-lead electrocardiogram (ECG) is a commonly used tool for detecting cardiac abnormalities such as atrial fibrillation, blocks, and irregular complexes. For the PhysioNet/CinC 2020 Challenge, we built an algorithm using gradient boosted tree ensembles fitted on morphology and signal processing features to classify ECG diagnosis. For each lead, we derive features from heart rate variability, PQRST template shape, and the full signal waveform. We join the features of all 12 leads to fit an ensemble of gradient boosting decision trees to predict probabilities of ECG instances belonging to each class. We train a phase one set of feature importance determining models to isolate the top 1,000 most important features to use in our phase two diagnosis prediction models. We use repeated random sub-sampling by splitting our dataset of 43,101 records into 100 independent runs of 85:15 training/validation splits for our internal evaluation results. Our methodology generates us an official phase validation set score of 0.476 and test set score of -0.080 under the team name, CVC, placing us 36 out of 41 in the rankings.


title: Self-supervised Human Activity Recognition by Learning to Predict Cross-Dimensional Motion

abstract: We propose the use of self-supervised learning for human activity recognition with smartphone accelerometer data. Our proposed solution consists of two steps. First, the representations of unlabeled input signals are learned by training a deep convolutional neural network to predict a segment of accelerometer values. Our model exploits a novel scheme to leverage past and present motion in x and y dimensions, as well as past values of the z axis to predict values in the z dimension. This cross-dimensional prediction approach results in effective pretext training with which our model learns to extract strong representations. Next, we freeze the convolution blocks and transfer the weights to our downstream network aimed at human activity recognition. For this task, we add a number of fully connected layers to the end of the frozen network and train the added layers with labeled accelerometer signals to learn to classify human activities. We evaluate the performance of our method on three publicly available human activity datasets: UCI HAR, MotionSense, and HAPT. The results show that our approach outperforms the existing methods and sets new state-of-the-art results.


title: ActiveNet: A computer-vision based approach to determine lethargy

abstract: The outbreak of COVID-19 has forced everyone to stay indoors, fabricating a significant drop in physical activeness. Our work is constructed upon the idea to formulate a backbone mechanism, to detect levels of activeness in real-time, using a single monocular image of a target person. The scope can be generalized under many applications, be it in an interview, online classes, security surveillance, et cetera. We propose a Computer Vision based multi-stage approach, wherein the pose of a person is first detected, encoded with a novel approach, and then assessed by a classical machine learning algorithm to determine the level of activeness. An alerting system is wrapped around the approach to provide a solution to inhibit lethargy by sending notification alerts to individuals involved.


title: ST-GREED: Space-Time Generalized Entropic Differences for Frame Rate Dependent Video Quality Prediction

abstract: We consider the problem of conducting frame rate dependent video quality assessment (VQA) on videos of diverse frame rates, including high frame rate (HFR) videos. More generally, we study how perceptual quality is affected by frame rate, and how frame rate and compression combine to affect perceived quality. We devise an objective VQA model called Space-Time GeneRalized Entropic Difference (GREED) which analyzes the statistics of spatial and temporal band-pass video coefficients. A generalized Gaussian distribution (GGD) is used to model band-pass responses, while entropy variations between reference and distorted videos under the GGD model are used to capture video quality variations arising from frame rate changes. The entropic differences are calculated across multiple temporal and spatial subbands, and merged using a learned regressor. We show through extensive experiments that GREED achieves state-of-the-art performance on the LIVE-YT-HFR Database when compared with existing VQA models. The features used in GREED are highly generalizable and obtain competitive performance even on standard, non-HFR VQA databases. The implementation of GREED has been made available online: https://github.com/pavancm/GREED


title: A higher-order finite element method with unstructured anisotropic mesh adaption for two phase flows with surface tension

abstract: A novel finite element framework is proposed for the numerical simulation of two phase flows with surface tension. The Level-Set (LS) method with piece-wise quadratic (P2) interpolation for the liquid-gas interface is used in order to reach higher-order convergence rates in regions with smooth interface. A balanced-force implementation of the continuum surface force model is used to take into account the surface tension and to solve static problems as accurately as possible. Given that this requires a balance between the discretization used for the LS function, and that used for the pressure field, an equal-order P2/P2/P2 scheme is proposed for the Navier-Stokes and LS advection equations, which are strongly coupled with each other. This fully implicit formulation is stabilized using the residual-based variational multiscale framework. In order to improve the accuracy and obtain optimal convergence rates with a minimum number of elements, an anisotropic mesh adaption method is proposed where the unstructured mesh is kept as fine as possible close to the zero iso-value of the P2 LS function. Elements are automatically stretched in regions with flat interface in order to keep the complexity fixed during the simulation. The accuracy and efficiency of this approach are demonstrated for two and three dimensional simulations of a rising bubble.


title: Expressive power of linear algebra query languages

abstract: Linear algebra algorithms often require some sort of iteration or recursion as is illustrated by standard algorithms for Gaussian elimination, matrix inversion, and transitive closure. A key characteristic shared by these algorithms is that they allow looping for a number of steps that is bounded by the matrix dimension. In this paper we extend the matrix query language MATLANG with this type of recursion, and show that this suffices to express classical linear algebra algorithms. We study the expressive power of this language and show that it naturally corresponds to arithmetic circuit families, which are often said to capture linear algebra. Furthermore, we analyze several sub-fragments of our language, and show that their expressive power is closely tied to logical formalisms on semiring-annotated relations.


title: Source noise suppression in attosecond transient absorption spectroscopy by edge-pixel referencing

abstract: Attosecond transient absorption spectroscopy (ATAS) is used to observe photoexcited dynamics with outstanding time resolution. The main experimental challenge of this technique is that high-harmonic generation sources show significant instabilities, resulting in sub-par sensitivity when compared to other techniques. This paper proposes edge-pixel referencing as a means to suppress this noise. Two approaches are introduced: the first is deterministic and uses a correlation analysis, while the second relies on singular value decomposition. Each methods is demonstrated and quantified on a noisy measurement taken on $\text{WS}_2$ and results in a fivefold increase in sensitivity. The combination of the two methods ensures the fidelity of the procedure and can be implemented on live data collection but also on existing datasets. The results show that edge-referencing methods bring the sensitivity of ATAS near the detector noise floor. An implementation of the post-processing code is provided to the reader.


title: A Hierarchical Attack Identification Method for Nonlinear Systems

abstract: Many autonomous control systems are frequently exposed to attacks, so methods for attack identification are crucial for a safe operation. To preserve the privacy of the subsystems and achieve scalability in large-scale systems, identification algorithms should not require global model knowledge. We analyze a previously presented method for hierarchical attack identification, that is embedded in a distributed control setup for systems of systems with coupled nonlinear dynamics. It is based on the exchange of local sensitivity information and ideas from sparse signal recovery. In this paper, we prove sufficient conditions under which the method is guaranteed to identify all components affected by some unknown attack. Even though a general class of nonlinear dynamic systems is considered, our rigorous theoretical guarantees are applicable to practically relevant examples, which is underlined by numerical experiments with the IEEE~30 bus power system.


title: A regular unimodular triangulation of reflexive 2-supported weighted projective space simplices

abstract: For each integer partition $\mathbf{q}$ with $d$ parts, we denote by $\Delta_{(1,\mathbf{q})}$ the lattice simplex obtained as the convex hull in $\mathbb{R}^d$ of the standard basis vectors along with the vector $-\mathbf{q}$. For $\mathbf{q}$ with two distinct parts such that $\Delta_{(1,\mathbf{q})}$ is reflexive and has the integer decomposition property, we establish a characterization of the lattice points contained in $\Delta_{(1,\mathbf{q})}$. We then construct a Gr\"{o}bner basis with a squarefree initial ideal of the toric ideal defined by these simplices. This establishes the existence of a regular unimodular triangulation for reflexive 2-supported $\Delta_{(1,\mathbf{q})}$ having the integer decomposition property.


title: PPQ-Trajectory: Spatio-temporal Quantization for Querying in Large Trajectory Repositories

abstract: We present PPQ-trajectory, a spatio-temporal quantization based solution for querying large dynamic trajectory data. PPQ-trajectory includes a partition-wise predictive quantizer (PPQ) that generates an error-bounded codebook with autocorrelation and spatial proximity-based partitions. The codebook is indexed to run approximate and exact spatio-temporal queries over compressed trajectories. PPQ-trajectory includes a coordinate quadtree coding for the codebook with support for exact queries. An incremental temporal partition-based index is utilised to avoid full reconstruction of trajectories during queries. An extensive set of experimental results for spatio-temporal queries on real trajectory datasets is presented. PPQ-trajectory shows significant improvements over the alternatives with respect to several performance measures, including the accuracy of results when the summary is used directly to provide approximate query results, the spatial deviation with which spatio-temporal path queries can be answered when the summary is used as an index, and the time taken to construct the summary. Superior results on the quality of the summary and the compression ratio are also demonstrated.


title: Resolved molecular line observations reveal an inherited molecular layer in the young disk around TMC1A

abstract: Physical processes that govern the star and planet formation sequence influence the chemical composition and evolution of protoplanetary disks. To understand the chemical composition of protoplanets, we need to constrain the composition and structure of the disks from whence they are formed. We aim to determine the molecular abundance structure of the young disk around the TMC1A protostar on au scales in order to understand its chemical structure and any possible implications for disk formation. We present spatially resolved Atacama Large Millimeter/submillimeter Array observations of CO, $HCO^{+}$, HCN, DCN, and SO line emission, as well as dust continuum emission, in the vicinity of TMC1A. Molecular column densities are estimated both under the assumption of optically thin emission from molecules in LTE as well as through more detailed non-LTE radiative transfer calculations. Resolved dust continuum emission from the disk is detected between 220 and 260 GHz. Rotational transitions from HCO$^{+}$, HCN, and SO are also detected from the inner 100 au region. From the derived $HCO^{+}$ abundance, we estimate the ionization fraction of the disk surface and find values that imply that the accretion process is not driven by the magneto-rotational instability. The molecular abundances averaged over the TMC1A disk are similar to its protostellar envelope and other, older Class II disks. We meanwhile find a discrepancy between the young disk's molecular abundances relative to Solar System objects. Abundance comparisons between the disk and its surrounding envelope for several molecular species reveal that the bulk of planet-forming material enters the disk unaltered. Differences in HCN and $H_2 O$ molecular abundances between the disk around TMC1A, Class II disks, and Solar System objects trace the chemical evolution during disk and planet formation.


title: Optimal Client Sampling for Federated Learning

abstract: It is well understood that client-master communication can be a primary bottleneck in Federated Learning. In this work, we address this issue with a novel client subsampling scheme, where we restrict the number of clients allowed to communicate their updates back to the master node. In each communication round, all participating clients compute their updates, but only the ones with "important" updates communicate back to the master. We show that importance can be measured using only the norm of the update and give a formula for optimal client participation. This formula minimizes the distance between the full update, where all clients participate, and our limited update, where the number of participating clients is restricted. In addition, we provide a simple algorithm that approximates the optimal formula for client participation, which only requires secure aggregation and thus does not compromise client privacy. We show both theoretically and empirically that for Distributed SGD (DSGD) and Federated Averaging (FedAvg), the performance of our approach can be close to full participation and superior to the baseline where participating clients are sampled uniformly. Moreover, our approach is orthogonal to and compatible with existing methods for reducing communication overhead, such as local methods and communication compression methods.


title: Tight last-iterate convergence rates for no-regret learning in multi-player games

abstract: We study the question of obtaining last-iterate convergence rates for no-regret learning algorithms in multi-player games. We show that the optimistic gradient (OG) algorithm with a constant step-size, which is no-regret, achieves a last-iterate rate of $O(1/\sqrt{T})$ with respect to the gap function in smooth monotone games. This result addresses a question of Mertikopoulos & Zhou (2018), who asked whether extra-gradient approaches (such as OG) can be applied to achieve improved guarantees in the multi-agent learning setting. The proof of our upper bound uses a new technique centered around an adaptive choice of potential function at each iteration. We also show that the $O(1/\sqrt{T})$ rate is tight for all $p$-SCLI algorithms, which includes OG as a special case. As a byproduct of our lower bound analysis we additionally present a proof of a conjecture of Arjevani et al. (2015) which is more direct than previous approaches.


title: Denial-of-Service Attacks on C-V2X Networks

abstract: Cellular Vehicle-to-Everything (C-V2X) networks are increasingly adopted by automotive original equipment manufacturers (OEMs). C-V2X, as defined in 3GPP Release 14 Mode 4, allows vehicles to self-manage the network in absence of a cellular base-station. Since C-V2X networks convey safety-critical messages, it is crucial to assess their security posture. This work contributes a novel set of Denial-of-Service (DoS) attacks on C-V2X networks operating in Mode 4. The attacks are caused by adversarial resource block selection and vary in sophistication and efficiency. In particular, we consider "oblivious" adversaries that ignore recent transmission activity on resource blocks, "smart" adversaries that do monitor activity on each resource block, and "cooperative" adversaries that work together to ensure they attack different targets. We analyze and simulate these attacks to showcase their effectiveness. Assuming a fixed number of attackers, we show that at low vehicle density, smart and cooperative attacks can significantly impact network performance, while at high vehicle density, oblivious attacks are almost as effective as the more sophisticated attacks.


title: Lunar Gravitational-Wave Antenna

abstract: Monitoring of vibrational eigenmodes of an elastic body excited by gravitational waves was one of the first concepts proposed for the detection of gravitational waves. At laboratory scale, these experiments became known as resonant-bar detectors first developed by Joseph Weber in the 1960s. Due to the dimensions of these bars, the targeted signal frequencies were in the kHz range. Weber also pointed out that monitoring of vibrations of Earth or Moon could reveal gravitational waves in the mHz band. His Lunar Surface Gravimeter experiment deployed on the Moon by the Apollo 17 crew had a technical failure rendering the data useless. In this article, we revisit the idea and propose a Lunar Gravitational-Wave Antenna (LGWA). We find that LGWA could become an important partner observatory for joint observations with the space-borne, laser-interferometric detector LISA, and at the same time contribute an independent science case due to LGWA's unique features. Technical challenges need to be overcome for the deployment of the experiment, and development of inertial vibration sensor technology lays out a future path for this exciting detector concept.


title: Quantum semi-supervised generative adversarial network for enhanced data classification

abstract: In this paper, we propose the quantum semi-supervised generative adversarial network (qSGAN). The system is composed of a quantum generator and a classical discriminator/classifier (D/C). The goal is to train both the generator and the D/C, so that the latter may get a high classification accuracy for a given dataset. The generator needs neither any data loading nor to generate a pure quantum state, while it is expected to serve as a stronger adversary than a classical one thanks to its rich expressibility. These advantages are demonstrated in a numerical simulation.


title: Modeling Rydberg Gases using Random Sequential Adsorption on Random Graphs

abstract: The statistics of strongly interacting, ultracold Rydberg gases are governed by the interplay of two factors: geometrical restrictions induced by blockade effects, and quantum mechanical effects. To shed light on their relative roles in the statistics of Rydberg gases, we compare three models in this paper: a quantum mechanical model describing the excitation dynamics within a Rydberg gas, a Random Sequential Adsorption (RSA) process on a Random Geometric Graph (RGG), and a RSA process on a Decomposed Random Intersection Graph (DRIG). The latter model is new, and refers to choosing a particular subgraph of a mixture of two other random graphs. Contrary to the former two models, it lends itself for a rigorous mathematical analysis; and it is built specifically to have particular structural properties of a RGG. We establish for it a fluid limit describing the time-evolution of number of Rydberg atoms, and show numerically that the expression remains accurate across a wider range of particle densities than an earlier approach based on an RSA process on an Erdos-Renyi Random Graph (ERRG). Finally, we also come up with a new heuristic using random graphs that gives a recursion to describe a normalized pair-correlation function of a Rydberg gas. Our results suggest that even without dissipation, on long time scales the statistics are affected most by the geometrical restrictions induced by blockade effects, while on short time scales the statistics are affected most by quantum mechanical effects.


title: Quantum-mechanical exploration of the phase diagram of water

abstract: The phase diagram of water harbours many mysteries: some of the phase boundaries are fuzzy, and the set of known stable phases may not be complete. Starting from liquid water and a comprehensive set of 50 ice structures, we compute the phase diagram at three hybrid density-functional-theory levels of approximation, accounting for thermal and nuclear fluctuations as well as proton disorder. Such calculations are only made tractable because we combine machine-learning methods and advanced free-energy techniques. The computed phase diagram is in qualitative agreement with experiment, particularly at pressures $\lesssim$8000 bar, and the discrepancy in chemical potential is comparable with the subtle uncertainties introduced by proton disorder and the spread between the three hybrid functionals. None of the hypothetical ice phases considered is thermodynamically stable in our calculations, suggesting the completeness of the experimental water phase diagram in the region considered. Our work demonstrates the feasibility of predicting the phase diagram of a polymorphic system from first principles and provides a thermodynamic way of testing the limits of quantum-mechanical calculations.


title: Efficient resummation of high post-Newtonian contributions to the binding energy

abstract: A factorisation property of Feynman diagrams in the context the Effective Field Theory approach to the compact binary problem has been recently employed to efficiently determine the static sector of the potential at fifth post-Newtonian (5PN) order. We extend this procedure to the case of non-static diagrams and we use it to fix, by means of elementary algebraic manipulations, the value of more than one thousand diagrams at 5PN order, that is a substantial fraction of the diagrams needed to fully determine the dynamics at 5PN. This procedure addresses the redundancy problem that plagues the computation of the binding energy with respect to more "efficient" observables like the scattering angle, thus making the EFT approach in harmonic gauge at least as scalable as the others methods.


title: Dyslexia detection from EEG signals using SSA component correlation and Convolutional Neural Networks

abstract: Objective dyslexia diagnosis is not a straighforward task since it is traditionally performed by means of the intepretation of different behavioural tests. Moreover, these tests are only applicable to readers. This way, early diagnosis requires the use of specific tasks not only related to reading. Thus, the use of Electroencephalography (EEG) constitutes an alternative for an objective and early diagnosis that can be used with pre-readers. In this way, the extraction of relevant features in EEG signals results crucial for classification. However, the identification of the most relevant features is not straighforward, and predefined statistics in the time or frequency domain are not always discriminant enough. On the other hand, classical processing of EEG signals based on extracting EEG bands frequency descriptors, usually make some assumptions on the raw signals that could cause indormation loosing. In this work we propose an alternative for analysis in the frequency domain based on Singluar Spectrum Analysis (SSA) to split the raw signal into components representing different oscillatory modes. Moreover, correlation matrices obtained for each component among EEG channels are classfied using a Convolutional Neural network.


title: Efficient equilibrium-based stress recovery for isogeometric laminated curved structures

abstract: This work focuses on an efficient stress recovery procedure for laminated composite curved structures, which relies on Isogeometric Analysis (IGA) and equilibrium. Using a single element through the thickness in combination with a calibrated layerwise integration rule or a homogenized approach, the 3D solid isogeometric modeling grants an inexpensive and accurate approximation in terms of displacements (and their derivatives) and in-plane stresses, while through-the-thickness stress components are poorly approximated. Applying a further post-processing step, an accurate out-of-plane stress state is also recovered, even from a coarse displacement solution. This is based on a direct integration of the equilibrium equations in strong form, involving high order derivatives of the displacement field. Such a continuity requirement is fully granted by IGA shape function properties. The post-processing step is locally applied, which grants that no additional coupled terms appear in the equilibrium, allowing for a direct reconstruction without the need to further iterate to resolve the out-of-balance momentum equation. Several numerical results show the good performance of this approach particularly for composite stacks with significant radius-to-thickness ratio and number of plies. In particular, in the latter case, where a layerwise technique employing a number of degrees of freedom directly proportional to the number of plies would be much more computationally demanding, the proposed method can be regarded as a very appealing alternative choice.


title: Impact of Charged Surfaces on the Structure and Dynamics of Polymer Electrolytes: Insights from Atomistic Simulations

abstract: Polymer electrolytes are intensely investigated for use as solid electrolytes in next generation lithium-ion and lithium-metal batteries. However, little is known about the structural and dynamical properties of polymer electrolytes close to electrode surfaces. Here, a PEO-LiTFSI polymer electrolyte, confined between two oppositely charged graphite-like electrodes, is studied via molecular dynamics simulations. Three different surface charges of $\sigma_S = 0$, $\pm 0.5$ and $\pm 1$ $e$/nm$^2$ are considered. Upon charging, a very strong and component-specific layering is observed. Only for the highest surface charge, lithium ions get desolvated and come into direct contact with the negative electrode. The layer structure goes along with the emergence of free energy barriers, which lead to a reduction of the lithium-ion dynamics, as quantified by spatially resolved mean square displacements, corrected for a drift component. Interchain transfers that are known to be very important for long-range lithium-ion transport in polymer electrolytes play no significant role for transitions of lithium ions between different layers.


title: Random Geometric Graphs on Euclidean Balls

abstract: We consider a latent space model for random graphs where a node $i$ is associated to a random latent point $X_i$ on the Euclidean unit ball. The probability that an edge exists between two nodes is determined by a ``link'' function, which corresponds to a dot product kernel. For a given class $\F$ of spherically symmetric distributions for $X_i$, we consider two estimation problems: latent norm recovery and latent Gram matrix estimation. We construct an estimator for the latent norms based on the degree of the nodes of an observed graph in the case of the model where the edge probability is given by $f(\langle X_i,X_j\rangle)=\mathbbm{1}_{\langle X_i,X_j\rangle\geq \tau}$, where $0<\tau<1$. We introduce an estimator for the Gram matrix based on the eigenvectors of observed graph and we establish Frobenius type guarantee for the error, provided that the link function is sufficiently regular in the Sobolev sense and that a spectral-gap-type condition holds. We prove that for certain link functions, the model considered here generates graphs with degree distribution that have tails with a power-law-type distribution, which can be seen as an advantage of the model presented here with respect to the classic Random Geometric Graph model on the Euclidean sphere. We illustrate our results with numerical experiments.


title: Personalised Meta-path Generation for Heterogeneous GNNs

abstract: Recently, increasing attention has been paid to heterogeneous graph representation learning (HGRL), which aims to embed rich structural and semantic information in heterogeneous information networks (HINs) into low-dimensional node representations. To date, most HGRL models rely on hand-crafted meta-paths. However, the dependency on manually-defined meta-paths requires domain knowledge, which is difficult to obtain for complex HINs. More importantly, the pre-defined or generated meta-paths of all existing HGRL methods attached to each node type or node pair cannot be personalised to each individual node. To fully unleash the power of HGRL, we present a novel framework, Personalised Meta-path based Heterogeneous Graph Neural Networks (PM-HGNN), to jointly generate meta-paths that are personalised for each individual node in a HIN and learn node representations for the target downstream task like node classification. Precisely, PM-HGNN treats the meta-path generation as a Markov Decision Process and utilises a policy network to adaptively generate a meta-path for each individual node and simultaneously learn effective node representations. The policy network is trained with deep reinforcement learning by exploiting the performance improvement on a downstream task. We further propose an extension, PM-HGNN++, to better encode relational structure and accelerate the training during the meta-path generation. Experimental results reveal that both PM-HGNN and PM-HGNN++ can significantly and consistently outperform 16 competing baselines and state-of-the-art methods in various settings of node classification. Qualitative analysis also shows that PM-HGNN++ can identify meaningful meta-paths overlooked by human knowledge.


title: Resurgent Analysis of SU(2) Chern-Simons Partition Function on Brieskorn Spheres $\Sigma(2,3,6n+5)$

abstract: $\hat{Z}$-invariants, which can reconstruct the analytic continuation of the SU(2) Chern-Simons partition functions via Borel resummation, were discovered by GPV and have been conjectured to be a new homological invariant of 3-manifolds which can shed light onto the superconformal and topologically twisted index of 3d $\mathcal{N}=2$ theories proposed by GPPV. In particular, the resurgent analysis of $\hat{Z}$ has been fruitful in discovering analytic properties of the WRT invariants. The resurgent analysis of these $\hat{Z}$-invariants has been performed for the cases of $\Sigma(2,3,5),\ \Sigma(2,3,7)$ by GMP, $\Sigma(2,5,7)$ by Chun, and, more recently, some additional Seifert manifolds by Chung and Kucharski, independently. In this paper, we extend and generalize the resurgent analysis of $\hat{Z}$ on a family of Brieskorn homology spheres $\Sigma(2,3,6n+5)$ where $n\in\mathbb{Z}_+$ and $6n+5$ is a prime. By deriving $\hat{Z}$ for $\Sigma(2,3,6n+5)$ according to GPPV and Hikami, we provide a formula where one can quickly compute the non-perturbative contributions to the full analytic continuation of SU(2) Chern-Simons partition function.


title: Real-Time Edge Classification: Optimal Offloading under Token Bucket Constraints

abstract: To deploy machine learning-based algorithms for real-time applications with strict latency constraints, we consider an edge-computing setting where a subset of inputs are offloaded to the edge for processing by an accurate but resource-intensive model, and the rest are processed only by a less-accurate model on the device itself. Both models have computational costs that match available compute resources, and process inputs with low-latency. But offloading incurs network delays, and to manage these delays to meet application deadlines, we use a token bucket to constrain the average rate and burst length of transmissions from the device. We introduce a Markov Decision Process-based framework to make offload decisions under these constraints, based on the local model's confidence and the token bucket state, with the goal of minimizing a specified error measure for the application. Beyond isolated decisions for individual devices, we also propose approaches to allow multiple devices connected to the same access switch to share their bursting allocation. We evaluate and analyze the policies derived using our framework on the standard ImageNet image classification benchmark.


title: Adiabatic formation of bound states in the 1d Bose gas

abstract: We consider the 1d interacting Bose gas in the presence of time-dependent and spatially inhomogeneous contact interactions. Within its attractive phase, the gas allows for bound states of an arbitrary number of particles, which are eventually populated if the system is dynamically driven from the repulsive to the attractive regime. Building on the framework of Generalized Hydrodynamics, we analytically determine the formation of bound states in the limit of adiabatic changes in the interactions. Our results are valid for arbitrary initial thermal states and, more generally, Generalized Gibbs Ensembles.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: On The Joint Effects of HPA Nonlinearities and IQ Imbalance On Mixed RF/FSO Cooperative Systems

abstract: In this work, we provide a framework analysis of dual-hop hybrid Millimeter Wave Radio Frequency (RF)/Free Space Optical (FSO) MIMO relaying system. The source is equipped with multiple antennas and employs conjugate beamforming while the destination consists of multiple apertures with selection combining. The system also consists of a relay operating at amplify-and-forward mode. The RF channels are subject to Nakagami-m fading while the optical links experience the M\'alaga distribution. In addition, we introduce the impairments to the relay and receiver. In fact, the relay is impaired by the High Power Amplifier (HPA) nonlinearities while the receiver suffers from the In phase and Quadrature Imbalance. Moreover, we assume two types of HPA nonlinearities impairments called Soft Envelope Limiter (SEL) and Traveling Wave Tube Amplifier (TWTA). Closed-forms of the outage probability, the bit error probability, and the ergodic capacity are derived. Capitalizing on these performances, we derive the high SNR asymptotes to unpack insightful metrics such as the diversity gain. We also address the impacts of some key factors on the system performance such as the impairments, the interferers, the number of antennas and apertures and the pointing errors, etc. Finally, the analytical expressions are confirmed by Monte Carlo simulation.


title: Possible Transient Luminous Events observed in Jupiter's upper atmosphere

abstract: 11 transient bright flashes were detected in Jupiter's atmosphere using the UVS instrument on the Juno spacecraft. These bright flashes are only observed in a single spin of the spacecraft and their brightness decays exponentially with time, with a duration of ~1.4 ms. The spectra are dominated by H2 Lyman band emission and based on the level of atmospheric absorption, we estimate a source altitude of 260 km above the 1-bar level. Based on these characteristics, we suggest that these are observations of Transient Luminous Events (TLEs) in Jupiter's upper atmosphere. In particular, we suggest that these are elves, sprites or sprite halos, three types of TLEs that occur in the Earth's upper atmosphere in response to tropospheric lightning strikes. This is supported by visible light imaging, which shows cloud features typical of lightning source regions at the locations of several of the bright flashes. TLEs have previously only been observed on Earth, although theoretical and experimental work has predicted that they should also be present on Jupiter.


title: Spitzer's Solar System Science Legacy: Studies of the Relics of Solar System Formation & Evolution. Part 1 - Comets, Centaurs, & Kuiper Belt Objects

abstract: In its 16 years of scientific measurements, the Spitzer Space Telescope performed a number of ground breaking and key infrared measurements of Solar System objects near and far. Targets ranged from the smallest planetesimals to the giant planets, and have helped us reform our understanding of these objects while also laying the groundwork for future infrared space-based observations like those to be undertaken by the James Webb Space Telescope in the 2020s. In this first Paper, we describe how the Spitzer Space Telescope advanced our knowledge of Solar System formation and evolution via observations of small outer Solar System planetesimals, i.e., Comets, Centaurs, and Kuiper Belt Objects (KBOs). Relics from the early formation era of our Solar System, these objects hold important information about the processes that created them. The key Spitzer observations can be grouped into 3 broad classes: characterization of new Solar System objects (comets D/ISON 2012 S1, C/2016 R2, 1I/`Oumuamua); large population surveys of known object sizes (comets, Centaurs, and KBOs); and compositional studies via spectral measurements of body surfaces and emitted materials (comets, Centaurs, and KBOs).


title: Reducing ground-based astrometric errors with Gaia and Gaussian processes

abstract: Stochastic field distortions caused by atmospheric turbulence are a fundamental limitation to the astrometric accuracy of ground-based imaging. This distortion field is measurable at the locations of stars with accurate positions provided by the Gaia DR2 catalog; we develop the use of Gaussian process regression (GPR) to interpolate the distortion field to arbitrary locations in each exposure. We introduce an extension to standard GPR techniques that exploits the knowledge that the 2-dimensional distortion field is curl-free. Applied to several hundred 90-second exposures from the Dark Energy Survey as a testbed, we find that the GPR correction reduces the variance of the turbulent distortions $\approx12\times$, on average, with better performance in denser regions of the Gaia catalog. The RMS per-coordinate distortion in the $riz$ bands is typically $\approx7$ mas before any correction, and $\approx2$ mas after application of the GPR model. The GPR astrometric corrections are validated by the observation that their use reduces, from 10 to 5 mas RMS, the residuals to an orbit fit to $riz$-band observations over 5 years of the $r=18.5$ trans-Neptunian object Eris. We also propose a GPR method, not yet implemented, for simultaneously estimating the turbulence fields and the 5-dimensional stellar solutions in a stack of overlapping exposures, which should yield further turbulence reductions in future deep surveys.


title: Seemingly injective von Neumann algebras

abstract: We show that a QWEP von Neumann algebra has the weak* positive approximation property if and only if it is seemingly injective in the following sense: there is a factorization of the identity of $M$ $$Id_M=vu: M{\buildrel u\over\longrightarrow} B(H) {\buildrel v\over\longrightarrow} M$$ with $u$ normal, unital, positive and $v$ completely contractive. As a corollary, if $M$ has a separable predual, $M$ is isomorphic (as a Banach space) to $B(\ell_2)$. For instance this applies (rather surprisingly) to the von Neumann algebra of any free group. Nevertheless, since $B(H)$ fails the approximation property (due to Szankowski) there are $M$'s (namely $B(H)^{**}$ and certain finite examples defined using ultraproducts) that are not seemingly injective. Moreover, for $M$ to be seemingly injective it suffices to have the above factorization of $Id_M$ through $B(H)$ with $u,v$ positive (and $u$ still normal).


title: The 1919 eclipse results which verified General Relativity and their later detractors: a story re-told

abstract: Einstein became world-famous on 7 November 1919, following press publication of a meeting held in London on 6 November 1919 where the results were announced of two British expeditions led by Eddington, Dyson and Davidson to measure how much background starlight is bent as it passes the Sun. Three data sets were obtained: two showed the measured deflection matched the theoretical prediction of Einstein's 1915 Theory of General Relativity, and became the official result; the third was discarded as defective. At the time, the experimental result was accepted by the expert astronomical community. However, in 1980 a study by philosophers of science Earman and Glymour claimed that the data selection in the 1919 analysis was flawed and that the discarded data set was fully valid and was not consistent with the Einstein prediction, and that, therefore, the overall result did not verify General Relativity. This claim, and the resulting accusation of Eddington's bias, was repeated with exaggeration in later literature, and has become ubiquitous. The 1919 and 1980 analyses of the same data provide two discordant conclusions. We reanalyse the 1919 data, and identify the error that undermines the conclusions of Earman and Glymour.


title: Spitzer's Solar System studies of asteroids, planets and the zodiacal cloud

abstract: In its 16 years of scientific measurements, the Spitzer Space Telescope performed a number of ground-breaking infrared measurements of Solar System objects. In this second of two papers, we describe results from Spitzer observations of asteroids, dust rings, and planets that provide new insight into the formation and evolution of our Solar System. The key Spitzer results presented here can be grouped into three broad classes: characterizing the physical properties of asteroids, notably including a large survey of Near Earth Objects; detection and characterization of several dust/debris disks in the Solar System; and comprehensive characterization of ice giant (Uranus, Neptune) atmospheres. Many of these observations provide critical foundations for future infrared space-based observations.


title: A Density Consistency approach to the inverse Ising problem

abstract: We propose a novel approach to the inverse Ising problem which employs the recently introduced Density Consistency approximation (DC) to determine the model parameters (couplings and external fields) maximizing the likelihood of given empirical data. This method allows for closed-form expressions of the inferred parameters as a function of the first and second empirical moments. Such expressions have a similar structure to the small-correlation expansion derived by Sessak and Monasson, of which they provide an improvement in the case of non-zero magnetization at low temperatures, as well as in presence of random external fields. The present work provides an extensive comparison with most common inference methods used to reconstruct the model parameters in several regimes, i.e. by varying both the network topology and the distribution of fields and couplings. The comparison shows that no method is uniformly better than every other one, but DC appears nevertheless as one of the most accurate and reliable approaches to infer couplings and fields from first and second moments in a significant range of parameters.


title: On the Stability of Graph Convolutional Neural Networks under Edge Rewiring

abstract: Graph neural networks are experiencing a surge of popularity within the machine learning community due to their ability to adapt to non-Euclidean domains and instil inductive biases. Despite this, their stability, i.e., their robustness to small perturbations in the input, is not yet well understood. Although there exists some results showing the stability of graph neural networks, most take the form of an upper bound on the magnitude of change due to a perturbation in the graph topology. However, the change in the graph topology captured in existing bounds tend not to be expressed in terms of structural properties, limiting our understanding of the model robustness properties. In this work, we develop an interpretable upper bound elucidating that graph neural networks are stable to rewiring between high degree nodes. This bound and further research in bounds of similar type provide further understanding of the stability properties of graph neural networks.


title: Topologically protected mobile solid $^3$He on carbon nanotube

abstract: Low dimensional fermionic quantum systems are exceptionally interesting because they reveal distinctive physical phenomena, including among others, topologically protected excitations, edge states, frustration, and fractionalization. Two-dimensional $^3$He has indeed shown a remarkable variety of phases including the unusual quantum spin liquid. Our aim was to lower the dimension of the $^3$He system even more by confining it on a suspended carbon nanotube. In our measurements the mechanical resonance of the nanotube with adsorbed sub-monolayer of $^3$He was measured as a function of coverage and temperature down to 10\;mK. At lowest temperatures and low coverages we have observed a liquid-gas coexistence which transforms to the famous 1/3 commensurate solid phase at intermediate densities. However, at larger monolayer densities we have observed a quantum phase transition from 1/3 solid to a completely new, soft and mobile solid phase. We interpret this mobile solid phase as a bosonic commensurate crystal consisting of helium dimers with topologically protected zero-point vacancies which are delocalized at low temperatures. We thus demonstrate that $^3$He on a nanotube merges both fermionic and bosonic phenomena, with a quantum phase transition between fermionic solid 1/3 phase and a newly observed bosonic dimer solid. The mobility and softness of the bosonic dimer solid are conditioned by topology-induced vacancies which become delocalized at low temperatures owing to a large zero-point motion.


title: Meaningful uncertainties from deep neural network surrogates of large-scale numerical simulations

abstract: Large-scale numerical simulations are used across many scientific disciplines to facilitate experimental development and provide insights into underlying physical processes, but they come with a significant computational cost. Deep neural networks (DNNs) can serve as highly-accurate surrogate models, with the capacity to handle diverse datatypes, offering tremendous speed-ups for prediction and many other downstream tasks. An important use-case for these surrogates is the comparison between simulations and experiments; prediction uncertainty estimates are crucial for making such comparisons meaningful, yet standard DNNs do not provide them. In this work we define the fundamental requirements for a DNN to be useful for scientific applications, and demonstrate a general variational inference approach to equip predictions of scalar and image data from a DNN surrogate model trained on inertial confinement fusion simulations with calibrated Bayesian uncertainties. Critically, these uncertainties are interpretable, meaningful and preserve physics-correlations in the predicted quantities.


title: Demo Abstract: Indoor Positioning System in Visually-Degraded Environments with Millimetre-Wave Radar and Inertial Sensors

abstract: Positional estimation is of great importance in the public safety sector. Emergency responders such as fire fighters, medical rescue teams, and the police will all benefit from a resilient positioning system to deliver safe and effective emergency services. Unfortunately, satellite navigation (e.g., GPS) offers limited coverage in indoor environments. It is also not possible to rely on infrastructure based solutions. To this end, wearable sensor-aided navigation techniques, such as those based on camera and Inertial Measurement Units (IMU), have recently emerged recently as an accurate, infrastructure-free solution. Together with an increase in the computational capabilities of mobile devices, motion estimation can be performed in real-time. In this demonstration, we present a real-time indoor positioning system which fuses millimetre-wave (mmWave) radar and IMU data via deep sensor fusion. We employ mmWave radar rather than an RGB camera as it provides better robustness to visual degradation (e.g., smoke, darkness, etc.) while at the same time requiring lower computational resources to enable runtime computation. We implemented the sensor system on a handheld device and a mobile computer running at 10 FPS to track a user inside an apartment. Good accuracy and resilience were exhibited even in poorly illuminated scenes.


title: Robust and Verifiable Information Embedding Attacks to Deep Neural Networks via Error-Correcting Codes

abstract: In the era of deep learning, a user often leverages a third-party machine learning tool to train a deep neural network (DNN) classifier and then deploys the classifier as an end-user software product or a cloud service. In an information embedding attack, an attacker is the provider of a malicious third-party machine learning tool. The attacker embeds a message into the DNN classifier during training and recovers the message via querying the API of the black-box classifier after the user deploys it. Information embedding attacks have attracted growing attention because of various applications such as watermarking DNN classifiers and compromising user privacy. State-of-the-art information embedding attacks have two key limitations: 1) they cannot verify the correctness of the recovered message, and 2) they are not robust against post-processing of the classifier. In this work, we aim to design information embedding attacks that are verifiable and robust against popular post-processing methods. Specifically, we leverage Cyclic Redundancy Check to verify the correctness of the recovered message. Moreover, to be robust against post-processing, we leverage Turbo codes, a type of error-correcting codes, to encode the message before embedding it to the DNN classifier. We propose to recover the message via adaptively querying the classifier to save queries. Our adaptive recovery strategy leverages the property of Turbo codes that supports error correcting with a partial code. We evaluate our information embedding attacks using simulated messages and apply them to three applications, where messages have semantic interpretations. We consider 8 popular methods to post-process the classifier. Our results show that our attacks can accurately and verifiably recover the messages in all considered scenarios, while state-of-the-art attacks cannot accurately recover the messages in many scenarios.


title: Senate: A Maliciously-Secure MPC Platform for Collaborative Analytics

abstract: Many organizations stand to benefit from pooling their data together in order to draw mutually beneficial insights -- e.g., for fraud detection across banks, better medical studies across hospitals, etc. However, such organizations are often prevented from sharing their data with each other by privacy concerns, regulatory hurdles, or business competition. We present Senate, a system that allows multiple parties to collaboratively run analytical SQL queries without revealing their individual data to each other. Unlike prior works on secure multi-party computation (MPC) that assume that all parties are semi-honest, Senate protects the data even in the presence of malicious adversaries. At the heart of Senate lies a new MPC decomposition protocol that decomposes the cryptographic MPC computation into smaller units, some of which can be executed by subsets of parties and in parallel, while preserving its security guarantees. Senate then provides a new query planning algorithm that decomposes and plans the cryptographic computation effectively, achieving a performance of up to 145$\times$ faster than the state-of-the-art.


title: Handgun detection using combined human pose and weapon appearance

abstract: Closed-circuit television (CCTV) systems are essential nowadays to prevent security threats or dangerous situations, in which early detection is crucial. Novel deep learning-based methods have allowed to develop automatic weapon detectors with promising results. However, these approaches are mainly based on visual weapon appearance only. For handguns, body pose may be a useful cue, especially in cases where the gun is barely visible. In this work, a novel method is proposed to combine, in a single architecture, both weapon appearance and human pose information. First, pose keypoints are estimated to extract hand regions and generate binary pose images, which are the model inputs. Then, each input is processed in different subnetworks and combined to produce the handgun bounding box. Results obtained show that the combined model improves the handgun detection state of the art, achieving from 4.23 to 18.9 AP points more than the best previous approach.


title: A large deviation principle in many-body quantum dynamics

abstract: We consider the many-body quantum evolution of a factorized initial data, in the mean-field regime. We show that fluctuations around the limiting Hartree dynamics satisfy large deviation estimates, that are consistent with central limit theorems that have been established in the last years.


title: When the quarter jumps into a cup (and when it does not)

abstract: While Bernoulli's equation is one of the most frequently mentioned topics in Physics literature and other means of dissemination, it is also one of the least understood. Oddly enough, in the wonderful book "Turning the world inside out" [1], Robert Ehrlich proposes a demonstration that consists of blowing a quarter dollar coin into a cup, incorrectly explained using Bernoulli's equation. In the present work, we have adapted the demonstration to show situations in which the coin jumps into the cup and others in which it does not, proving that the explanation based on Bernoulli's is flawed. Our demonstration is useful to tackle the common misconception, stemming from the incorrect use of Bernoulli's equation, that higher velocity invariably means lower pressure.


title: Hierarchical-environment-assisted non-Markovian and its effect on thermodynamic properties

abstract: We consider a microscopic collision model, i.e., a quantum system interacts with a hierarchical environment consisting of an auxiliary system and a reservoir. We show how the non-Markovian character of the system is influenced by the coupling strength of system-auxiliary system and auxiliary system-reservoir, initial system-environment correlations and the coherence of environment. Then we study the relation between non-Markovianity and thermodynamics properties, by studying the entropy change of system especially that from heat exchanges with memory effects, and we reveal the essence of entropy change between positive and negative values during non-Markovian evolution is due to the contribution of heat flux determined by coherence. And the information flow between the system and environment is always accompanied by energy exchange.


title: Instance Semantic Segmentation Benefits from Generative Adversarial Networks

abstract: In design of instance segmentation networks that reconstruct masks, segmentation is often taken as its literal definition -- assigning each pixel a label. This has led to thinking the problem as a template matching one with the goal of minimizing the loss between the reconstructed and the ground truth pixels. Rethinking reconstruction networks as a generator, we define the problem of predicting masks as a GANs game framework: A segmentation network generates the masks, and a discriminator network decides on the quality of the masks. To demonstrate this game, we show effective modifications on the general segmentation framework in Mask R-CNN. We find that playing the game in feature space is more effective than the pixel space leading to stable training between the discriminator and the generator, predicting object coordinates should be replaced by predicting contextual regions for objects, and overall the adversarial loss helps the performance and removes the need for any custom settings per different data domain. We test our framework in various domains and report on cellphone recycling, autonomous driving, large-scale object detection, and medical glands. We observe in general GANs yield masks that account for crispier boundaries, clutter, small objects, and details, being in domain of regular shapes or heterogeneous and coalescing shapes. Our code for reproducing the results is available publicly.


title: Unimodular vs Nilpotent Superfield Approach to Pure dS Supergravity

abstract: Recent progress in understanding de Sitter spacetime in supergravity and string theory has led to the development of a four dimensional supergravity with spontaneously broken supersymmetry allowing for de Sitter vacua, also called de Sitter supergravity. One approach makes use of constrained (nilpotent) superfields, while an alternative one couples supergravity to a locally supersymmetric generalization of the Volkov-Akulov goldstino action. These two approaches have been shown to give rise to the same 4D action. A novel approach to de Sitter vacua in supergravity involves the generalisation of unimodular gravity to supergravity using a super-St\"uckelberg mechanism. In this paper, we make a connection between this new approach and the previous two which are in the context of nilpotent superfields and the goldstino brane. We show that upon appropriate field redefinitions, the 4D actions match up to the cubic order in the fields. This points at the possible existence of a more general framework to obtain de Sitter spacetimes from high-energy theories.


title: Relative (pre)-modular categories from special linear Lie superalgebras

abstract: We examine two different m-traces in the category of representations over the quantum Lie superalgebra associated to $\mathfrak{sl}(m|n)$ at root of unity. The first m-trace is on the ideal of projective modules and leads to new Extended Topological Quantum Field Theories. The second m-trace is on the ideal of perturbative typical modules. We consider the quotient with respect to negligible morphisms coming from this m-trace and show that in the case of $\mathfrak{sl}(2|1)$ this quotient leads to 3-manifolds invariants. We conjecture that the quotient category of perturbatives over quantum $\mathfrak{sl}(m|n)$ leads to 3-manifold invariants and more generally ETQFTs.


title: Hunting for CP-violating axionlike particle interactions

abstract: The impact of axion-like particles (ALPs) on the search of permanent electric dipole moments (EDMs) of molecules, atoms, nuclei and nucleons is systematically investigated. We classify first the full set of CP-violating Jarlskog invariants emerging in the ALP effective field theory (EFT) containing operators up to dimension-5. Then, we evaluate the leading short-distance effects to the EDMs up to two-loop order. The high sensitivity of EDMs to CP-violating ALP interactions is emphasised exploiting both the current and projected experimental sensitivities.


title: $L^{p}$ and $\mathcal{H}^{p}_{FIO}$ regularity for wave equations with rough coefficients

abstract: We consider wave equations with time-independent coefficients that have $C^{1,1}$ regularity in space. We show that, for nontrivial ranges of $p$ and $s$, the standard inhomogeneous initial value problem for the wave equation is well posed in Sobolev spaces $\mathcal{H}^{s,p}_{FIO}(\mathbb{R}^{n})$ over the Hardy spaces $\mathcal{H}^{p}_{FIO}(\mathbb{R}^{n})$ for Fourier integral operators introduced recently by the authors and Portal, following work of Smith. In spatial dimensions $n = 2$ and $n=3$, this includes the full range $1 < p < \infty$. As a corollary, we obtain the optimal fixed-time $L^{p}$ regularity for such equations, generalizing work of Seeger, Sogge and Stein in the case of smooth coefficients.


title: A Framework for Relative Biosignature Yields from Future Direct Imaging Missions

abstract: Future exoplanet direct imaging missions, such as HabEx and LUVOIR, will select target stars to maximize the number of Earth-like exoplanets that can have their atmospheric compositions characterized. Because one of these missions' aims is to detect biosignatures, they should also consider the expected biosignature yield of planets around these stars. In this work, we develop a method of computing relative biosignature yields among potential target stars, given a model of habitability and biosignature genesis, and using a star's habitability history. As an illustration and first application of this method, we use MESA stellar models to calculate the time evolution of the habitable zone, and examine three simple models for biosignature genesis to calculate the relative biosignature yield for different stars. We find that the relative merits of K stars versus F stars depend sensitively on model choice. In particular, use of the present-day habitable zone as a proxy for biosignature detectability favors young, luminous stars lacking the potential for long-term habitability. Biosignature yields are also sensitive to whether life can arise on Cold Start exoplanets that enter the habitable zone after formation, an open question deserving of more attention. Using the case study of biosignature yields calculated for $\theta$ Cygni and 55 Cancri, we find that robust mission design and target selection for HabEx and LUVOIR depends on: choosing a specific model of biosignature appearance with time; the terrestrial planet occurrence rate as a function of orbital separation; precise knowledge of stellar properties; and accurate stellar evolutionary histories.


title: Mode-Coupling Theory for Tagged-Particle Motion of Active Brownian Particles

abstract: We derive a mode-coupling theory (MCT) to describe the dynamics of tracer particles in dense systems of active Brownian particles (ABPs) in two spatial dimensions. The ABP undergo translational and rotational Brownian dynamics, and are equipped with a fixed self-propulsion speed along their orientational vector that describes their active motility. The resulting equations of motion for the tagged-particle density correlation functions describe the various cases of tracer dynamics close to the glass transition: that of a passive colloidal particle in a suspension of ABP, that of a single active particle in a glass-forming passive host suspensions, and that of active tracers in a bath of active particles. Numerical results are presented for these cases assuming hard-sphere interactions among the particles. The qualitative and quantitative accuracy of the theory is tested against event-driven Brownian dynamics (ED-BD) simulations of active and passive hard disks. Simulation and theory are found in quantitative agreement, provided one adjusts the overall density (as known from the passive description of glassy dynamics), and allows for a rescaling of self-propulsion velocities in the active host system. These adjustments account for the fact that ABP-MCT generally overestimates the tendency for kinetic arrest. We also confirm in the simulations a peculiar feature of the transient and stationary dynamical density correlation functions regarding their lack of symmetry under time reversal, demonstrating the non-equilibrium nature of the system and how it manifests itself in the theory.


title: Enforcing Interpretability and its Statistical Impacts: Trade-offs between Accuracy and Interpretability

abstract: To date, there has been no formal study of the statistical cost of interpretability in machine learning. As such, the discourse around potential trade-offs is often informal and misconceptions abound. In this work, we aim to initiate a formal study of these trade-offs. A seemingly insurmountable roadblock is the lack of any agreed upon definition of interpretability. Instead, we propose a shift in perspective. Rather than attempt to define interpretability, we propose to model the \emph{act} of \emph{enforcing} interpretability. As a starting point, we focus on the setting of empirical risk minimization for binary classification, and view interpretability as a constraint placed on learning. That is, we assume we are given a subset of hypothesis that are deemed to be interpretable, possibly depending on the data distribution and other aspects of the context. We then model the act of enforcing interpretability as that of performing empirical risk minimization over the set of interpretable hypotheses. This model allows us to reason about the statistical implications of enforcing interpretability, using known results in statistical learning theory. Focusing on accuracy, we perform a case analysis, explaining why one may or may not observe a trade-off between accuracy and interpretability when the restriction to interpretable classifiers does or does not come at the cost of some excess statistical risk. We close with some worked examples and some open problems, which we hope will spur further theoretical development around the tradeoffs involved in interpretability.


title: Dynamics of massive point vortices in binary mixture of Bose-Einstein condensates

abstract: We study the massive point-vortex model introduced in Ref. [Phys. Rev. A 101, 013630 (2020)], which describes two-dimensional point vortices of one species that have small cores of a different species. We derive the relevant Lagrangian itself, based on the time-dependent variational method with a two-component Gross-Pitaevskii (GP) trial function. The resulting Lagrangian resembles that of charged particles in a static electromagnetic field, where the canonical momentum includes an electromagnetic term. The simplest example is a single vortex with a rigid circular boundary, where a massless vortex can only precess uniformly. In contrast, the presence of a sufficiently large filled vortex core renders such precession unstable. A small core mass can also lead to small radial oscillations, which are, in turn, clear evidence of the associated inertial effect. Detailed numerical analysis of coupled two-component GP equations with a single vortex and small second-component core confirms the presence of such radial oscillations, implying that this more realistic GP vortex also acts as if it has a small massive core.


title: Contextual Latent-Movements Off-Policy Optimization for Robotic Manipulation Skills

abstract: Parameterized movement primitives have been extensively used for imitation learning of robotic tasks. However, the high-dimensionality of the parameter space hinders the improvement of such primitives in the reinforcement learning (RL) setting, especially for learning with physical robots. In this paper we propose a novel view on handling the demonstrated trajectories for acquiring low-dimensional, non-linear latent dynamics, using mixtures of probabilistic principal component analyzers (MPPCA) on the movements' parameter space. Moreover, we introduce a new contextual off-policy RL algorithm, named LAtent-Movements Policy Optimization (LAMPO). LAMPO can provide gradient estimates from previous experience using self-normalized importance sampling, hence, making full use of samples collected in previous learning iterations. These advantages combined provide a complete framework for sample-efficient off-policy optimization of movement primitives for robot learning of high-dimensional manipulation skills. Our experimental results conducted both in simulation and on a real robot show that LAMPO provides sample-efficient policies against common approaches in literature.


title: On Lorentz invariant complex scalar fields

abstract: We obtain a Lorentz covariant wave equation whose complex wave function transforms under a Lorentz boost according to the following rule, $\Psi(x)\rightarrow e^{\frac{i}{\hbar}f(x)}\Psi(x)$. We show that the spacetime dependent phase $f(x)$ is the most natural relativistic extension of the phase associated with the transformation rule for the non-relativistic Schroedinger wave function when it is subjected to a Galilean transformation. We then generalize the previous analysis by postulating that $\Psi(x)$ transforms according to the above rule under proper Lorentz transformations (boosts or spatial rotations). This is the most general transformation rule compatible with a Lorentz invariant physical theory whose observables are bilinear functions of the field $\Psi(x)$. We use the previous wave equations to describe several physical systems. In particular, we solve the bound state and scattering problems of two particles which interact both electromagnetically and gravitationally (static electromagnetic and gravitational fields). The former interaction is modeled via the minimal coupling prescription while the latter enters via an external potential. We also formulate logically consistent classical and quantum field theories associated with these Lorentz covariant wave equations. We show that it is possible to make those theories equivalent to the Klein-Gordon theory whenever we have self-interacting terms that do not break their Lorentz invariance or if we introduce electromagnetic interactions via the minimal coupling prescription. For interactions that break Lorentz invariance, we show that the present theories imply that particles and antiparticles behave differently at decaying processes, with the latter being more unstable. This suggests a possible connection between Lorentz invariance-breaking interactions and the matter-antimatter asymmetry problem.


title: On the probability of finding a nonphysical solution through shadowing

abstract: This paper proves that shadowing solutions can be almost surely nonphysical. This finding invalidates the argument that small perturbations in a chaotic system can only have a small impact on its statistical behavior. This theoretical finding has implications for many applications in which chaotic mechanics plays an important role. It suggests, for example, that we can control the climate through subtle perturbations. It also suggests that numerical simulations of chaotic dynamics, such as turbulent flows, may fail to predict the true long-term or statistical behavior.


title: Tracer Dynamics in Crowded Active-Particle Suspensions

abstract: We derive equations of motion for the mean-squared displacement (MSD) of an active Brownian particle (ABP) in a crowded environment modeled by a dense system of passive Brownian particles, and of a passive tracer particle in a dense active-Brownian particle system, using a projection-operator scheme. The interaction of the tracer particle with the dense host environment gives rise to strong memory effects. Evaluating these approximately in the framework of a recently developed mode-coupling theory for the glass transition in active Brownian particles (ABP-MCT), we discuss the various regimes of activity-induced super-diffusive motion and density-induced sub-diffusive motion. The predictions of the theory are shown to be in good agreement with results from an event-driven Brownian dynamics simulation scheme for the dynamics of two-dimensional active Brownian hard disks.


title: Energy budget and the gravitational wave spectra beyond the bag model

abstract: The energy budget of cosmological first-order phase transition is essential for the gravitational wave spectra. Most of the previous studies are based on the bag model with same sound velocity in the symmetric and broken phase. We study the energy budget and the corresponding gravitational wave spectra beyond the bag model, where the sound velocities could be different in the symmetric and broken phase. Taking the Higgs sextic effective model as a representative model, we calculate the sound velocities in different phase, the gravitational wave spectra and the signal-to-noise ratio for different combinations of phase transition parameters beyond the bag model. We compare these new results with the ones obtained from the bag model.The proper sound velocities and phase transition parameters at the appropriate temperature are important to obtain more precise predictions.


title: Quantum version of a generalized Monty Hall game and its possible applications to quantum secure communications

abstract: In this work we propose a quantum version of a generalized Monty Hall game, that is, one in which the parameters of the game are left free, and not fixed on its regular values. The developed quantum scheme is then used to study the expected payoff of the player, using both a separable and an entangled initial-state. In the two cases, the classical mixed-strategy payoff is recovered under certain conditions. Lastly, we extend our quantum scheme to include multiple independent players, and use this extension to sketch two possible application of the game mechanics to quantum networks, specifically, two validated, mult-party, key-distribution, quantum protocols.


title: Non-planar cusp and transcendental anomalous dimension at four loops in N=4 supersymmetric Yang-Mills theory

abstract: We compute the nonplanar contribution to the universal anomalous dimension of the SU(4)-singlet twist-two operators in N=4 supersymmetric Yang-Mills theory at four loops through Lorentz spin 18. From this, we numerically evaluate the nonplanar contribution to the four-loop lightlike cusp anomalous dimension and derive the transcendental $\zeta_3$ and $\zeta_5$ parts of the universal anomalous dimension for arbitrary Lorentz spin in analytic form. As for the lightlike cusp anomalous dimension and the $\zeta_5$ part of the universal anomalous dimension, we confirm previous results.


title: GreedyFool: Distortion-Aware Sparse Adversarial Attack

abstract: Modern deep neural networks(DNNs) are vulnerable to adversarial samples. Sparse adversarial samples are a special branch of adversarial samples that can fool the target model by only perturbing a few pixels. The existence of the sparse adversarial attack points out that DNNs are much more vulnerable than people believed, which is also a new aspect for analyzing DNNs. However, current sparse adversarial attack methods still have some shortcomings on both sparsity and invisibility. In this paper, we propose a novel two-stage distortion-aware greedy-based method dubbed as "GreedyFool". Specifically, it first selects the most effective candidate positions to modify by considering both the gradient(for adversary) and the distortion map(for invisibility), then drops some less important points in the reduce stage. Experiments demonstrate that compared with the start-of-the-art method, we only need to modify $3\times$ fewer pixels under the same sparse perturbation setting. For target attack, the success rate of our method is 9.96\% higher than the start-of-the-art method under the same pixel budget. Code can be found at https://github.com/LightDXY/GreedyFool.


title: Bayesian Multivariate Probability of Success Using Historical Data with Strict Control of Family-wise Error Rate

abstract: Given the cost and duration of phase III and phase IV clinical trials, the development of statistical methods for go/no-go decisions is vital. In this paper, we introduce a Bayesian methodology to compute the probability of success based on the current data of a treatment regimen for the multivariate linear model. Our approach utilizes a Bayesian seemingly unrelated regression model, which allows for multiple endpoints to be modeled jointly even if the covariates between the endpoints are different. Correlations between endpoints are explicitly modeled. This Bayesian joint modeling approach unifies single and multiple testing procedures under a single framework. We develop an approach to multiple testing that asymptotically guarantees strict family-wise error rate control, and is more powerful than frequentist approaches to multiplicity. The method effectively yields those of Ibrahim et al. and Chuang-Stein as special cases, and, to our knowledge, is the only method that allows for robust sample size determination for multiple endpoints and/or hypotheses and the only method that provides strict family-wise type I error control in the presence of multiplicity.


title: A perspective on semiconductor-based superconducting qubits

abstract: Following the demonstration of semiconductor-based Josephson junctions which are fully tuneable by electrical means, new routes have been opened for the study of hybrid semiconductor-superconductor qubits. These include semiconductor-based transmon qubits, single-spin Andreev qubits, and fault-tolerant topological qubits based on Majorana zero modes. In this perspective, we review recent progress in the path towards such novel qubit designs. After a short introduction and a brief digression about the historical roadmap that has led to the experimental state-of-the art, the emphasis is placed on superconducting qubits based on semiconductor nanowires


title: Models and corrections: range separation for electronic interaction -- lessons from density functional theory

abstract: Model Hamiltonians with long-range interaction yield energies that are corrected taking into account the universal behavior of the electron-electron interaction at short range. Although the intention of the paper is to explore the foundations of using density functionals combined with range separation, the approximations presented can be used without them, as illustrated by a calculation on Harmonium. In the regime when the model system approaches the Coulomb system, they allow the calculation of ground states, excited states, and properties, without making use of the Hohenberg-Kohn theorem. Asymptotically, the technique is improvable, allows for error estimates that can validate the results. Some considerations for correcting the errors of finite basis sets in this spirit are also presented. Being related to the present understanding of density functional approximations, the results are comparable to those obtained with the latter, as long as these are accurate.


title: Quantum state tomography with informationally complete POVMs generated in the time domain

abstract: The article establishes a framework for dynamic generation of informationally complete POVMs in quantum state tomography. Assuming that the evolution of a quantum system is given by a dynamical map in the Kraus representation, one can switch to the Heisenberg picture and define the measurements in the time domain. Consequently, starting with an incomplete set of positive operators, one can obtain sufficient information for quantum state reconstruction by multiple measurements. The framework has been demonstrated on qubits and qutrits. For some types of dynamical maps, it suffices to initially have one measurement operator. The results demonstrate that quantum state tomography is feasible even with limited measurement potential.


title: Achieving a quantum smart workforce

abstract: Interest in building dedicated Quantum Information Science and Engineering (QISE) education programs has greatly expanded in recent years. These programs are inherently convergent, complex, often resource intensive and likely require collaboration with a broad variety of stakeholders. In order to address this combination of challenges, we have captured ideas from many members in the community. This manuscript not only addresses policy makers and funding agencies (both public and private and from the regional to the international level) but also contains needs identified by industry leaders and discusses the difficulties inherent in creating an inclusive QISE curriculum. We report on the status of eighteen post-secondary education programs in QISE and provide guidance for building new programs. Lastly, we encourage the development of a comprehensive strategic plan for quantum education and workforce development as a means to make the most of the ongoing substantial investments being made in QISE.


title: XR-Ed Framework: Designing Instruction-driven andLearner-centered Extended Reality Systems for Education

abstract: Recently, the HCI community has seen an increased interest in applying Virtual Reality (VR), AugmentedReality (AR) and Mixed Reality (MR) into educational settings. Despite many literature reviews, there stilllacks a clear framework that reveals the different design dimensions in educational Extended Reality (XR)systems. Addressing this gap, we synthesize a broad range of educational XR to propose the XR-Ed framework,which reveals design space in six dimensions (Physical Accessibility, Scenario, Social Interactivity, Agency,Virtuality Degree, Assessment). Within each dimension, we contextualize the framework using existing designcases. Based on the XR-Ed Design framework, we incorporated instructional design approaches to proposeXR-Ins, an instruction-oriented, step-by-step guideline in educational XR instruction design. Jointly, they aimto support practitioners by revealing implicit design choices, offering design inspirations as well as guide themto design instructional activities for XR technologies in a more instruction-oriented and learner-centered way.


title: Inversion of the Weighted Spherical Mean

abstract: The paper contains the inversion formula for the weighted spherical mean. The interest to reconstruction a function by its integral by sphere grews tremendously in the last six decades, stimulated by the spectrum of new problems and methods of image reconstruction. We consider a generalization of the classical spherical mean and its inverse in the case when generalized translation acts to function instead of regular. As a particular case this problem includes action of spherical means on radially symmetric functions.


title: Laws Of Form and the Riemann Hypothesis

abstract: This paper is an exposition and review of the research related to the Riemann Hypothesis starting from the work of Riemann and ending with a description of the work of G. Spencer-Brown, culminating in his Denjoy proof of the RH.


title: Interpretable Assessment of Fairness During Model Evaluation

abstract: For companies developing products or algorithms, it is important to understand the potential effects not only globally, but also on sub-populations of users. In particular, it is important to detect if there are certain groups of users that are impacted differently compared to others with regard to business metrics or for whom a model treats unequally along fairness concerns. In this paper, we introduce a novel hierarchical clustering algorithm to detect heterogeneity among users in given sets of sub-populations with respect to any specified notion of group similarity. We prove statistical guarantees about the output and provide interpretable results. We demonstrate the performance of the algorithm on real data from LinkedIn.


title: Detector Algorithms of Bounding Box and Segmentation Mask of a Mask R-CNN Model

abstract: Detection performances on bounding box and segmentation mask outputs of Mask R-CNN models are evaluated. There are significant differences in detection performances of bounding boxes and segmentation masks, where the former is constantly superior to the latter. Harmonic values of precisions and recalls of linear cracks, joints, fillings, and shadows are significantly lower in segmentation masks than bounding boxes. Other classes showed similar harmonic values. Discussions are made on different performances of detection metrics of bounding boxes and segmentation masks focusing on detection algorithms of both detectors.


title: f(R,T) Gravity Model Behaving as a Dark Energy Source

abstract: Within the limits of the present cosmological observations in f(R,T) gravity theory, we have analyzed a spherically symmetric space-time in 5D setting. The field equations have been carefully studied considering reasonable cosmological assumptions to obtain exact solutions. We have obtained an isotropic model universe undergoing super-exponential expansion. It is predicted that the model universe behaves like a dark energy (vacuum energy) model. In the present scenario, the model evolves with a slow and uniform change of shape. It is observed that the universe is close to or nearly flat. The model is free from initial singularity and is predicted to approach the de-Sitter phase dominated by vacuum energy or cosmological constant in the finite-time future. A comprehensive discussion on the cosmological parameters obtained in view of the recent studies is presented in detail with graphs.


title: A new model for dark matter fluid sphere

abstract: We develop a new model for a spherically symmetric dark matter fluid sphere containing two regions: {\bf (i)} Isotropic inner region with constant density and {\bf (ii)} Anisotropic outer region. We solve the system of field equation by assuming a particular density profile along with a linear equation of state. The obtained solutions are well-behaved and physically acceptable which represent equilibrium and stable matter configuration by satisfying the TOV equation and causality condition, condition on adiabatic index, Harrison-Zeldovich-Novikov criterion, respectively. We consider the compact star EXO 1785-248 (Mass $M=1.3~M_{\odot}$ and radius $R = 8.8 ~km.$) to analyze our solutions by graphical demonstrations.


title: Excalibur: A Non-Parametric, Hierarchical Wavelength-Calibration Method for a Precision Spectrograph

abstract: Excalibur is a non-parametric, hierarchical framework for precision wavelength-calibration of spectrographs. It is designed with the needs of extreme-precision radial velocity (EPRV) in mind, which require that instruments be calibrated or stabilized to better than $10^{-4}$ pixels. Instruments vary along only a few dominant degrees of freedom, especially EPRV instruments that feature highly stabilized optical systems and detectors. Excalibur takes advantage of this property by using all calibration data to construct a low-dimensional representation of all accessible calibration states for an instrument. Excalibur also takes advantage of laser frequency combs or etalons, which generate a dense set of stable calibration points. This density permits the use of a non-parametric wavelength solution that can adapt to any instrument or detector oddities better than parametric models, such as a polynomial. We demonstrate the success of this method with data from the EXtreme PREcision Spectrograph (EXPRES), which uses a laser frequency comb. When wavelengths are assigned to laser comb lines using excalibur, the RMS of the residuals is about five times lower than wavelengths assigned using polynomial fits to individual exposures. Radial-velocity measurements of HD 34411 showed a reduction in RMS scatter over a 10-month time baseline from $1.17$ to $1.05\, m\,s^{-1}$.


title: Hierarchical Inference With Bayesian Neural Networks: An Application to Strong Gravitational Lensing

abstract: In the past few years, approximate Bayesian Neural Networks (BNNs) have demonstrated the ability to produce statistically consistent posteriors on a wide range of inference problems at unprecedented speed and scale. However, any disconnect between training sets and the distribution of real-world objects can introduce bias when BNNs are applied to data. This is a common challenge in astrophysics and cosmology, where the unknown distribution of objects in our Universe is often the science goal. In this work, we incorporate BNNs with flexible posterior parameterizations into a hierarchical inference framework that allows for the reconstruction of population hyperparameters and removes the bias introduced by the training distribution. We focus on the challenge of producing posterior PDFs for strong gravitational lens mass model parameters given Hubble Space Telescope (HST) quality single-filter, lens-subtracted, synthetic imaging data. We show that the posterior PDFs are sufficiently accurate (i.e., statistically consistent with the truth) across a wide variety of power-law elliptical lens mass distributions. We then apply our approach to test data sets whose lens parameters are drawn from distributions that are drastically different from the training set. We show that our hierarchical inference framework mitigates the bias introduced by an unrepresentative training set's interim prior. Simultaneously, given a sufficiently broad training set, we can precisely reconstruct the population hyperparameters governing our test distributions. Our full pipeline, from training to hierarchical inference on thousands of lenses, can be run in a day. The framework presented here will allow us to efficiently exploit the full constraining power of future ground- and space-based surveys.


title: Pre-supernova feedback mechanisms drive the destruction of molecular clouds in nearby star-forming disc galaxies

abstract: It is a major open question which physical processes stop the accretion of gas onto giant molecular clouds (GMCs) and limit the efficiency at which gas is converted into stars within these GMCs. While feedback from supernova explosions has been the popular feedback mechanism included in simulations of galaxy formation and evolution, `early' feedback mechanisms such as stellar winds, photoionisation and radiation pressure are expected to play an important role in dispersing the gas after the onset of star formation. These feedback processes typically take place on small scales ($\sim 10-100$ pc) and their effects have therefore been difficult to constrain in environments other than the Milky Way. We apply a novel statistical method to $\sim 1$" resolution maps of CO and Ha emission across a sample of nine nearby disc galaxies, in order to measure the time over which GMCs are dispersed by feedback from young, high-mass stars, as a function of the galactic environment. We find that GMCs are typically dispersed within $\sim$ 3 Myr after the emergence of unembedded high-mass stars, showing no significant trend with galactocentric radius. Comparison with analytical predictions demonstrates that, independently of the environment, early feedback mechanisms (particularly photoionisation and stellar winds) play a crucial role in dispersing GMCs and limiting their star formation efficiency in nearby galaxies. Finally, we show that the efficiency at which the energy injected by these early feedback mechanisms couples with the parent GMC is relatively low (a few tens of per cent), such that the vast majority of momentum and energy emitted by the young stellar populations escapes the parent GMC.