title: Flexibility can hurt dynamic matching system performance

abstract: We study the performance of general dynamic matching models. This model is defined by a connected graph, where nodes represent the class of items and the edges the compatibilities between items. Items of different classes arrive one by one to the system according to a given probability distribution. Upon arrival, an item is matched with a compatible item according to the First Come First Served discipline and leave the system immediately, whereas it is enqueued with other items of the same class, if any. We show that such a model may exhibit a non intuitive behavior: increasing the services ability by adding new edges in the matching graph may lead to a larger average population. This is similar to a Braess paradox. We first consider a quasicomplete graph with four nodes and we provide values of the probability distribution of the arrivals such that when we add an edge the mean number of items is larger. Then, we consider an arbitrary matching graph and we show sufficient conditions for the existence or non-existence of this paradox. We conclude that the analog to the Braess paradox in matching models is given when specific independent sets are in saturation, i.e., the system is close to the stability condition.


title: Reflection-mode virtual histology using photoacoustic remote sensing microscopy

abstract: Histological visualizations are critical to clinical disease management and are fundamental to biological understanding. However, current approaches that rely on bright-field microscopy require extensive tissue preparation prior to imaging. These processes are labor intensive and contribute to delays in clinical feedback that can extend to two to three weeks for standard paraffin-embedded tissue preparation and interpretation. Here, we present a label-free reflection-mode imaging modality that reveals cellular-scale morphology by detecting intrinsic endogenous contrast. We accomplish this with the novel photoacoustic remote sensing (PARS) detection system that permits non-contact optical absorption contrast to be extracted from thick and opaque biological targets with optical resolution. PARS was examined both as a rapid assessment tool that is capable of managing large samples (>1 cm2) in under 10 minutes, and as a high contrast imaging modality capable of extracting specific biological contrast to simulate conventional histological stains such as hematoxylin and eosin (H&E). The capabilities of the proposed method are demonstrated in a variety of human tissue preparations including formalin-fixed paraffin-embedded tissue blocks and unstained slides sectioned from these blocks, including normal and neoplastic human brain, and breast epithelium involved with breast cancer. Similarly, PARS images of human skin prepared by frozen section clearly demonstrated basal cell carcinoma and normal human skin tissue. Finally, we imaged unprocessed murine kidney and achieved histologically relevant subcellular morphology in fresh tissue. This represents a vital step towards an effective real-time clinical microscope that overcomes the limitations of standard histopathologic tissue preparations and enables real-time pathology assessment.


title: The relative L^2 index theorem for Galois coverings

abstract: Given a Galois covering of complete spin manifolds where the base metric has PSC near infinity, we prove that for small enough epsilon > 0, the epsilon spectral projection of the Dirac operator has finite trace in the Atiyah von Neumann algebra. This allows us to define the L2 index in the even case and we prove its compatibility with the Xie-Yu higher index. We also deduce L2 versions of the classical Gromov-Lawson relative index theorems. Finally, we briefly discuss some Gromov-Lawson L2 invariants.


title: Optical geometries

abstract: We study the notion of optical geometry, defined to be a Lorentzian manifold equipped with a null line distribution, from the perspective of intrinsic torsion. This is an instance of a non-integrable version of holonomy reduction in Lorentzian geometry. These generate congruences of null curves, which play an important r\^{o}le in general relativity. Conformal properties of these are investigated. We also extend this concept to generalised optical geometries as introduced by Robinson and Trautman.


title: Synthetic Training for Accurate 3D Human Pose and Shape Estimation in the Wild

abstract: This paper addresses the problem of monocular 3D human shape and pose estimation from an RGB image. Despite great progress in this field in terms of pose prediction accuracy, state-of-the-art methods often predict inaccurate body shapes. We suggest that this is primarily due to the scarcity of in-the-wild training data with diverse and accurate body shape labels. Thus, we propose STRAPS (Synthetic Training for Real Accurate Pose and Shape), a system that utilises proxy representations, such as silhouettes and 2D joints, as inputs to a shape and pose regression neural network, which is trained with synthetic training data (generated on-the-fly during training using the SMPL statistical body model) to overcome data scarcity. We bridge the gap between synthetic training inputs and noisy real inputs, which are predicted by keypoint detection and segmentation CNNs at test-time, by using data augmentation and corruption during training. In order to evaluate our approach, we curate and provide a challenging evaluation dataset for monocular human shape estimation, Sports Shape and Pose 3D (SSP-3D). It consists of RGB images of tightly-clothed sports-persons with a variety of body shapes and corresponding pseudo-ground-truth SMPL shape and pose parameters, obtained via multi-frame optimisation. We show that STRAPS outperforms other state-of-the-art methods on SSP-3D in terms of shape prediction accuracy, while remaining competitive with the state-of-the-art on pose-centric datasets and metrics.


title: Models for COVID-19 Pandemic: A Comparative Analysis

abstract: COVID-19 pandemic represents an unprecedented global health crisis in the last 100 years. Its economic, social and health impact continues to grow and is likely to end up as one of the worst global disasters since the 1918 pandemic and the World Wars. Mathematical models have played an important role in the ongoing crisis; they have been used to inform public policies and have been instrumental in many of the social distancing measures that were instituted worldwide. In this article we review some of the important mathematical models used to support the ongoing planning and response efforts. These models differ in their use, their mathematical form and their scope.


title: Decomposing spectral and phasic differences in non-linear features between datasets

abstract: When employing non-linear methods to characterise complex systems, it is important to determine to what extent they are capturing genuine non-linear phenomena that could not be assessed by simpler spectral methods. Specifically, we are concerned with the problem of quantifying spectral and phasic effects on an observed difference in a non-linear feature between two systems (or two states of the same system). Here we derive, from a sequence of null models, a decomposition of the difference in an observable into spectral, phasic, and spectrum-phase interaction components. Our approach makes no assumptions about the structure of the data and adds nuance to a wide range of time series analyses.


title: Existence of global solutions and blow-up of solutions for coupled systems of fractional diffusion equations

abstract: We study the Cauchy problem for a system of semi-linear coupled fractional-diffusion equations with polynomial nonlinearities posed in $% \mathbb{R}_{+}\times \mathbb{R}^{N}$. Under appropriate conditions on the exponents and the orders of the fractional time derivatives, we present a critical value of the dimension N, for which global solutions with small data exist, otherwise solutions blow-up in finite time. Furthermore, the large time behavior of global solutions is discussed.


title: From Static to Dynamic Node Embeddings

abstract: We introduce a general framework for leveraging graph stream data for temporal prediction-based applications. Our proposed framework includes novel methods for learning an appropriate graph time-series representation, modeling and weighting the temporal dependencies, and generalizing existing embedding methods for such data. While previous work on dynamic modeling and embedding has focused on representing a stream of timestamped edges using a time-series of graphs based on a specific time-scale (e.g., 1 month), we propose the notion of an $\epsilon$-graph time-series that uses a fixed number of edges for each graph, and show its superiority over the time-scale representation used in previous work. In addition, we propose a number of new temporal models based on the notion of temporal reachability graphs and weighted temporal summary graphs. These temporal models are then used to generalize existing base (static) embedding methods by enabling them to incorporate and appropriately model temporal dependencies in the data. From the 6 temporal network models investigated (for each of the 7 base embedding methods), we find that the top-3 temporal models are always those that leverage the new $\epsilon$-graph time-series representation. Furthermore, the dynamic embedding methods from the framework almost always achieve better predictive performance than existing state-of-the-art dynamic node embedding methods that are developed specifically for such temporal prediction tasks. Finally, the findings of this work are useful for designing better dynamic embedding methods.


title: Data-driven modeling for different stages of pandemic response

abstract: Some of the key questions of interest during the COVID-19 pandemic (and all outbreaks) include: where did the disease start, how is it spreading, who is at risk, and how to control the spread. There are a large number of complex factors driving the spread of pandemics, and, as a result, multiple modeling techniques play an increasingly important role in shaping public policy and decision making. As different countries and regions go through phases of the pandemic, the questions and data availability also changes. Especially of interest is aligning model development and data collection to support response efforts at each stage of the pandemic. The COVID-19 pandemic has been unprecedented in terms of real-time collection and dissemination of a number of diverse datasets, ranging from disease outcomes, to mobility, behaviors, and socio-economic factors. The data sets have been critical from the perspective of disease modeling and analytics to support policymakers in real-time. In this overview article, we survey the data landscape around COVID-19, with a focus on how such datasets have aided modeling and response through different stages so far in the pandemic. We also discuss some of the current challenges and the needs that will arise as we plan our way out of the pandemic.


title: Learning a Contact-Adaptive Controller for Robust, Efficient Legged Locomotion

abstract: We present a hierarchical framework that combines model-based control and reinforcement learning (RL) to synthesize robust controllers for a quadruped (the Unitree Laikago). The system consists of a high-level controller that learns to choose from a set of primitives in response to changes in the environment and a low-level controller that utilizes an established control method to robustly execute the primitives. Our framework learns a controller that can adapt to challenging environmental changes on the fly, including novel scenarios not seen during training. The learned controller is up to 85~percent more energy efficient and is more robust compared to baseline methods. We also deploy the controller on a physical robot without any randomization or adaptation scheme.


title: Imitation dynamics in population games on community networks

abstract: We study the asymptotic behavior of deterministic, continuous-time imitation dynamics for population games over networks. The basic assumption of this learning mechanism -- encompassing the replicator dynamics -- is that players belonging to a single population exchange information through pairwise interactions, whereby they get aware of the actions played by the other players and the corresponding rewards. Using this information, they can revise their current action, imitating the one of the players they interact with. The pattern of interactions regulating the learning process is determined by a community structure. First, the set of equilibrium points of such network imitation dynamics is characterized. Second, for the class of potential games and for undirected and connected community networks, global asymptotic convergence is proved. In particular, our results guarantee convergence to a Nash equilibrium from every fully supported initial population state in the special case when the Nash equilibria are isolated and fully supported. Examples and numerical simulations are offered to validate the theoretical results and counterexamples are discussed for scenarios when the assumptions on the community structure are not verified.


title: MLSNet: A Policy Complying Multilevel Security Framework for Software Defined Networking

abstract: Ensuring that information flowing through a network is secure from manipulation and eavesdropping by unauthorized parties is an important task for network administrators. Many cyber attacks rely on a lack of network-level information flow controls to successfully compromise a victim network. Once an adversary exploits an initial entry point, they can eavesdrop and move laterally within the network (e.g., scan and penetrate internal nodes) to further their malicious goals. In this paper, we propose a novel multilevel security (MLS) framework to enforce a secure inter-node information flow policy within the network and therein vastly reduce the attack surface available to an adversary who has penetrated it. In contrast to prior work on multilevel security in computer networks which relied on enforcing the policy at network endpoints, we leverage the centralization of software-defined networks (SDNs) by moving the task to the controller and providing this service transparently to all nodes in the network. Our framework, MLSNet, formalizes the generation of a policy compliant network configuration (i.e., set of flow rules on the SDN switches) as network optimization problems, with the objectives of (1) maximizing the number of flows satisfying all security constraints and (2) minimizing the security cost of routing any remaining flows to guarantee availability. We demonstrate that MLSNet can securely route flows that satisfy the security constraints (e.g., >80% of flows in a performed benchmark) and route the remaining flows with a minimal security cost.


title: Finite-dimensionality in the non-commutative Choquet boundary: peaking phenomena and $\mathrm{C}^*$-liminality

abstract: We explore the finite-dimensional part of the non-commutative Choquet boundary of an operator algebra. In other words, we seek finite-dimensional boundary representations. Such representations may fail to exist even when the underlying operator algebra is finite-dimensional. Nevertheless, we exhibit mechanisms that detect when a given finite-dimensional representation lies in the Choquet boundary. Broadly speaking, our approach is topological and requires identifying isolated points in the spectrum of the $\mathrm{C}^*$-envelope. This is accomplished by analyzing peaking representations and peaking projections, both of which being non-commutative versions of the classical notion of a peak point for a function algebra. We also connect this question with the residual finite-dimensionality of the $\mathrm{C}^*$-envelope and to a stronger property that we call $\mathrm{C}^*$-liminality. Recent developments in matrix convexity allow us to identify a pivotal intermediate property, whereby every matrix state is locally finite-dimensional.


title: Leveraging HST with MUSE: II. Na-abundance variations in intermediate age star clusters

abstract: Ancient ($>$10 Gyr) globular clusters (GCs) show chemical abundance variations in the form of patterns among certain elements, e.g. N correlates with Na and anti-correlates with O. Recently, N abundance spreads have also been observed in massive star clusters that are significantly younger than old GCs, down to an age of $\sim$2 Gyr. However, so far N has been the only element found to vary in such young objects. We report here the presence of Na abundance variations in the intermediate age massive star clusters NGC 416 ($\sim$6.5 Gyr old) and Lindsay 1 ($\sim$7.5 Gyr old) in the Small Magellanic Cloud, by combining HST and ESO-VLT MUSE observations. Using HST photometry we were able to construct ''chromosome maps'' and separate sub-populations with different N content, in the red giant branch of each cluster. MUSE spectra of individual stars belonging to each population were combined, resulting in high signal-to-noise spectra representative of each population, which were compared to search for mean differences in Na. We find a mean abundance variation of $\Delta$[Na/Fe]$=0.18\pm0.04$ dex for NGC 416 and $\Delta$[Na/Fe]$=0.24\pm0.05$ dex for Lindsay 1. In both clusters we find that the population that is enhanced in N is also enhanced in Na, which is the same pattern to the one observed in ancient GCs. Furthermore, we detect a bimodal distribution of core-helium burning Red Clump (RC) giants in the UV colour magnitude diagram of NGC 416. A comparison of the stacked MUSE spectra of the two RCs shows the same mean Na abundance difference between the two populations. The results reported in this work are a crucial hint that star clusters of a large age range share the same origin: they are the same types of objects, but only separated in age.


title: On the lattices of exact and weakly exact structures

abstract: We initiate in this article the study of weakly exact structures, a generalization of Quillen exact structures. We introduce weak counterparts of one-sided exact structures and show that a left and a right weakly exact structure generate a weakly exact structure. We further define weakly extriangulated structures on an additive category $\mathcal{A}$ and characterize weakly exact structures among them. We investigate when these structures on $\mathcal{A}$ form lattices. We prove that the lattice of substructures of a weakly extriangulated structure is isomorphic to the lattice of topologizing subcategories of a certain functor category. In the idempotent complete case, we characterize the lattice of all weakly exact structures and we prove the existence of a unique maximal weakly exact structure. We study in detail the situation when $\mathcal{A}$ is additively finite, giving a module-theoretic characterization of closed sub-bifunctors of $\mbox{Ext}^1$ among all additive sub-bifunctors.


title: Misspecification and Unreliable Interpretations in Psychology and Social Science

abstract: The replicability crisis has drawn attention to numerous weaknesses in psychology and social science research practice. In this work we focus on three issues that cannot be addressed with replication alone, and which deserve more attention: Functional misspecification, structural misspecification, and unreliable interpretation of results. We demonstrate a number of possible consequences via simulation, and provide recommendations for researchers to improve their research practice. Psychologists and social scientists should engage with these areas of analytical and statistical improvement, as they have the potential to seriously hinder scientific progress. Every research question and hypothesis may present its own unique challenges, and it is only through an awareness and understanding of varied statistical methods for predictive and causal modeling, that researchers will have the tools with which to appropriately address them.


title: Visual-Semantic Embedding Model Informed by Structured Knowledge

abstract: We propose a novel approach to improve a visual-semantic embedding model by incorporating concept representations captured from an external structured knowledge base. We investigate its performance on image classification under both standard and zero-shot settings. We propose two novel evaluation frameworks to analyse classification errors with respect to the class hierarchy indicated by the knowledge base. The approach is tested using the ILSVRC 2012 image dataset and a WordNet knowledge base. With respect to both standard and zero-shot image classification, our approach shows superior performance compared with the original approach, which uses word embeddings.


title: Comment on "Revisiting dynamics of quantum causal structures --when can causal order evolve?''

abstract: In the last few years, there has been increasing interest in quantum processes with indefinite causal order. Process matrices are a convenient framework to study such processes. Ref. [1] defines higher order transformations from process matrices to process matrices and shows that no continuous and reversible transformation can change the causal order of a process matrix. Ref. [2] argues, based on a set of examples, that there are situations where a process can change its causal order over time. Ref. [2] claims that the formalism of higher order transformations is not general enough to capture its examples. Here we show that this claim is incorrect. Moreover, a crucial example of Ref. [2] has already been explicitly considered in Ref. [1] and shown to be compatible with its results.


title: Population trapping in a pair of periodically driven Rydberg atoms

abstract: We study the population trapping extensively in a periodically driven Rydberg pair. The periodic modulation of the atom-light detuning effectively suppresses the Rabi couplings and, together with Rydberg-Rydberg interactions, leads to the state-dependent population trapping. We identify a simple yet a general scheme to determine population trapping regions using driving induced resonances, the Floquet spectrum, and the inverse participation ratio. Contrary to the single atom case, we show that the population trapping in the two-atom setup may not necessarily be associated with level crossings in the Floquet spectrum. Further, we discuss under what criteria population trapping can be related to dynamical stabilization, taking specific and experimentally relevant initial states, which include both product and the maximally entangled Bell states. The behavior of the entangled states is further characterized by the bipartite entanglement entropy.


title: Selection of Regression Models under Linear Restrictions for Fixed and Random Designs

abstract: Many important modeling tasks in linear regression, including variable selection (in which slopes of some predictors are set equal to zero) and simplified models based on sums or differences of predictors (in which slopes of those predictors are set equal to each other, or the negative of each other, respectively), can be viewed as being based on imposing linear restrictions on regression parameters. In this paper, we discuss how such models can be compared using information criteria designed to estimate predictive measures like squared error and Kullback-Leibler (KL) discrepancy, in the presence of either deterministic predictors (fixed-X) or random predictors (random-X). We extend the justifications for existing fixed-X criteria Cp, FPE and AICc, and random-X criteria Sp and RCp, to general linear restrictions. We further propose and justify a KL-based criterion, RAICc, under random-X for variable selection and general linear restrictions. We show in simulations that the use of the KL-based criteria AICc and RAICc results in better predictive performance and sparser solutions than the use of squared error-based criteria, including cross-validation.


title: Complexity in economic and social systems: cryptocurrency market at around COVID-19

abstract: Social systems are characterized by an enormous network of connections and factors that can influence the structure and dynamics of these systems. All financial markets, including the cryptocurrency market, belong to the economical sphere of human activity that seems to be the most interrelated and complex. The cryptocurrency market complexity can be studied from different perspectives. First, the dynamics of the cryptocurrency exchange rates to other cryptocurrencies and fiat currencies can be studied and quantified by means of multifractal formalism. Second, coupling and decoupling of the cryptocurrencies and the conventional assets can be investigated with the advanced cross-correlation analyses based on fractal analysis. Third, an internal structure of the cryptocurrency market can also be a subject of analysis that exploits, for example, a network representation of the market. We approach this subject from all three perspectives based on data recorded between January 2019 and June 2020. This period includes the Covid-19 pandemic and we pay particular attention to this event and investigate how strong its impact on the structure and dynamics of the market was. Besides, the studied data covers a few other significant events like double bull and bear phases in 2019. We show that, throughout the considered interval, the exchange rate returns were multifractal with intermittent signatures of bifractality that can be associated with the most volatile periods of the market dynamics like a bull market onset in April 2019 and the Covid-19 outburst in March 2020. The topology of a minimal spanning tree representation of the market also used to alter during these events from a distributed type without any dominant node to a highly centralized type with a dominating hub of USDT. However, the MST topology during the pandemic differs in some details from other volatile periods.


title: Training Production Language Models without Memorizing User Data

abstract: This paper presents the first consumer-scale next-word prediction (NWP) model trained with Federated Learning (FL) while leveraging the Differentially Private Federated Averaging (DP-FedAvg) technique. There has been prior work on building practical FL infrastructure, including work demonstrating the feasibility of training language models on mobile devices using such infrastructure. It has also been shown (in simulations on a public corpus) that it is possible to train NWP models with user-level differential privacy using the DP-FedAvg algorithm. Nevertheless, training production-quality NWP models with DP-FedAvg in a real-world production environment on a heterogeneous fleet of mobile phones requires addressing numerous challenges. For instance, the coordinating central server has to keep track of the devices available at the start of each round and sample devices uniformly at random from them, while ensuring \emph{secrecy of the sample}, etc. Unlike all prior privacy-focused FL work of which we are aware, for the first time we demonstrate the deployment of a differentially private mechanism for the training of a production neural network in FL, as well as the instrumentation of the production training infrastructure to perform an end-to-end empirical measurement of unintended memorization.


title: Searching in 2-Dimensional Mass Space for Final States with 2 Invisible Particles

abstract: A method to search for particles of unknown masses in final states with two invisible particles is presented. Searching for final states with missing energy is a challenging task usually performed in the tail of a missing energy related distribution. The search method proposed is based on a 2-Dimensional mass reconstruction of the final state with two invisible particles. Thus, a bump hunting is possible, allowing a stronger signal versus background discrimination. Parameters of the BSM theory can be extracted from the mass distributions, a valuable step towards understanding its true nature. The proof of principle of the method is based on the existing SM top pairs in their dilepton final state. Many interesting topologies including dark matter candidates or heavy top partners can be searched this way at the LHC.


title: Solution Concepts in Hierarchical Games under Bounded Rationality with Applications to Autonomous Driving

abstract: With autonomous vehicles (AV) set to integrate further into regular human traffic, there is an increasing consensus on treating AV motion planning as a multi-agent problem. However, the traditional game-theoretic assumption of complete rationality is too strong for human driving, and there is a need for understanding human driving as a \emph{bounded rational} activity through a behavioural game-theoretic lens. To that end, we adapt four metamodels of bounded rational behaviour: three based on Quantal level-k and one based on Nash equilibrium with quantal errors. We formalize the different solution concepts that can be applied in the context of hierarchical games, a framework used in multi-agent motion planning, for the purpose of creating game theoretic models of driving behaviour. Furthermore, based on a contributed dataset of human driving at a busy urban intersection with a total of approximately 4k agents and 44k decision points, we evaluate the behaviour models on the basis of model fit to naturalistic data, as well as their predictive capacity. Our results suggest that among the behaviour models evaluated, at the level of maneuvers, modeling driving behaviour as an adaptation of the Quantal level-k model with level-0 behaviour modelled as pure rule-following provides the best fit to naturalistic driving behaviour. At the level of trajectories, bounds sampling of actions and a maxmax non-strategic models is the most accurate within the set of models in comparison. We also find a significant impact of situational factors on the performance of behaviour models.


title: Decays of an exotic $1^{-+}$ hybrid meson resonance in QCD

abstract: We present the first determination of the hadronic decays of the lightest exotic $J^{PC}=1^{-+}$ resonance in lattice QCD. Working with SU(3) flavor symmetry, where the up, down and strange quark masses approximately match the physical strange-quark mass giving $m_\pi \sim 700$ MeV, we compute finite-volume spectra on six lattice volumes which constrain a scattering system featuring eight coupled channels. Analytically continuing the scattering amplitudes into the complex energy plane, we find a pole singularity corresponding to a narrow resonance which shows relatively weak coupling to the open pseudoscalar--pseudoscalar, vector--pseudoscalar and vector--vector decay channels, but large couplings to at least one kinematically-closed axial-vector--pseudoscalar channel. Attempting a simple extrapolation of the couplings to physical light-quark mass suggests a broad $\pi_1$ resonance decaying dominantly through the $b_1 \pi$ mode with much smaller decays into $f_1 \pi$, $\rho \pi$, $\eta' \pi$ and $\eta \pi$. A large total width is potentially in agreement with the experimental $\pi_1(1564)$ candidate state, observed in $\eta \pi$, $\eta' \pi$, which we suggest may be heavily suppressed decay channels.


title: Force2Vec: Parallel force-directed graph embedding

abstract: A graph embedding algorithm embeds a graph into a low-dimensional space such that the embedding preserves the inherent properties of the graph. While graph embedding is fundamentally related to graph visualization, prior work did not exploit this connection explicitly. We develop Force2Vec that uses force-directed graph layout models in a graph embedding setting with an aim to excel in both machine learning (ML) and visualization tasks. We make Force2Vec highly parallel by mapping its core computations to linear algebra and utilizing multiple levels of parallelism available in modern processors. The resultant algorithm is an order of magnitude faster than existing methods (43x faster than DeepWalk, on average) and can generate embeddings from graphs with billions of edges in a few hours. In comparison to existing methods, Force2Vec is better in graph visualization and performs comparably or better in ML tasks such as link prediction, node classification, and clustering. Source code is available at https://github.com/HipGraph/Force2Vec.


title: Iterative Detection and Decoding for Multiuser MIMO Systems with Low Resolution Precoding and PSK Modulation

abstract: Low-resolution precoding techniques have gained considerable attention in the wireless communications area recently. Vital but hardly discussed in literature, discrete precoding in conjunction with channel coding is the subject of this study. Unlike prior studies, we propose three different soft detection methods and an iterative detection and decoding scheme that allow the utilization of channel coding in conjunction with low-resolution precoding. Besides an exact approach for computing the extrinsic information, we propose two approximations with reduced computational complexity. Numerical results based on PSK modulation and an LDPC block code indicate a superior performance as compared to the system design based on the common AWGN channel model in terms of bit-error-rate.


title: Characterizing oxygen atoms in perovskite and pyrochlore oxides using ADF-STEM at a resolution of a few tens of picometers

abstract: We present an aberration corrected scanning transmission electron microscopy (ac-STEM) analysis of the perovskite (LaFeO3) and pyrochlore (Yb2Ti2O7 and Pr2Zr2O7) oxides and demonstrate that both the shape and contrast of visible atomic columns in annular dark-field (ADF) images are sensitive to the presence of nearby atoms of low atomic number (e.g. oxygen). We show that point defects (e.g. oxygen vacancies), which are invisible - or difficult to observe due to limited sensitivity - in X-ray and neutron diffraction measurements, are the origin of the complex magnetic ground state of pyrochlore oxides. In addition, we present, for the first time, a method by which light atoms can be resolved in quantitative ADF-STEM images. Using this method, we resolved oxygen atoms in perovskite and pyrochlore oxides.


title: Finite-time quantum Stirling heat engine

abstract: We study the thermodynamic performance of the finite-time non-regenerative Stirling cycle used as a quantum heat engine. We consider specifically the case in which the working substance (WS) is a two-level system. The Stirling cycle is made of two isochoric transformations separated by a compression and an expansion stroke during which the working substance is in contact with a thermal reservoir. To describe these two strokes we derive a non-Markovian master equation which allows to study the dynamics of a driven open quantum system with arbitrary fast driving. We found that the finite-time dynamics and thermodynamics of the cycle depend non-trivially on the different time scales at play. In particular, driving the WS at a time scale comparable to the resonance time of the bath enhances the performance of the cycle and allows for an efficiency higher than the efficiency of the slow adiabatic cycle, but still below the Carnot bound. Interestingly, performance of the cycle is dependent on the compression and expansion speeds asymmetrically. This suggests new freedom in optimizing quantum heat engines. We further show that the maximum output power and the maximum efficiency can be achieved almost simultaneously, although the net extractable work declines by speeding up the drive.


title: Quantum manifestations of homogeneous and inhomogeneous oscillation suppression states

abstract: We study the quantum manifestations of homogeneous and inhomogeneous oscillation suppression states in coupled identical quantum oscillators. We consider quantum van der Pol oscillators coupled via weighted mean-field diffusive coupling and using the formalism of open quantum system we show that depending upon the coupling and the density of mean-field, two types of quantum amplitude death occurs, namely squeezed and nonsqueezed quantum amplitude death. Surprisingly, we find that the inhomogeneous oscillation suppression state (or the oscillation death state) does not occur in the quantum oscillators in the classical limit. However, in the deep quantum regime we discover an oscillation death-like state which is manifested in the phase space through the symmetry-breaking bifurcation of Wigner function. Our results also hint towards the possibility of the transition from quantum amplitude death to oscillation death state through the "quantum" Turing-type bifurcation. We believe that the observation of quantum oscillation death state will deepen our knowledge of symmetry-breaking dynamics in the quantum domain.


title: The Data Driven Flavour Model

abstract: A bottom-up approach has been adopted to identify a flavour model that agrees with present experimental measurements. The charged fermion mass hierarchies suggest that only the top Yukawa term should be present at the renormalisable level. The flavour symmetry of the Lagrangian including the fermionic kinetic terms and only the top Yukawa is then a combination of U (2) and U(3) factors. Lighter charged fermion and active neutrino masses and quark and lepton mixings arise considering specific spurion fields. The associated phenomenology is investigated and the model turns out to have almost the same flavour protection of the Minimal Flavour Violation, in both quark and lepton sectors. Promoting the spurions to be dynamical fields, the associated scalar potential is also studied and a minimum is identified such that fermion masses and mixings are correctly reproduced.


title: Mapping Coalgebras I: Comonads

abstract: In this article we describe properties of the 2-functor from the 2-category of comonads to the 2-category of functors that sends a comonad to its forgetful functor. This allows us to describe contexts where algebras over a monad are enriched tensored and cotensored over coalgebras over a comonad.


title: Optimal correlation order in super-resolution optical fluctuation microscopy

abstract: Here, we show that, contrary to the common opinion, the super-resolution optical fluctuation microscopy might not lead to ideally infinite super-resolution enhancement with increasing of the order of measured cumulants. Using information analysis for estimating error bounds on the determination of point sources positions, we show that reachable precision per measurement might be saturated with increasing of the order of the measured cumulants in the super-resolution regime. In fact, there is an optimal correlation order beyond which there is practically no improvement for objects of three and more point sources. However, for objects of just two sources, one still has an intuitively expected resolution increase with the cumulant order.


title: Resilient Cloud-based Replication with Low Latency

abstract: Existing approaches to tolerate Byzantine faults in geo-replicated environments require systems to execute complex agreement protocols over wide-area links and consequently are often associated with high response times. In this paper we address this problem with Spider, a resilient replication architecture for geo-distributed systems that leverages the availability characteristics of today's public-cloud infrastructures to minimize complexity and reduce latency. Spider models a system as a collection of loosely coupled replica groups whose members are hosted in different cloud-provided fault domains (i.e., availability zones) of the same geographic region. This structural organization makes it possible to achieve low response times by placing replica groups in close proximity to clients while still enabling the replicas of a group to interact over short-distance links. To handle the inter-group communication necessary for strong consistency Spider uses a reliable group-to-group message channel with first-in-first-out semantics and built-in flow control that significantly simplifies system design.


title: Positivity of the cotangent sheaf of singular Calabi-Yau varieties

abstract: We prove that the tangent and the reflexivized cotangent sheaves of any normal projective klt Calabi-Yau or irreducible holomorphic symplectic variety are not pseudoeffective, generalizing results of A. H\"oring and T. Peternell arXiv:1710.06183v2 [math.AG]. We provide examples of Calabi-Yau varieties of small dimension with singularities in codimension 2.


title: Space/time-efficient RDF stores based on circular suffix sorting

abstract: In recent years, RDF has gained popularity as a format for the standardized publication and exchange of information in the Web of Data. In this paper we introduce RDFCSA, a data structure that is able to self-index an RDF dataset in small space and supports efficient querying. RDFCSA regards the triples of the RDF store as short circular strings and applies suffix sorting on those strings, so that triple-pattern queries reduce to prefix searching on the string set. The RDF store is then represented compactly using a Compressed Suffix Array (CSA), a proved technology in text indexing that efficiently supports prefix searches. Our experiments show that RDFCSA provides a compact RDF representation, using less than 60% of the space required by the raw data, and yields fast and consistent query times when answering triple-pattern queries (a few microseconds per result). We also support join queries, a key component of most SPARQL queries. RDFCSA is shown to provide an excellent space/time tradeoff, typically using much less space than alternatives that compete in time.


title: A flux-limited model for glioma patterning with hypoxia-induced angiogenesis

abstract: We propose a model for glioma patterns in a microlocal tumor environment under the influence of acidity, angiogenesis, and tissue anisotropy. The bottom-up model deduction eventually leads to a system of reaction-diffusion-taxis equations for glioma and endothelial cell population densities, of which the former infers flux limitation both in the self-diffusion and taxis terms. The model extends a recently introduced [34] description of glioma pseudopalisade formation, with the aim of studying the effect of hypoxia-induced tumor vascularization on the establishment and maintenance of these histological patterns which are typical for high grade brain cancer. Numerical simulations of the population level dynamics are performed to investigate several model scenarios containing this and further effects.


title: UCD-CS at W-NUT 2020 Shared Task-3: A Text to Text Approach for COVID-19 Event Extraction on Social Media

abstract: In this paper, we describe our approach in the shared task: COVID-19 event extraction from Twitter. The objective of this task is to extract answers from COVID-related tweets to a set of predefined slot-filling questions. Our approach treats the event extraction task as a question answering task by leveraging the transformer-based T5 text-to-text model. According to the official evaluation scores returned, namely F1, our submitted run achieves competitive performance compared to other participating runs (Top 3). However, we argue that this evaluation may underestimate the actual performance of runs based on text-generation. Although some such runs may answer the slot questions well, they may not be an exact string match for the gold standard answers. To measure the extent of this underestimation, we adopt a simple exact-answer transformation method aiming at converting the well-answered predictions to exactly-matched predictions. The results show that after this transformation our run overall reaches the same level of performance as the best participating run and state-of-the-art F1 scores in three of five COVID-related events. Our code is publicly available to aid reproducibility


title: Error propagation in the fully self-consistent stochastic second-order Green's function method

abstract: We present an implementation of a fully self-consistent finite temperature second order Green's function perturbation theory (GF2) within the diagrammatic Monte Carlo framework. In contrast to the previous implementations of stochastic GF2 ({\it J. Chem. Phys.},{\bf 151}, 044144 (2019)), the current self-consistent stochastic GF2 does not introduce a systematic bias of the resulting electronic energies. Instead, the introduced implementation accounts for the stochastic errors appearing during the solution of the Dyson equation. We present an extensive discussion of the error handling necessary in a self-consistent procedure resulting in dressed Green's function lines. We test our method on a series of simple molecular examples.


title: Optimal Drug Regimen and Combined Drug Therapy and its Efficacy in the Treatment of COVID-19 : An Within-Host Modeling Study

abstract: The COVID-19 pandemic has resulted in more than 30.35 million infections and 9, 50, 625 deaths in 212 countries over the last few months. Different drug intervention acting at multiple stages of pathogenesis of COVID-19 can substantially reduce the infection induced mortality. The current within-host mathematical modeling studies deals with the optimal drug regimen and the efficacy of combined therapy in treatment of COVID-19. The drugs/interventions considered include Arbidol, Remdesivir, Inteferon (INF) and Lopinavir/Ritonavir. It is concluded that these drug interventions when administered individually or in combination reduce the infected cells and viral load. Four scenarios involving administration of single drug intervention, two drug interventions, three drug interventions and all the four have been discussed. In all these scenarios the optimal drug regimen is proposed based on two methods. In the first method these medical interventions are modeled as control interventions and a corresponding objective function and optimal control problem is formulated. In this setting the optimal drug regimen is proposed. Later using the the comparative effectiveness method the optimal drug regimen is proposed based on basic reproduction number and viral load. The average infected cell count and viral load decreased the most when all the four interventions were applied together. On the other hand the average susceptible cell count decreased the best when Arbidol alone was administered. The basic reproduction number and viral count decreased the best when all the four interventions were applied together reinstating the fact obtained earlier in the optimal control setting. These findings may help physicians with decision making in treatment of life-threatening COVID-19 pneumonia.


title: Measuring justice in machine learning

abstract: How can we build more just machine learning systems? To answer this question, we need to know both what justice is and how to tell whether one system is more or less just than another. That is, we need both a definition and a measure of justice. Theories of distributive justice hold that justice can be measured (in part) in terms of the fair distribution of benefits and burdens across people in society. Recently, the field known as fair machine learning has turned to John Rawls's theory of distributive justice for inspiration and operationalization. However, philosophers known as capability theorists have long argued that Rawls's theory uses the wrong measure of justice, thereby encoding biases against people with disabilities. If these theorists are right, is it possible to operationalize Rawls's theory in machine learning systems without also encoding its biases? In this paper, I draw on examples from fair machine learning to suggest that the answer to this question is no: the capability theorists' arguments against Rawls's theory carry over into machine learning systems. But capability theorists don't only argue that Rawls's theory uses the wrong measure, they also offer an alternative measure. Which measure of justice is right? And has fair machine learning been using the wrong one?


title: On using SMT-solvers for Modeling and Verifying Dynamic Network Emulators

abstract: A novel model-based approach to verify dynamic networks is proposed; the approach consists in formally describing the network topology and dynamic link parameters. A many sorted first order logic formula is constructed to check the model with respect to a set of properties. The network consistency is verified using an SMT-solver, and the formula is used for the run-time network verification when a given static network instance is implemented. The z3 solver is used for this purpose and corresponding preliminary experiments showcase the expressiveness and current limitations of the proposed approach.


title: A McCool Whitehead type theorem for finitely generated subgroups of $\mathsf{Out}(F_n)$

abstract: S. Gersten announced an algorithm that takes as input two finite sequences $\vec K=(K_1,\dots, K_N)$ and $\vec K'=(K_1',\dots, K_N')$ of conjugacy classes of finitely generated subgroups of $F_n$ and outputs: (1) $\mathsf{YES}$ or $\mathsf{NO}$ depending on whether or not there is an element $\theta\in \mathsf{Out}(F_n)$ such that $\theta(\vec K)=\vec K'$ together with one such $\theta$ if it exists and (2) a finite presentation for the subgroup of $\mathsf{Out}(F_n)$ fixing $\vec K$. S. Kalajd\v{z}ievski published a verification of this algorithm. We present a different algorithm from the point of view of Culler-Vogtmann's Outer space. New results include that the subgroup of $\mathsf{Out}(F_n)$ fixing $\vec K$ is of type $\mathsf{VF}$, an equivariant version of these results, an application, and a unified approach to such questions.


title: Latin BERT: A Contextual Language Model for Classical Philology

abstract: We present Latin BERT, a contextual language model for the Latin language, trained on 642.7 million words from a variety of sources spanning the Classical era to the 21st century. In a series of case studies, we illustrate the affordances of this language-specific model both for work in natural language processing for Latin and in using computational methods for traditional scholarship: we show that Latin BERT achieves a new state of the art for part-of-speech tagging on all three Universal Dependency datasets for Latin and can be used for predicting missing text (including critical emendations); we create a new dataset for assessing word sense disambiguation for Latin and demonstrate that Latin BERT outperforms static word embeddings; and we show that it can be used for semantically-informed search by querying contextual nearest neighbors. We publicly release trained models to help drive future work in this space.


title: Regularizing Attention Networks for Anomaly Detection in Visual Question Answering

abstract: For stability and reliability of real-world applications, the robustness of DNNs in unimodal tasks has been evaluated. However, few studies consider abnormal situations that a visual question answering (VQA) model might encounter at test time after deployment in the real-world. In this study, we evaluate the robustness of state-of-the-art VQA models to five different anomalies, including worst-case scenarios, the most frequent scenarios, and the current limitation of VQA models. Different from the results in unimodal tasks, the maximum confidence of answers in VQA models cannot detect anomalous inputs, and post-training of the outputs, such as outlier exposure, is ineffective for VQA models. Thus, we propose an attention-based method, which uses confidence of reasoning between input images and questions and shows much more promising results than the previous methods in unimodal tasks. In addition, we show that a maximum entropy regularization of attention networks can significantly improve the attention-based anomaly detection of the VQA models. Thanks to the simplicity, attention-based anomaly detection and the regularization are model-agnostic methods, which can be used for various cross-modal attentions in the state-of-the-art VQA models. The results imply that cross-modal attention in VQA is important to improve not only VQA accuracy, but also the robustness to various anomalies.


title: Cayley graphs of order 6pq are Hamiltonian

abstract: Assume G is a finite group, such that |G|= 6pq or 7pq, where p and q are distinct prime numbers, and let S be a generating set of G. We prove there is a Hamiltonian cycle in the corresponding Cayley graph Cay(G;S).


title: Composed Variational Natural Language Generation for Few-shot Intents

abstract: In this paper, we focus on generating training examples for few-shot intents in the realistic imbalanced scenario. To build connections between existing many-shot intents and few-shot intents, we consider an intent as a combination of a domain and an action, and propose a composed variational natural language generator (CLANG), a transformer-based conditional variational autoencoder. CLANG utilizes two latent variables to represent the utterances corresponding to two different independent parts (domain and action) in the intent, and the latent variables are composed together to generate natural examples. Additionally, to improve the generator learning, we adopt the contrastive regularization loss that contrasts the in-class with the out-of-class utterance generation given the intent. To evaluate the quality of the generated utterances, experiments are conducted on the generalized few-shot intent detection task. Empirical results show that our proposed model achieves state-of-the-art performances on two real-world intent detection datasets.


title: Comment on "A sensitivity study of the primary correlators used to characterize chiral-magnetically-driven charge separation'' by Magdy, Nie, Ma, and Lacey

abstract: This note points out an apparent error in the publication Phys.~Lett.~B {\bf 809} (2020) 135771 by Magdy, Nie, Ma, and Lacey.


title: Exploring Intensity Invariance in Deep Neural Networks for Brain Image Registration

abstract: Image registration is a widely-used technique in analysing large scale datasets that are captured through various imaging modalities and techniques in biomedical imaging such as MRI, X-Rays, etc. These datasets are typically collected from various sites and under different imaging protocols using a variety of scanners. Such heterogeneity in the data collection process causes inhomogeneity or variation in intensity (brightness) and noise distribution. These variations play a detrimental role in the performance of image registration, segmentation and detection algorithms. Classical image registration methods are computationally expensive but are able to handle these artifacts relatively better. However, deep learning-based techniques are shown to be computationally efficient for automated brain registration but are sensitive to the intensity variations. In this study, we investigate the effect of variation in intensity distribution among input image pairs for deep learning-based image registration methods. We find a performance degradation of these models when brain image pairs with different intensity distribution are presented even with similar structures. To overcome this limitation, we incorporate a structural similarity-based loss function in a deep neural network and test its performance on the validation split separated before training as well as on a completely unseen new dataset. We report that the deep learning models trained with structure similarity-based loss seems to perform better for both datasets. This investigation highlights a possible performance limiting factor in deep learning-based registration models and suggests a potential solution to incorporate the intensity distribution variation in the input image pairs. Our code and models are available at https://github.com/hassaanmahmood/DeepIntense.


title: Near-critical supernova outflows and their neutrino signatures

abstract: We demonstrate that the neutrino-driven outflows inside exploding core-collapse supernovae possess a special property of near-criticality, that is, they are on the edge of forming termination shocks. We derive a novel criterion for the formation of the shock, in terms of the fundamental parameters of the problem: the neutrino luminosity and energy as well as the properties of the protoneutron star. The criterion provides a unified description of the available numerical results and motivates future simulations. The property of near-criticality makes the neutrino signatures of the termination shocks a sensitive diagnostic of the physical conditions around the PNS several seconds into the explosion. The expected signal at DUNE is found to be statistically significant.


title: Password Strength Signaling: A Counter-Intuitive Defense Against Password Cracking

abstract: We introduce password strength information signaling as a novel, yet counter-intuitive, defense mechanism against password cracking attacks. Recent breaches have exposed billions of user passwords to the dangerous threat of offline password cracking attacks. An offline attacker can quickly check millions (or sometimes billions/trillions) of password guesses by comparing their hash value with the stolen hash from a breached authentication server. The attacker is limited only by the resources he is willing to invest. Our key idea is to have the authentication server store a (noisy) signal about the strength of each user password for an offline attacker to find. Surprisingly, we show that the noise distribution for the signal can often be tuned so that a rational (profit-maximizing) attacker will crack fewer passwords. The signaling scheme exploits the fact that password cracking is not a zero-sum game i.e., the attacker's profit is given by the value of the cracked passwords minus the total guessing cost. Thus, a well-defined signaling strategy will encourage the attacker to reduce his guessing costs by cracking fewer passwords. We use an evolutionary algorithm to compute the optimal signaling scheme for the defender. As a proof-of-concept, we evaluate our mechanism on several password datasets and show that it can reduce the total number of cracked passwords by up to $12\%$ (resp. $5\%$) of all users in defending against offline (resp. online) attacks.


title: Faster Algorithms for Optimal Ex-Ante Coordinated Collusive Strategies in Extensive-Form Zero-Sum Games

abstract: We focus on the problem of finding an optimal strategy for a team of two players that faces an opponent in an imperfect-information zero-sum extensive-form game. Team members are not allowed to communicate during play but can coordinate before the game. In that setting, it is known that the best the team can do is sample a profile of potentially randomized strategies (one per player) from a joint (a.k.a. correlated) probability distribution at the beginning of the game. In this paper, we first provide new modeling results about computing such an optimal distribution by drawing a connection to a different literature on extensive-form correlation. Second, we provide an algorithm that computes such an optimal distribution by only using profiles where only one of the team members gets to randomize in each profile. We can also cap the number of such profiles we allow in the solution. This begets an anytime algorithm by increasing the cap. We find that often a handful of well-chosen such profiles suffices to reach optimal utility for the team. This enables team members to reach coordination through a relatively simple and understandable plan. Finally, inspired by this observation and leveraging theoretical concepts that we introduce, we develop an efficient column-generation algorithm for finding an optimal distribution for the team. We evaluate it on a suite of common benchmark games. It is three orders of magnitude faster than the prior state of the art on games that the latter can solve and it can also solve several games that were previously unsolvable.


title: Holographic Correlators at Finite Temperature

abstract: We consider weakly-coupled QFT in AdS at finite temperature. We compute the holographic thermal two-point function of scalar operators in the boundary theory. We present analytic expressions for leading corrections due to local quartic interactions in the bulk, with an arbitrary number of derivatives and for any number of spacetime dimensions. The solutions are fixed by judiciously picking an ansatz and imposing consistency conditions. The conditions include analyticity properties, consistency with the operator product expansion, and the Kubo-Martin-Schwinger condition. For the case without any derivatives we show agreement with an explicit diagrammatic computation. The structure of the answer is suggestive of a thermal Mellin amplitude. Additionally, we derive a simple dispersion relation for thermal two-point functions which reconstructs the function from its discontinuity.


title: The Hurwitz space Picard rank conjecture for $d>g-1$

abstract: We show the simple Hurwitz space $\mathcal{H}_{g,d}$ has trivial rational Picard group for $d>g-1$ and is uniruled for $d>g+1$.


title: Optimal Provable Robustness of Quantum Classification via Quantum Hypothesis Testing

abstract: Quantum machine learning models have the potential to offer speedups and better predictive accuracy compared to their classical counterparts. However, these quantum algorithms, like their classical counterparts, have been shown to also be vulnerable to input perturbations, in particular for classification problems. These can arise either from noisy implementations or, as a worst-case type of noise, adversarial attacks. In order to develop defence mechanisms and to better understand the reliability of these algorithms, it is crucial to understand their robustness properties in presence of natural noise sources or adversarial manipulation. From the observation that measurements involved in quantum classification algorithms are naturally probabilistic, we uncover and formalize a fundamental link between binary quantum hypothesis testing and provably robust quantum classification. This link leads to a tight robustness condition which puts constraints on the amount of noise a classifier can tolerate, independent of whether the noise source is natural or adversarial. Based on this result, we develop practical protocols to optimally certify robustness. Finally, since this is a robustness condition against worst-case types of noise, our result naturally extends to scenarios where the noise source is known. Thus, we also provide a framework to study the reliability of quantum classification protocols beyond the adversarial, worst-case noise scenarios.


title: Machine learning based forecasting of significant daily returns in foreign exchange markets

abstract: Asset value forecasting has always attracted an enormous amount of interest among researchers in quantitative analysis. The advent of modern machine learning models has introduced new tools to tackle this classical problem. In this paper, we apply machine learning algorithms to hitherto unexplored question of forecasting instances of significant fluctuations in currency exchange rates. We perform analysis of nine modern machine learning algorithms using data on four major currency pairs over a 10 year period. A key contribution is the novel use of outlier detection methods for this purpose. Numerical experiments show that outlier detection methods substantially outperform traditional machine learning and finance techniques. In addition, we show that a recently proposed new outlier detection method PKDE produces best overall results. Our findings hold across different currency pairs, significance levels, and time horizons indicating the robustness of the proposed method.


title: Improving Person Re-identification with Iterative Impression Aggregation

abstract: Our impression about one person often updates after we see more aspects of him/her and this process keeps iterating given more meetings. We formulate such an intuition into the problem of person re-identification (re-ID), where the representation of a query (probe) image is iteratively updated with new information from the candidates in the gallery. Specifically, we propose a simple attentional aggregation formulation to instantiate this idea and showcase that such a pipeline achieves competitive performance on standard benchmarks including CUHK03, Market-1501 and DukeMTMC. Not only does such a simple method improve the performance of the baseline models, it also achieves comparable performance with latest advanced re-ranking methods. Another advantage of this proposal is its flexibility to incorporate different representations and similarity metrics. By utilizing stronger representations and metrics, we further demonstrate state-of-the-art person re-ID performance, which also validates the general applicability of the proposed method.


title: The first shear measurements from precision weak lensing

abstract: We present an end-to-end methodology to measure the effects of weak lensing on individual galaxy-galaxy systems exploiting their kinematic information. Using this methodology, we have measured a shear signal from the velocity fields of 18 weakly-lensed galaxies. We selected a sample of systems based only on the properties of the sources, requiring them to be bright (apparent $i$-band magnitude $ < 17.4$) and in the nearby Universe ($z < 0.15$). We have observed the velocity fields of the sources with WiFeS, an optical IFU on a 2.3m telescope, and fitted them using a simple circular motion model with an external shear. We have measured an average shear of $\langle \gamma \rangle = 0.020 \pm 0.008$ compared to a predicted $\langle \gamma_{pred} \rangle = 0.005$ obtained using median stellar-to-halo relationships from the literature. While still a statistical approach, our results suggest that this new weak lensing methodology can overcome some of the limitations of traditional stacking-based techniques. We describe in detail all the steps of the methodology and make publicly available all the velocity maps for the weakly-lensed sources used in this study.


title: Hierarchical Black-Hole Mergers in Multiple Systems: Constrain the Formation of GW190412, GW190814 and GW190521-like events

abstract: The merging black-hole (BH) binaries GW190412, GW190814 and GW190521 from the third LIGO/VIRGO observing run exhibit some extraordinary properties, including highly asymmetric masses, significant spin, and component mass in the "mass gap". These features can be explained if one or both components of the binary are the remnants of previous mergers. In this paper, we explore hierarchical mergers in multiple stellar systems, taking into account the natal kick and mass loss due to the supernova explosion (SN) on each component, as well as the merger kick received by the merger remnant. The binaries that have survived the SNe and kicks generally have too wide orbital separations to merge by themselves, but can merge with the aid of an external companion that gives rise to Lidov-Kozai oscillations. The BH binaries that consist of second-generation BHs can also be assembled in dense star clusters through binary interactions. We characterize the parameter space of these BH binaries by merger fractions in an analytical approach. Combining the distributions of the survived binaries, we further constrain the parameters of the external companion, using the analytically formulated tertiary perturbation strength. We find that to produce the three LIGO/VIRGO O3 events, the external companions must be at least a few hundreds $M_\odot$, and fall in the intermediate-mass BH and supermassive BH range. We suggest that GW190412, GW190814 and GW190521 could all be produced via hierarchical mergers in multiples, likely in a nuclear star cluster, with the final merger induced by a massive BH.


title: Analysis of tunnel failure characteristics under multiple explosion loads based on persistent homology-based machine learning

abstract: The study of tunnel failure characteristics under the load of external explosion source is an important problem in tunnel design and protection, in particular, it is of great significance to construct an intelligent topological feature description of the tunnel failure process. The failure characteristics of tunnels under explosive loading are described by using discrete element method and persistent homology-based machine learning. Firstly, the discrete element model of shallow buried tunnel was established in the discrete element software, and the explosive load was equivalent to a series of uniformly distributed loads acting on the surface by Saint-Venant principle, and the dynamic response of the tunnel under multiple explosive loads was obtained through iterative calculation. The topological characteristics of surrounding rock is studied by persistent homology-based machine learning. The geometric, physical and interunit characteristics of the tunnel subjected to explosive loading are extracted, and the nonlinear mapping relationship between the topological quantity of persistent homology, and the failure characteristics of the surrounding rock is established, and the results of the intelligent description of the failure characteristics of the tunnel are obtained. The research shows that the length of the longest Betty 1 bar code is closely related to the stability of the tunnel, which can be used for effective early warning of the tunnel failure, and an intelligent description of the tunnel failure process can be established to provide a new idea for tunnel engineering protection.


title: Photoacoustic microscopical simulation platform for large volumetric imaging using Bessel beam

abstract: We developed a Bessel-beam photoacoustic microscopical simulation platform by using the k-Wave: MATLAB toolbox. The simulation platform uses the ring slit method to generate Bessel beam. By controlling the inner and outer radius of the ring slit, the depth-of-field (DoF) of Bessel beam can be controlled. And the large volumetric image is obtained by point scanning. The simulation experiments on blood vessels was carried out to demonstrate the feasibility of the simulation plat-form. This simulation work can be used as an auxiliary tool for the research of Bessel-beam photoacoustic microscopy.


title: QR and LQ Decomposition Matrix Backpropagation Algorithms for Square, Wide, and Deep -- Real or Complex -- Matrices and Their Software Implementation

abstract: This article presents matrix backpropagation algorithms for the QR decomposition of matrices $A_{m, n}$, that are either square (m = n), wide (m < n), or deep (m > n), with rank $k = min(m, n)$. Furthermore, we derive novel matrix backpropagation results for the pivoted (full-rank) QR decomposition and for the LQ decomposition of deep input matrices. Differentiable QR decomposition offers a numerically stable, computationally efficient method to solve least squares problems frequently encountered in machine learning and computer vision. Other use cases such as graph learning and network compression are listed in the article. Software implementation across popular deep learning frameworks (PyTorch, TensorFlow, MXNet) incorporate the methods for general use within the deep learning community. Furthermore, this article aids the practitioner in understanding the matrix backpropagation methodology as part of larger computational graphs.


title: Topology Optimization through Differentiable Finite Element Solver

abstract: In this paper, a topology optimization framework utilizing automatic differentiation is presented as an efficient way for solving 2D density-based topology optimization problem by calculating gradients through the fully differentiable finite element solver. The optimization framework with the differentiable physics solver is proposed and tested on several classical topology optimization examples. The differentiable solver is implemented in Julia programming language and can be automatically differentiated in reverse mode to provide the pullback functions of every single operation. The entire end-to-end gradient information can be then backed up by utilizing chain rule. This framework incorporates a generator built from convolutional layers with a set of learnable parameters to propose new designs for every iteration. Since the whole process is differentiable, the parameters of the generator can be updated using any optimization algorithm given the gradient information from automatic differentiation. The proposed optimization framework is demonstrated on designing a half MBB beam and compared to the results with the ones from the efficient 88-line code. By only changing the objective function and the boundary conditions, it can run an optimization for designing a compliant mechanism, e.g. a force inverter where the output displacement is in the opposite direction of the input.


title: Contextual Bandits for adapting to changing User preferences over time

abstract: Contextual bandits provide an effective way to model the dynamic data problem in ML by leveraging online (incremental) learning to continuously adjust the predictions based on changing environment. We explore details on contextual bandits, an extension to the traditional reinforcement learning (RL) problem and build a novel algorithm to solve this problem using an array of action-based learners. We apply this approach to model an article recommendation system using an array of stochastic gradient descent (SGD) learners to make predictions on rewards based on actions taken. We then extend the approach to a publicly available MovieLens dataset and explore the findings. First, we make available a simplified simulated dataset showing varying user preferences over time and how this can be evaluated with static and dynamic learning algorithms. This dataset made available as part of this research is intentionally simulated with limited number of features and can be used to evaluate different problem-solving strategies. We will build a classifier using static dataset and evaluate its performance on this dataset. We show limitations of static learner due to fixed context at a point of time and how changing that context brings down the accuracy. Next we develop a novel algorithm for solving the contextual bandit problem. Similar to the linear bandits, this algorithm maps the reward as a function of context vector but uses an array of learners to capture variation between actions/arms. We develop a bandit algorithm using an array of stochastic gradient descent (SGD) learners, with separate learner per arm. Finally, we will apply this contextual bandit algorithm to predicting movie ratings over time by different users from the standard Movie Lens dataset and demonstrate the results.


title: Imprints of Axion Superradiance in the CMB

abstract: Light axions ($m_a \lesssim 10^{-10}$ eV) can form dense clouds around rapidly rotating astrophysical black holes via a mechanism known as rotational superradiance. The coupling between axions and photons induces a parametric resonance, arising from the stimulated decay of the axion cloud, which can rapidly convert regions of large axion number densities into an enormous flux of low-energy photons. In this work we consider the phenomenological implications of a superradiant axion cloud undergoing resonant decay. We show that the low energy photons produced from such events will be absorbed over cosmologically short distances, potentially inducing massive shockwaves that heat and ionize the IGM over Mpc scales. These shockwaves may leave observable imprints in the form of anisotropic spectral distortions or inhomogeneous features in the optical depth.


title: Quenching Mechanisms of Photon Superradiance

abstract: Rapidly rotating black holes are known to develop instabilities in the presence of a sufficiently light boson, a process which becomes efficient when the boson's Compton wavelength is roughly the size of the black hole. This phenomenon, known as black hole superradiance, generates an exponentially growing boson cloud at the expense of the rotational energy of the black hole. For astrophysical black holes with $M \sim \mathcal{O}(10) \, M_\odot$, the superradiant condition is achieved for bosons with $m_b \sim \mathcal{O}(10^{-11} ) \, {\rm eV}$; intriguingly, photons traversing the intergalactic medium (IGM) acquire an effective mass (due to their interactions with the ambient plasma) which naturally resides in this range. The implications of photon superradiance, i.e. the evolution of the superradiant photon cloud and ambient plasma in the presence of scattering and particle production processes, have yet to be thoroughly investigated. Here, we enumerate and discuss a number of different processes capable of quenching the growth of the photon cloud, including particle interactions with the ambient electrons and back-reactions on the effective mass (arising e.g. from thermal effects, pair-production, ionization of of the local background, and modifications to the dispersion relation from strong electric fields). This work naturally serves as a guide in understanding how interactions may allow light exotic bosons to evade superradiant constraints.


title: Correlated Insulating Phases in the Twisted Bilayer Graphene

abstract: We review analytical and numerical studies of correlated insulating states in twisted bilayer graphene, focusing on real-space lattice models constructions and their unbiased quantum many-body solutions. We show that by constructing localized Wannier states for the narrow bands, the projected Coulomb interactions can be approximated by interactions of cluster charges with assisted nearest neighbor hopping terms. With the interaction part only, the Hamiltonian is $SU(4)$ symmetric considering both spin and valley degrees of freedom. In the strong coupling limit where the kinetic terms are neglected, the ground states are found to be in the $SU(4)$ manifold with degeneracy. The kinetic terms, treated as perturbation, break this large $SU(4)$ symmetry and propel the appearance of intervalley coherent state, quantum topological insulators and other symmetry-breaking insulating states. We first present the theoretical analysis of moir\'e lattice model construction and then show how to solve the model with large-scale quantum Monte Carlo simulations in an unbiased manner. We further provide potential directions such that from the real-space model construction and its quantum many-body solutions how the perplexing yet exciting experimental discoveries in the correlation physics of twisted bilayer graphene can be gradually understood. This review will be helpful for the readers to grasp the fast growing field of the model study of twisted bilayer graphene.


title: Topological Gravity as the Early Phase of Our Universe

abstract: Motivated by string dualities we propose topological gravity as the early phase of our universe. The topological nature of this phase naturally leads to the explanation of many of the puzzles of early universe cosmology. A concrete realization of this scenario using Witten's four dimensional topological gravity is considered. This model leads to the power spectrum of CMB fluctuations which is controlled by the conformal anomaly coefficients $a,c$. In particular the strength of the fluctuation is controlled by $1/a$ and its tilt by $c g^2$ where $g$ is the coupling constant of topological gravity. The positivity of $c$, a consequence of unitarity, leads automatically to an IR tilt for the power spectrum. In contrast with standard inflationary models, this scenario predicts $\mathcal{O}(1)$ non-Gaussianities for four- and higher-point correlators and the absence of tensor modes in the CMB fluctuations.


title: SuperBoRG: Exploration of point sources at $z\sim8$ in HST parallel fields

abstract: To extend the search for quasars in the epoch of reionization beyond the tip of the luminosity function, we explore point source candidates at redshift $z\sim8$ in SuperBoRG, a compilation of $\sim$0.4deg$^2$ archival medium-deep ($m_{\rm F160W}\sim 26.5$ABmag, 5$\sigma$) parallel IR images taken with the Hubble Space Telescope (HST). Initial candidates are selected by using the Lyman-break technique. We then carefully analyze source morphology, and robustly identify 3 point sources at $z\sim8$. Photometric redshift analysis reveals that they are preferentially fit by extra-galactic templates, and we conclude that they are unlikely to be low-$z$ interlopers, including brown dwarfs. A clear IRAC ch2 flux excess is seen in one of the point sources, which is expected if the source has strong H$\beta$+[O III] emission with rest-frame equivalent width of $\sim3000$AA. Deep spectroscopic data taken with Keck/MOSFIRE, however, do not reveal Ly$\alpha$ emission from the object. In combination with the estimated H$\beta$+[O III] equivalent width, we place an upper limit on its Ly$\alpha$ escape fraction $f_{\rm esc, Ly\alpha}< 2 \%$. We estimate the number density of these point sources $\sim1\times10^{-6}$Mpc$^{-3}$mag$^{-1}$ at $M_{\rm UV}\sim-23$mag. The final interpretation of our results remains inconclusive: extrapolation from low-$z$ studies of $faint$ quasars suggests that $>100\times$ survey volume may be required to find one of this luminosity. The James Webb Space Telescope will be able to conclusively determine the nature of our luminous point source candidates, while the Roman Space Telescope will probe $\sim 200$ times the area of the sky with the same observing time considered in this HST study.


title: Evolution of Stellar Feedback in HII Regions

abstract: Stellar feedback is needed to produce realistic giant molecular clouds (GMCs) and galaxies in simulations, but due to limited numerical resolution, feedback must be implemented using subgrid models. Observational work is an important means to test and anchor these models, but limited studies have assessed the relative dynamical role of multiple feedback modes, particularly at the earliest stages of expansion when HII regions are still deeply embedded. In this paper, we use multiwavelength (radio, infrared, and X-ray) data to measure the pressures associated with direct radiation ($P_{\rm dir}$), dust-processed radiation ($P_{\rm IR}$), photoionization heating ($P_{\rm HII}$), and shock-heating from stellar winds ($P_{\rm X}$) in a sample of 106 young, resolved HII regions with radii $\lesssim$0.5 pc to determine how stellar feedback drives their expansion. We find that the $P_{\rm IR}$ dominates in 84% of the regions and that the median $P_{\rm dir}$ and $P_{\rm HII}$ are smaller than the median $P_{\rm IR}$ by factors of $\approx 6$ and $\approx 9$, respectively. Based on the radial dependences of the pressure terms, we show that HII regions transition from $P_{\rm IR}$-dominated to $P_{\rm HII}$-dominated at radii of $\sim$3 pc. We find a median trapping factor of $f_{\rm trap} \sim$ 8 without any radial dependence for the sample, suggesting this value can be adopted in sub-grid feedback models. Moreover, we show that the total pressure is greater than the gravitational pressure in the majority of our sample, indicating that the feedback is sufficient to expel gas from the regions.


title: Theoretical uncertainties for cosmological first-order phase transitions

abstract: We critically examine the magnitude of theoretical uncertainties in perturbative calculations of first-order phase transitions, using the Standard Model effective field theory as our guide. In the usual daisy-resummed approach, we find large uncertainties due to renormalisation scale dependence, which amount to two to three orders-of-magnitude uncertainty in the peak gravitational wave amplitude, relevant to experiments such as LISA. Alternatively, utilising dimensional reduction in a more sophisticated perturbative approach drastically reduces this scale dependence, pushing it to higher orders. Further, this approach resolves other thorny problems with daisy resummation: it is gauge invariant which is explicitly demonstrated for the Standard Model, and avoids an uncontrolled derivative expansion in the bubble nucleation rate.


title: Positive univariate trace polynomials

abstract: A univariate trace polynomial is a polynomial in a variable x and formal trace symbols Tr(x^j). Such an expression can be naturally evaluated on matrices, where the trace symbols are evaluated as normalized traces. This paper addresses global and constrained positivity of univariate trace polynomials on symmetric matrices of all finite sizes. A tracial analog of Artin's solution to Hilbert's 17th problem is given: a positive semidefinite univariate trace polynomial is a quotient of sums of products of squares and traces of squares of trace polynomials.


title: On the formation of GW190814

abstract: The LIGO-Virgo collaboration recently reported a puzzling event, GW190814, with component masses of 23 and 2.6 solar masses. Motivated by the relatively small rate of such a coalescence and the fact that the mass of the secondary is close to the total mass of known binary neutron star (bNS) systems, we propose that GW190814 was a second-generation merger from a hierarchical triple system, i.e., the remnant from the bNS coalescence was able to merge again with the 23 Msun black hole (BH) tertiary. We show that this occurs at a sufficiently high probability provided that the semimajor axis of the outer orbit is less than a few AU at the time of bNS coalescence. It remains to be explored whether the conditions for the formation of such tight triple systems are commonly realized in the Universe, especially in low metallicity (less than 0.1 solar) environments. Our model provides a number of predictions. (1) The spin of the secondary in GW190814-like systems is 0.6 to 0.7. (2) The component mass distribution from a large sample of LIGO sources should have a narrow peak between 2.5 and ~3.5 Msun, whereas the range between ~3.5 and ~5 Msun stays empty (provided that stellar evolution does not generate such BHs in the "mass gap"). (3) About 90% (10%) of GW190814-like events have an eccentricity of e > 2x10^{-3} (> 0.1) near gravitational wave frequency of 10 mHz. (4) A significant fraction (> 10%) of bNS mergers should have signatures of a massive tertiary at a distance of a few AU in the gravitational waveform. (5) There are 10^5 undetected radio-quiet bNS systems with a massive BH tertiary in the Milky Way.


title: Dependence of the ratio of total to visible mass on observable properties of SDSS MaNGA galaxies

abstract: Using spectroscopic observations from the SDSS MaNGA DR15, we study the relationships between the ratio of total to visible mass and various parameters characterizing the evolution and environment of the galaxies in this survey. Measuring the rotation curve with the relative velocities of the H-alpha emission line across the galaxy's surface, we estimate each galaxy's total mass. We develop a statistical model to describe the observed distribution in the ratio of total to visible mass, from which we extract a galaxy's most probable value for this mass ratio. We present the relationships between the ratio of total to visible mass and several characteristics describing galactic evolution, such as luminosity, gas-phase metallicity, distance to the nearest neighbor, and position on the color-magnitude diagram. We find that faint galaxies with low metallicities, typically in the blue cloud, have the highest ratios of total to visible mass. Those galaxies that exhibit the second highest ratios of total to visible mass are the brightest with high metallicities, typically members of the red sequence or green valley. AGN activity is likely both the quenching mechanism and the feedback that drives the mass ratio higher in these massive galaxies. Finally, we introduce a parametrization that predicts a galaxy's ratio of total to visible mass based on its photometry and luminosity.


title: Electron-phonon hydrodynamics

abstract: We develop the theory of hydrodynamics of an isotropic Fermi liquid of electrons coupled to isotropic acoustic phonons, assuming that umklapp processes may be neglected. At low temperatures, the fluid is approximately Galilean invariant; at high temperatures, the fluid is nearly relativistic; at intermediate temperatures, there are seven additional temperature regimes with unconventional thermodynamic properties and hydrodynamic transport coefficients in a three-dimensional system. We predict qualitative signatures of electron-phonon fluids in incoherent transport coefficients, shear and Hall viscosity, and plasmon dispersion relations. Our theory may be relevant for numerous quantum materials where strong electron-phonon scattering has been proposed to underlie a hydrodynamic regime, including $\mathrm{WTe}_2$, $\mathrm{WP}_2$, and $\mathrm{PtSn}_4$.


title: The MOSDEF Survey: The First Direct Measurements of the Nebular Dust Attenuation Curve at High Redshift

abstract: We use a sample of 532 star-forming galaxies at redshifts $z\sim 1.4-2.6$ with deep rest-frame optical spectra from the MOSFIRE Deep Evolution Field (MOSDEF) survey to place the first constraints on the nebular attenuation curve at high redshift. Based on the first five low-order Balmer emission lines detected in the composite spectra of these galaxies (${\rm H\alpha}$ through ${\rm H\epsilon}$), we derive a nebular attenuation curve that is similar in shape to that of the Galactic extinction curve, suggesting that the dust covering fraction and absorption/scattering properties along the lines-of-sight to massive stars at high redshift are similar to those of the average Milky Way sightline. The curve derived here implies nebular reddening values that are on average systematically larger than those derived for the stellar continuum. In the context of stellar population synthesis models that include the effects of stellar multiplicity, the difference in reddening of the nebular lines and stellar continuum may imply molecular cloud crossing timescales that are a factor of $\gtrsim 3\times$ longer than those inferred for local molecular clouds, star-formation rates that are constant or increasing with time such that newly-formed and dustier OB associations always dominate the ionizing flux, and/or that the dust responsible for reddening the nebular emission may be associated with non-molecular (i.e., ionized and neutral) phases of the ISM. Our analysis points to a variety of investigations of the nebular attenuation curve that will be enabled with the next generation of ground- and space-based facilities.


title: Impurity induced magnetic ordering in Sr$_2$RuO$_4$

abstract: Ti substituting Ru in Sr$_2$RuO$_4$ in small concentrations induces incommensurate spin density wave order with a wave vector $\boldsymbol{Q} \simeq (2 \pi /3, 2 \pi /3)$ corresponding to the nesting vector of two out of three Fermi surface sheets. We consider a microscopic model for these two bands and analyze the correlation effects leading to magnetic order through non-magnetic Ti-doping. For this purpose we use a position dependent mean field approximation for the microscopic model and a phenomenological Ginzburg-Landau approach, which both deliver consistent results and allow us to examine the inhomogeneous magnetic order. Spin-orbit coupling additionally leads to spin currents around each impurity, which in combination with the magnetic polarization produce a charge current pattern. This is also discussed within a gauge field theory in both charge and spin channel. This spin-orbit coupling effect causes an interesting modification of the magnetic structure, if currents run through the system. Our findings allow a more detailed analysis of the experimental data for Sr$_{2}$Ru$_{1-x}$Ti$_{x}$O$_{4}$. In particular, we find that the available measurements are consistent with our theoretical predictions.


title: Random Field Ising Model and Parisi-Sourlas Supersymmetry. Part II. Renormalization Group

abstract: We revisit perturbative RG analysis in the replicated Landau-Ginzburg description of the Random Field Ising Model near the upper critical dimension 6. Working in a field basis with manifest vicinity to a weakly-coupled Parisi-Sourlas supersymmetric fixed point (Cardy, 1985), we look for interactions which may destabilize the SUSY RG flow and lead to the loss of dimensional reduction. This problem is reduced to studying the anomalous dimensions of "leaders" -- lowest dimension parts of $S_n$-invariant perturbations in the Cardy basis. Leader operators are classified as non-susy-writable, susy-writable or susy-null depending on their symmetry. Susy-writable leaders are additionally classified as belonging to superprimary multiplets transforming in particular $\textrm{OSp}(d | 2)$ representations. We enumerate all leaders up to 6d dimension $\Delta = 12$, and compute their perturbative anomalous dimensions (up to two loops). We thus identify two perturbations (with susy-null and non-susy-writable leaders) becoming relevant below a critical dimension $d_c \approx 4.2$ - $4.7$. This supports the scenario that the SUSY fixed point exists for all $3 < d \leq 6$, but becomes unstable for $d < d_c$.


title: On the mathematical structure of quantum models of computation based on Hamiltonian minimisation

abstract: Determining properties of ground states of spin Hamiltonians remains a topic of central relevance connecting disciplines of mathematical, theoretical and applied physics. In the last few decades, ground state properties of physical systems have been increasingly considered as computational resources. This thesis develops parts of the mathematical apparatus to create (program) ground states relevant for quantum and classical computation. The core findings presented in this thesis (now over a decade old) including that (i) logic operations (gates) can be embedded into the low-energy sector of Ising spins whereas three (and higher) body Ising interaction terms can be mimicked through the minimisation of 2- and 1-body Ising terms yet require the introduction of slack spins; (ii) Perturbation theory gadgets enable the emulation of interactions not present in a given Hamiltonian, e.g.~$YY$ interactions can be realized from $ZZ$, $XX$, the thesis contains a result from 2007 showing that physically relevant two-body model Hamiltonian's have a QMA-hard ground state energy decision problem. Merged with other results, this established that these models provide a universal resource for ground state quantum computation. More recent findings include the proof that an idealised version of the contemporary variational approach to quantum algorithms enables a universal model of quantum computation. Other related results are also presented as they relate to ground state quantum computation and the minimisation of Hamiltonians by quantum circuits. The topics covered include: Ising model reductions, stochastic versus quantum processes on graphs, quantum gates and circuits as tensor networks, variational quantum algorithms and Hamiltonian gadgets.


title: Impurity induced double transitions for accidentally degenerate unconventional pairing states

abstract: Non-magnetic impurities can lift the accidental degeneracy of unconventional pairing states, such as the $(d + i g)$-wave state recently proposed for Sr$_2$RuO$_4$. This type of effect would lead to a superconducting double transition upon impurity doping. In a model calculation it is shown how this behavior depends on material parameters and how it could be detected.


title: S-folds, String Junctions, and 4D $\mathcal{N} = 2$ SCFTs

abstract: S-folds are a non-perturbative generalization of orientifold 3-planes which figure prominently in the construction of 4D $\mathcal{N} = 3$ SCFTs and have also recently been used to realize examples of 4D $\mathcal{N} = 2$ SCFTs. In this paper we develop a general procedure for reading off the flavor symmetry experienced by D3-branes probing 7-branes in the presence of an S-fold. We develop an S-fold generalization of orientifold projection which applies to non-perturbative string junctions. This procedure leads to a different 4D flavor symmetry algebra depending on whether the S-fold supports discrete torsion. We also show that this same procedure allows us to read off admissible representations of the flavor symmetry in the associated 4D $\mathcal{N} = 2$ SCFTs. Furthermore this provides a prescription for how to define F-theory in the presence of S-folds with discrete torsion.


title: The First Robust Constraints on the Relationship Between Dust-to-Gas Ratio and Metallicity in Luminous Star-forming Galaxies at High Redshift

abstract: We present rest-optical spectroscopic properties of a sample of four galaxies in the Atacama Large Millimeter/submillimeter Array Hubble Ultra Deep Field (ALMA HUDF). These galaxies span the redshift range $1.41 \leq z \leq 2.54$ and the stellar mass range $10.36\leq\log(M_*/{\rm M}_{\odot})\leq10.91$. They have existing far-infrared and radio measurements of dust-continuum and molecular gas emission from which bolometric star-formation rates (SFRs), dust masses, and molecular gas masses have been estimated. We use new $H$- and $K$-band near-infrared spectra from the Keck/MOSFIRE spectrograph to estimate SFRs from dust-corrected H$\alpha$ emission (SFR(H$\alpha$)) and gas-phase oxygen abundances from the ratio [NII]$\lambda 6584$/H$\alpha$. We find that the dust-corrected SFR(H$\alpha$) is systematically lower than the bolometric SFR by a factor of several, and measure gas-phase oxygen abundances in a narrow range, $12+\log(\mbox{O/H})=8.59-8.69$ ($0.8-1.0\: (\mbox{O/H})_{\odot}$). Relative to a large $z\sim 2$ comparison sample from the MOSDEF survey, the ALMA HUDF galaxies scatter roughly symmetrically around the best-fit linear mass-metallicity relation, providing tentative evidence for a flattening in the SFR dependence of metallicity at high stellar mass. Combining oxygen abundances with estimates of dust and molecular gas masses, we show that there is no significant evolution in the normalization of the dust-to-gas ratio DGR vs. metallicity relation from $z\sim0$ to $z\sim2$. This result is consistent with some semi-analytic models and cosmological simulations describing the evolution of dust in galaxies. Tracing the actual form of the DGR vs. metallicity relation at high redshift now requires combined measurements of dust, gas, and metallicity over a significantly wider range in metallicity.