title: Is there weak birefringence of light in vacuo?

abstract: There are numerous reasons to study modifications of general relativity and the Standard Model of particle physics, ranging from modelling inflation to exploring galaxy rotation curves and the nature of dark matter. Here we study the most general linear theory of electromagnetism, which admits vacuum birefringence, and derive weak gravitational field equations for the underlying area metric spacetime geometry. We discuss the weak gravitational field sourced by a point mass in an area metric spacetime and find first order corrections to the linearized Schwarzschild metric of general relativity.


title: Random Sampling for Distributed Coded Matrix Multiplication

abstract: Matrix multiplication is a fundamental building block for large scale computations arising in various applications, including machine learning. There has been significant recent interest in using coding to speed up distributed matrix multiplication, that are robust to stragglers (i.e., machines that may perform slower computations). In many scenarios, instead of exact computation, approximate matrix multiplication, i.e., allowing for a tolerable error is also sufficient. Such approximate schemes make use of randomization techniques to speed up the computation process. In this paper, we initiate the study of approximate coded matrix multiplication, and investigate the joint synergies offered by randomization and coding. Specifically, we propose two coded randomized sampling schemes that use (a) codes to achieve a desired recovery threshold and (b) random sampling to obtain approximation of the matrix multiplication. Tradeoffs between the recovery threshold and approximation error obtained through random sampling are investigated for a class of coded matrix multiplication schemes.


title: Fractional Exclusion Statistics as an Occupancy Process

abstract: We show the possibility of describing fractional exclusion statistics (FES) as an occupancy process with global and \textit{local} exclusion constraints. More specifically, using combinatorial identities, we show that FES can be viewed as "ball-in-box" models with appropriate weighting on the set of occupancy configurations (merely represented by a partition of the total number of particles). As a consequence, the following exact statement of the generalized Pauli principle is derived: for an $N$-particles system exhibiting FES of extended parameter \mbox{$g=q/r$} ($q$ and $r$ are co-prime integers such that $0 < q \leq r$), (1)~the allowed occupation number of a state is less than or equal to $r-q+1$ and \emph{not} to $1/g$ whenever $q\neq 1$ and (2)~the global occupancy shape is admissible if the number of states occupied by at least two particles is less than or equal to $(N-1)/r$ ($N \equiv 1 \mod r$). These counting rules allow distinguishing infinitely many families of FES systems depending on the parameter $g$ and the size $N$.


title: Harvey: A Greybox Fuzzer for Smart Contracts

abstract: We present Harvey, an industrial greybox fuzzer for smart contracts, which are programs managing accounts on a blockchain. Greybox fuzzing is a lightweight test-generation approach that effectively detects bugs and security vulnerabilities. However, greybox fuzzers randomly mutate program inputs to exercise new paths; this makes it challenging to cover code that is guarded by narrow checks, which are satisfied by no more than a few input values. Moreover, most real-world smart contracts transition through many different states during their lifetime, e.g., for every bid in an auction. To explore these states and thereby detect deep vulnerabilities, a greybox fuzzer would need to generate sequences of contract transactions, e.g., by creating bids from multiple users, while at the same time keeping the search space and test suite tractable. In this experience paper, we explain how Harvey alleviates both challenges with two key fuzzing techniques and distill the main lessons learned. First, Harvey extends standard greybox fuzzing with a method for predicting new inputs that are more likely to cover new paths or reveal vulnerabilities in smart contracts. Second, it fuzzes transaction sequences in a targeted and demand-driven way. We have evaluated our approach on 27 real-world contracts. Our experiments show that the underlying techniques significantly increase Harvey's effectiveness in achieving high coverage and detecting vulnerabilities, in most cases orders-of-magnitude faster; they also reveal new insights about contract code.


title: Uncertainty quantification of molecular property prediction using Bayesian neural network models

abstract: In chemistry, deep neural network models have been increasingly utilized in a variety of applications such as molecular property predictions, novel molecule designs, and planning chemical reactions. Despite the rapid increase in the use of state-of-the-art models and algorithms, deep neural network models often produce poor predictions in real applications because model performance is highly dependent on the quality of training data. In the field of molecular analysis, data are mostly obtained from either complicated chemical experiments or approximate mathematical equations, and then quality of data may be questioned.In this paper, we quantify uncertainties of prediction using Bayesian neural networks in molecular property predictions. We estimate both model-driven and data-driven uncertainties, demonstrating the usefulness of uncertainty quantification as both a quality checker and a confidence indicator with the three experiments. Our results manifest that uncertainty quantification is necessary for more reliable molecular applications and Bayesian neural network models can be a practical approach.


title: To Warn or Not to Warn: Online Signaling in Audit Games

abstract: Routine operational use of sensitive data is often governed by law and regulation. For instance, in the medical domain, there are various statues at the state and federal level that dictate who is permitted to work with patients' records and under what conditions. To screen for potential privacy breaches, logging systems are usually deployed to trigger alerts whenever suspicious access is detected. However, such mechanisms are often inefficient because 1) the vast majority of triggered alerts are false positives, 2) small budgets make it unlikely that a real attack will be detected, and 3) attackers can behave strategically, such that traditional auditing mechanisms cannot easily catch them. To improve efficiency, information systems may invoke signaling, so that whenever a suspicious access request occurs, the system can, in real time, warn the user that the access may be audited. Then, at the close of a finite period, a selected subset of suspicious accesses are audited. This gives rise to an online problem in which one needs to determine 1) whether a warning should be triggered and 2) the likelihood that the data request event will be audited. In this paper, we formalize this auditing problem as a Signaling Audit Game (SAG), in which we model the interactions between an auditor and an attacker in the context of signaling and the usability cost is represented as a factor of the auditor's payoff. We study the properties of its Stackelberg equilibria and develop a scalable approach to compute its solution. We show that a strategic presentation of warnings adds value in that SAGs realize significantly higher utility for the auditor than systems without signaling. We illustrate the value of the proposed auditing model and the consistency of its advantages over existing baseline methods.


title: Resonance $d^*(2380)$ and higher isospin states

abstract: A new isoscalar state in the two-baryon system with mass 2380 MeV and width 80 MeV denoted now $d^*(2380)$ has been detected in the experiments at the Juelich Cooler Synchrotron (COSY). Existence or influence of states with higher isospin is a subject of the experiment for studing of the $\pi^+\pi^-$ production in $pp$ collisions. Calculations taking into account isotensor dibaryon resonance in the $\Delta N$ with $I(J^p) = 2(1^+)$ provide a good description of the $pp\to pp\pi^+\pi^-$ total and differential cross sections.


title: Global analysis of synchronization performance for power systems: bridging the theory-practice gap

abstract: The issue of synchronization in the power grid is receiving renewed attention, as new energy sources with different dynamics enter the picture. Global metrics have been proposed to evaluate performance and analyzed under highly simplified assumptions. In this paper, we extend this approach to more realistic network scenarios and more closely connect it with metrics used in power engineering practice. In particular, our analysis covers networks with generators of heterogeneous ratings and richer dynamic models of machines. Under a suitable proportionality assumption in the parameters, we show that the step response of bus frequencies can be decomposed in two components. The first component is a {system-wide frequency} that captures the aggregate grid behavior, and the residual component represents the individual bus frequency deviations from the aggregate. Using this decomposition, we define --and compute in closed form-- several metrics that capture dynamic behaviors that are of relevance for power engineers. In particular, using the \emph{system frequency}, we define industry-style metrics (Nadir, RoCoF) that are evaluated through a representative machine. We further use the norm of the residual component to define a \emph{synchronization cost} that can appropriately quantify inter-area oscillations. Finally, we employ robustness analysis tools to evaluate deviations from our proportionality assumption. We show that the system frequency still captures the grid steady-state deviation, and becomes an accurate reduced-order model of the grid as the network connectivity grows. Simulation studies with practically relevant data are included to validate the theory and further illustrate the impact of network structure and parameters on synchronization. Our analysis gives conclusions of practical interest, sometimes challenging the conventional wisdom in the field.


title: Constraints on a Bianchi type I spacetime extension of the standard $\Lambda$CDM model

abstract: We consider the simplest anisotropic generalization, as a correction, to the standard $\Lambda$CDM model, by replacing the spatially flat Robertson-Walker metric by the Bianchi type-I metric, which brings in a new term $\Omega_{\sigma 0}a^{-6}$ (mimicking the stiff fluid) in the average expansion rate $H(a)$ of the Universe. From Hubble and Pantheon data, relevant to the late Universe ($z\lesssim 2.4$), we obtain the constraint $\Omega_{\sigma0}\lesssim10^{-3}$, in line with the model-independent constraints. When the baryonic acoustic oscillations and cosmic microwave background (CMB) data are included, the constraint improves by 12 orders of magnitude, i.e., $\Omega_{\sigma0}\lesssim10^{-15}$. We find that this constraint could alter neither the matter-radiation equality redshift nor the peak of the matter perturbations. Demanding that the expansion anisotropy has no significant effect on the standard big bang nucleosynthesis (BBN), we find the constraint $\Omega_{\sigma0}\lesssim10^{-23}$. We show explicitly that the constraint from BBN renders the expansion anisotropy irrelevant to make a significant change in the CMB quadrupole temperature, whereas the constraint from the cosmological data in our model provides the temperature change up to $\sim11\, \rm mK$, though it is much beyond the CMB quadrupole temperature.


title: Extreme CO Isotopologue Line Ratios in ULIRGS: Evidence for a top-heavy IMF

abstract: We present high-resolution ALMA observations of the C$^{18}$O, $^{13}$CO and $^{12}$CO $J$=1-0 isotopologues in 3 nearby ultra-luminous infrared galaxies (ULIRGS; Arp 220, IRAS 13120-5453, IRAS 17208-0014) and 1 nearby post-merger galaxy (NGC 2623). In all 4 systems, we measure high $^{12}$CO/C$^{18}$O and $^{12}$CO/$^{13}$CO integrated line ratios while the $^{13}$CO/C$^{18}$O ratio is observed to be extremely low in comparison to typical star-forming disks, supporting previous work. We investigate whether these unusual line ratios are due to dynamical effects, astrochemistry within the gas, or nucleosynthesis in stars. Assuming both lines are optically thin, low $^{13}$CO/C$^{18}$O values suggest that C$^{18}$O is more abundant than $^{13}$CO in the interstellar medium of these systems. A plausible explanation is that local ULIRGs and their progeny have an excess in massive star formation; in other words, they are producing a top-heavy stellar initial mass function.


title: Fractons from vector gauge theory

abstract: Motivated by the prediction of fractonic topological defects in a quantum crystal, we utilize a reformulated elasticity duality to derive a description of a fracton phase in terms of coupled vector U(1) gauge theories. The fracton order and restricted mobility emerge as a result of an unusual Gauss law where electric field lines of one gauge field act as sources of charge for others. At low energies this vector gauge theory reduces to the previously studied fractonic symmetric tensor gauge theory. We construct the corresponding lattice model and a number of generalizations, which realize fracton phases via a condensation of string-like excitations built out of charged particles, analogous to the p-string condensation mechanism of the gapped X-cube fracton phase.


title: Dark Matter Targets for Axion-like Particle Searches

abstract: Many existing and proposed experiments targeting QCD axion dark matter (DM) can also search for a broad class of axion-like particles (ALPs). We analyze the experimental sensitivities to electromagnetically-coupled ALP DM in different cosmological scenarios with the relic abundance set by the misalignment mechanism. We obtain benchmark DM targets for the standard thermal cosmology, a pre-nucleosynthesis period of early matter domination, and a period of kination. These targets are theoretically simple and assume $\mathcal{O}(1)$ misalignment angles, avoiding fine-tuning of the initial conditions. We find that some experiments will have sensitivity to these ALP DM targets before they are sensitive to the QCD axion, and others can potentially reach interesting targets below the QCD band. The ALP DM abundance also depends on the origin of the ALP mass. Temperature-dependent masses that are generated by strong dynamics (as for the QCD axion) correspond to DM candidates with smaller decay constants, resulting in even better detection prospects.


title: Interfering trajectories in experimental quantum-enhanced stochastic simulation

abstract: Simulations of stochastic processes play an important role in the quantitative sciences, enabling the characterisation of complex systems. Recent work has established a quantum advantage in stochastic simulation, leading to quantum devices that execute a simulation using less memory than possible by classical means. To realise this advantage it is essential that the memory register remains coherent, and coherently interacts with the processor, allowing the simulator to operate over many time steps. Here we report a multi-time-step experimental simulation of a stochastic process using less memory than the classical limit. A key feature of the photonic quantum information processor is that it creates a quantum superposition of all possible future trajectories that the system can evolve into. This superposition allows us to introduce, and demonstrate, the idea of comparing statistical futures of two classical processes via quantum interference. We demonstrate interference of two 16-dimensional quantum states, representing statistical futures of our process, with a visibility of 0.96 $\pm$ 0.02.


title: Prospects for Observing the low-density Cosmic Web in Lyman-alpha Emission

abstract: Mapping the intergalactic medium (IGM) in Lyman-$\alpha$ emission would yield unprecedented tomographic information on the large-scale distribution of baryons and potentially provide new constraints on the UV background and various feedback processes relevant to galaxy formation. Here, we use a cosmological hydrodynamical simulation to examine the Lyman-$\alpha$ emission of the IGM due to collisional excitations and recombinations in the presence of a UV background. We focus on gas in large-scale-structure filaments in which Lyman-$\alpha$ radiative transfer effects are expected to be moderate. At low density the emission is primarily due to fluorescent re-emission of the ionising UV background due to recombinations, while collisional excitations dominate at higher densities. We discuss prospects of current and future observational facilities to detect this emission and find that the emission of filaments of the cosmic web will typically be dominated by the halos and galaxies embedded in them, rather than by the lower density filament gas outside halos. Detecting filament gas directly would require a very long exposure with a MUSE-like instrument on the ELT. Our most robust predictions that act as lower limits indicate this would be slightly less challenging at lower redshifts ($z \lesssim 4$). We also find that there is a large amount of variance between fields in our mock observations. High-redshift protoclusters appear to be the most promising environment to observe the filamentary IGM in Lyman-$\alpha$ emission.


title: AGN in Dusty Starbursts at Z=2: Feedback Still To Kick In

abstract: We investigate a sample of 152 dusty sources at 1:5 < z < 2:5 to understand the connection of enhanced Star-Formation-Rate (SFR) and Black-Hole-Accretion-Rate (BHAR). The sources are Herschel-selected, having stellar masses M*>10^10Msun and SFR (100-1000Msun/yr) elevated(>4?) above the star-forming "main sequence", classifying them as Starbursts (SB). Through a multiwavelength fitting approach (including a dusty torus component), we divided the sample into active SBs (dominated by an AGN emission, SBs-AGN, ? 23% of the sample) and purely star-forming SBs (SBs-SFR). We visually inspected their HST/UV-restframe maps: SBs-SFR are generally irregular and composite systems; ? 50% of SBs-AGN are instead dominated by regular compact morphologies. We then found archival ALMA continuum counterparts for 33 galaxies (12 SBs-AGN and 21 SBs-SFR). For these sources we computed dust masses, and, with standard assumptions, we also guessed total molecular gas-masses. SBs turn to be gas rich systems (fgas = Mgas=Mgas/(Mgas+M*) \sim 20%-70%), and the gas fractions of the two SB classes are very similar (fgas = 43 +/-4% and fgas = 42+/- 2%). Our results show that SBs are consistent with a mixture of: 1) highly star-forming merging systems (dominating the SBs-SFR), and 2) primordial galaxies, rapidly growing their M* together with their Black Hole (mainly the more compact SBs-AGN). Anyway, feedback effects have not reduced their fgas yet. Indeed, SBs at z = 2, with relatively low bolometric AGN luminosities in the range 10^44 < Lbol(AGN) < 10^46 erg/s (compared to bright optical and X-ray quasars), are still relatively far from the epoch when the AGN feedback will quench the SFR in the host and will substantially depress the gas fractions.


title: Weak Gravity Conjecture, Black Hole Entropy, and Modular Invariance

abstract: In recent literature, it has been argued that a mild form of the Weak Gravity Conjecture (WGC) is satisfied by wide classes of effective field theories in which higher-derivative corrections can be shown to shift the charge-to-mass ratios of extremal black holes to larger values. However, this mild form does not directly constrain low-energy physics because the black holes satisfying the WGC have masses above the cutoff of the effective theory. In this note, we point out that in string theory modular invariance can connect a light superextremal state to heavy superextremal states; the latter collapse into black holes at small string coupling. In the context of heterotic string theory, we show that these states are black holes that have $\alpha'$-exact charge-to-mass ratios exceeding the classical extremality bound. This suggests that modular invariance of the string partition function can be used to relate the existence of a light superextremal particle to the positive shift in charge-to-mass ratio of extremal black holes.


title: Hadron structure in high-energy collisions

abstract: Parton distribution functions (PDFs) describe the structure of hadrons as composed of quarks and gluons. They are needed to make predictions for short-distance processes in high-energy collisions and are determined by fitting to cross section data. We review definitions of the PDFs and their relations to high-energy cross sections. We focus on the PDFs in protons, but also discuss PDFs in nuclei. We review in some detail the standard statistical treatment needed to fit the PDFs to data using the Hessian method. We discuss tests that can be used to critically examine whether the assumptions are indeed valid. We also present some ideas of what one can do in the case that the tests indicate that the assumptions fail.


title: A deep learning model to emulate simulations of cosmic reionization

abstract: We present a deep learning model trained to emulate the radiative transfer during the epoch of cosmological reionization. CRADLE (Cosmological Reionization And Deep LEarning) is an autoencoder convolutional neural network that uses two-dimensional maps of the star number density and the gas density field at z=6 as inputs and that predicts 3D maps of the times of reionization $\mathrm{t_{reion}}$ as outputs. These predicted single fields are sufficient to describe the global reionization history of the intergalactic medium in a given simulation. We trained the model on a given simulation and tested the predictions on another simulation with the same paramaters but with different initial conditions. The model is successful at predicting $\mathrm{t_{reion}}$ maps that are in good agreement with the test simulation. We used the power spectrum of the $\mathrm{t_{reion}}$ field as an indicator to validate our model. We show that the network predicts large scales almost perfectly but is somewhat less accurate at smaller scales. While the current model is already well-suited to get average estimates about the reionization history, we expect it can be further improved with larger samples for the training, better data pre-processing and finer tuning of hyper-parameters. Emulators of this kind could be systematically used to rapidly obtain the evolving HII regions associated with hydro-only simulations and could be seen as precursors of fully emulated physics solvers for future generations of simulations.


title: Cometric Association Schemes

abstract: One may think of a $d$-class association scheme as a $(d+1)$-dimensional matrix algebra over $\mathbb{R}$ closed under Schur products. In this context, an imprimitive scheme is one which admits a subalgebra of block matrices, also closed under the Schur product. Such systems of imprimitivity provide us with quotient schemes, smaller association schemes which are often easier to understand, providing useful information about the structure of the larger scheme. For any association scheme we find a basis of $d+1$ idempotent matrices for the algebra. A cometric scheme is one whose idempotent basis may be ordered $E_0,E_1,...,E_d$ with polynomials $f_0,f_1,...,f_d$ giving $f_i\circ(E_1)=E_i$ and deg$(f_i)=i$ for each $i$. Throughout this thesis we are primarily interested in three goals: building new examples of cometric schemes, drawing connections between cometric schemes and other objects, and finding new realizability conditions on feasible parameter sets --- using these conditions to rule out open parameter sets when possible. After introducing association schemes, this thesis focuses on a few recent results regarding cometric schemes with small $d$. We begin by examining the matrix algebra, looking for low rank positive semidefinite matrices with few distinct entries and later establishing new conditions on realizable parameter sets. We then focus on imprimitive examples of both 3- and 4-class cometric schemes, generating new examples of the former while building realizability conditions for both. In each case, we examine the related $t$-distance sets, giving conditions which work towards equivalence; in the case of 3-class $Q$-antipodal schemes an equivalence is established. We conclude by partially extending a result of Brouwer and Koolen concerning the connectivity of graphs arising from metric schemes.


title: Revealing the Stellar Mass and Dust Distributions of Submillimeter Galaxies at Redshift 2

abstract: We combine high-resolution ALMA and HST/CANDELS observations of 20 submillimeter galaxies (SMGs) predominantly from the AS2UDS survey at z~2 with bright rest-frame optical counterparts (Ks < 22.9) to investigate the resolved structural properties of their dust and stellar components. We derive two-dimensional stellar-mass distributions that are inferred from spatial mass-to-light ratio (M/L) corrections based on rest-frame optical colors. Due to the high central column densities of dust in our SMGs, our mass distributions likely represent a lower limit to the true central mass density. The centroid positions between the inferred stellar-mass and the dust distributions agree within 1.1 kpc, indicating an overall good spatial agreement between the two components. The majority of our sources exhibit compact dust configurations relative to the stellar component (with a median ratio of effective radii Re,dust/Re,Mstar = 0.6). This ratio does not change with specific star-formation rate (sSFR) over the factor of 30 spanned by our targets, sampling the locus of "normal" main sequence galaxies up to the starburst regime, log(sSFR/sSFRMS) > 0.5. Our results imply that massive SMGs are experiencing centrally enhanced star formation unlike typical spiral galaxies in the local Universe. The sizes and stellar densities of our SMGs are in agreement with those of the passive population at z=1.5, consistent with these systems being the descendants of z~2 SMGs.


title: CO Emission in Infrared-Selected Active Galactic Nuclei

abstract: In order to better understand how active galactic nuclei (AGN) effect the interstellar media of their host galaxies, we perform a meta-analysis of the CO emission for a sample of $z=0.01-4$ galaxies from the literature with existing CO detections and well-constrained AGN contributions to the infrared (67 galaxies). Using either Spitzer/IRS mid-IR spectroscopy or Spitzer+Herschel colors we determine the fraction of the infrared luminosity in each galaxy that can be attributed to heating by the AGN or stars. We calculate new average CO spectral line ratios (primarily from Carilli \& Walter 2013) to uniformly scale the higher-$J$ CO detections to the ground state and accurately determine our sample's molecular gas masses. We do not find significant differences in the gas depletion timescales/star formation efficiencies (SFEs) as a function of the mid-infrared AGN strength ($f_{\rm AGN}({\rm MIR})$ or $L_{\rm IR} ({\rm AGN})$), which indicates that the presence of an IR-bright AGN is not a sufficient sign-post of galaxy quenching. We also find that the dust-to-gas ratio is consistent for all sources, regardless of AGN emission, redshift, or $L_{\rm IR}$, indicating that dust is likely a reliable tracer of gas mass for massive dusty galaxies (albeit with a large degree of scatter). Lastly, if we classify galaxies as either AGN or star formation dominated, we do not find a robust statistically significant difference between their CO excitation.


title: Angular momentum transport by the GSF instability: nonlinear simulations at the equator

abstract: We present an investigation into the nonlinear evolution of the Goldreich-Schubert-Fricke (GSF) instability using axisymmetric and three-dimensional simulations near the equator of a differentially rotating radiation zone. This instability may provide an important contribution to angular momentum transport in stars and planets. We adopt a local Boussinesq Cartesian shearing box model, which represents a small patch of a differentially rotating stellar radiation zone. Complementary simulations are also performed with stress-free, impenetrable boundaries in the local radial direction. The linear and nonlinear evolution of the equatorial axisymmetric instability is formally equivalent to the salt fingering instability. This is no longer the case in 3D, but we find that the instability behaves nonlinearly in a similar way to salt fingering. Axisymmetric simulations -- and those in 3D with short dimensions along the local azimuthal direction -- quickly develop strong jets along the rotation axis, which inhibit the instability and lead to predator-prey-like temporal dynamics. In 3D, the instability initially produces homogeneous turbulence and enhanced momentum transport, though in some cases jets form on a much longer timescale. We propose and validate numerically a simple theory for nonlinear saturation of the GSF instability and its resulting angular momentum transport. This theory is straightforward to implement in stellar evolution codes incorporating rotation. We estimate that the GSF instability could contribute towards explaining the missing angular momentum transport required in red giant stars, and play a role in the long-term evolution of the solar tachocline.


title: Duality Invariant Cosmology to all Orders in $\alpha'$

abstract: While the classification of $\alpha'$ corrections of string inspired effective theories remains an unsolved problem, we show how to classify duality invariant $\alpha'$ corrections for purely time-dependent (cosmological) backgrounds. We determine the most general duality invariant theory to all orders in $\alpha'$ for the metric, $b$-field, and dilaton. The resulting Friedmann equations are studied when the spatial metric is a time-dependent scale factor times the Euclidean metric and the $b$-field vanishes. These equations can be integrated perturbatively to any order in $\alpha'$. We construct non-perturbative solutions and display duality invariant theories featuring string-frame de Sitter vacua.


title: Broad-band X-ray analysis of local mid-infrared selected Compton-thick AGN candidates

abstract: The estimate of the number and space density of obscured AGN over cosmic time still represents an open issue. While the obscured AGN population is a key ingredient of the X-ray background synthesis models and is needed to reproduce its shape, a complete census of obscured AGN is still missing. Here we test the selection of obscured sources among the local 12-micron sample of Seyfert galaxies. Our selection is based on a difference up to three orders of magnitude in the ratio between the AGN bolometric luminosity, derived from the spectral energy distribution (SED) decomposition, and the same quantity obtained by the published XMM-Newton 2-10 keV luminosity. The selected sources are UGC05101, NGC1194 and NGC3079 for which the available X-ray wide bandpass, from Chandra and XMM-Newton plus NuSTAR data, extending to energies up to ~30-45 keV, allows us an accurate determination of the column density, and hence of the true intrinsic power. The newly derived NH values clearly indicate heavy obscuration (about 1.2, 2.1 and 2.4 x10^{24} cm-2 for UGC05101, NGC1194 and NGC3079, respectively) and are consistent with the prominent silicate absorption feature observed in the Spitzer-IRS spectra of these sources (at 9.7 micron rest frame). We finally checked that the resulting X-ray luminosities in the 2-10 keV band are in good agreement with those derived from the mid-IR band through empirical L_MIR-L_X relations.


title: Perturbative Corrections to Heavy Quark-Diquark Symmetry Predictions for Doubly Heavy Baryon Hyperfine Splittings

abstract: Doubly heavy baryons $\left(QQq\right)$ and singly heavy antimesons $\left(\bar{Q}q\right)$ are related by the heavy quark-diquark (HQDQ) symmetry because in the $m_Q \to \infty$ limit, the light degrees of freedom in both the hadrons are expected to be in identical configurations. Hyperfine splittings of the ground states in both systems are nonvanishing at $O(1/m_Q)$ in the heavy quark mass expansion and HQDQ symmetry relates the hyperfine splittings in the two sectors. In this paper, working within the framework of Non-Relativistic QCD (NRQCD), we point out the existence of an operator that couples four heavy quark fields to the chromomagnetic field with a coefficient that is enhanced by a factor from Coulomb exchange. This operator gives a correction to doubly heavy baryon hyperfine splittings that scales as $1/m_Q^2 \times \alpha_S/r$, where $r$ is the separation between the heavy quarks in the diquark. This correction can be calculated analytically in the extreme heavy quark limit in which the potential between the quarks in the diquark is Coulombic. In this limit, the correction is $O(\alpha_s^2/m_Q)$ and comes with a small coefficient. For values of $\alpha_s$ relevant to doubly charm and doubly bottom systems, the correction to the hyperfine splittings in doubly heavy baryons is only a few percent or smaller. We also argue that nonperturbative corrections to the prediction for the hyperfine splittings are suppressed by $\Lambda^2_{\rm QCD}/m_Q^2$ rather than $\Lambda_{\rm QCD}/m_Q$. Corrections should be $\approx 10\%$ in the charm sector and smaller in heavier systems.


title: Magnetogenesis from a rotating scalar: \`a la scalar chiral magnetic effect

abstract: The chiral magnetic effect (CME) is a phenomenon in which an electric current is induced parallel to an external magnetic field in the presence of chiral asymmetry in a fermionic system. In this paper, we show that the electric current induced by the dynamics of a pseudo-scalar field which anomalously couples to electromagnetic fields can be interpreted as closely analogous to the CME. In particular, the velocity of the pseudo-scalar field, which is the phase of a complex scalar, indicates that the system carries a global U(1) number asymmetry as the source of the induced current. We demonstrate that an initial kick to the phase-field velocity and an anomalous coupling between the phase-field and gauge fields are naturally provided, in a set-up such as the Affleck-Dine mechanism. The resulting asymmetry carried by the Affleck-Dine field can give rise to instability in the (electro)magnetic field. Cosmological consequences of this mechanism are also investigated.


title: The complete theory of Maxwell and Proca fields

abstract: We present the most general ghost-free classical Lagrangian containing first-order derivatives and describing interacting real Abelian spin-one fields on Minkowski spacetime. We study both massive Proca and massless Maxwell fields and allow for a non-linear realization of mass, in the form of derivative self-interactions. Within this context, our construction notoriously extends the existing literature, which is limited to the case of a single Proca field and to multiple interacting Proca fields in the presence of a global rotational symmetry. In the limit of a single Proca field, we reproduce the known healthy interaction terms. We provide the necessary and sufficient conditions to ensure ghost-freedom in any multi-field setup. We observe that, in general, the said conditions are not satisfied by the rotationally symmetric multi-Proca interactions suggested so far, which implies that they propagate ghosts. Our theory admits a plethora of applications in a wide range of subjects. For illustrative purposes, we provide concrete proposals in holographic condensed matter and black hole physics.


title: The Maxwell-Proca theory: definition and construction

abstract: We present a systematic construction of the most general first order Lagrangian describing an arbitrary number of interacting Maxwell and Proca fields on Minkowski spacetime. To this aim, we first formalize the notion of a Proca field, in analogy to the well known Maxwell field. Our definition allows for a non-linear realization of the Proca mass, in the form of derivative self-interactions. Consequently, we consider so-called generalized Proca/vector Galileons. We explicitly demonstrate the ghost-freedom of this complete Maxwell-Proca theory by obtaining its constraint algebra. We find that, when multiple Proca fields are present, their interactions must fulfill non-trivial differential relations in order to ensure the propagation of the correct number of degrees of freedom. These relations had so far been overlooked, which means previous multi-Proca proposals generically contain ghosts. This is a companion paper to arXiv:1905.06968 [hep-th]. It puts on a solid footing the theory there introduced.


title: Gapless topological phases and symmetry-enriched quantum criticality

abstract: We introduce topological invariants for gapless systems and study the associated boundary phenomena. More generally, the symmetry properties of the low-energy conformal field theory (CFT) provide discrete invariants, establishing the notion of symmetry-enriched quantum criticality. The charges of nonlocal scaling operators, or more generally of symmetry defects, are topological and imply the presence of localized edge modes. We primarily focus on the $1+1d$ case where the edge has a topological degeneracy, whose finite-size splitting can be exponential or algebraic in system size depending on the involvement of additional gapped sectors. An example of the former is given by tuning the spin-1 Heisenberg chain to a symmetry-breaking Ising phase. An example of the latter arises between the gapped Ising and cluster phases: this symmetry-enriched Ising CFT has an edge mode with finite-size splitting $\sim 1/L^{14}$. In addition to such new cases, our formalism unifies various examples previously studied in the literature. Similar to gapped symmetry-protected topological phases, a given CFT can split into several distinct symmetry-enriched CFTs. This raises the question of classification, to which we give a partial answer -- including a complete characterization of symmetry-enriched $1+1d$ Ising CFTs. Non-trivial topological invariants can also be constructed in higher dimensions, which we illustrate for a symmetry-enriched $2+1d$ CFT without gapped sectors.

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


title: The shuffle conjecture

abstract: Walks in the plane taking unit-length steps north and east from $(0,0)$ to $(n,n)$ never dropping below $y=x$ and parking cars subject to preferences are two intriguing ingredients in a formula conjectured in 2005, now famously known as the shuffle conjecture. Here we describe the combinatorial tools needed to state the conjecture. We also give key parts and people in its history, including its eventual algebraic solution by Carlsson and Mellit, which was published in the Journal of the American Mathematical Society in 2018. Finally, we conclude with some remaining open problems.


title: Assessing the Accuracy of the Jastrow Antisymmetrized Geminal Power in the H4 Model System

abstract: We report a quantum Monte Carlo (QMC) study, on a very simple but nevertheless very instructive model system of four hydrogen atoms, recently proposed in Ref. 1. We find that the Jastrow correlated Antisymmetrized Geminal Power (JAGP) is able to recover most of the correlation energy even when the geometry is symmetric and the hydrogens lie on the edges of a perfect square. Under such conditions the diradical character of the molecule ground state prevents a single determinant ansatz to achieve an acceptable accuracy, whereas the JAGP performs very well for all geometries. Remarkably, this is obtained with a similar computational effort. Moreover we find that the Jastrow Factor is fundamental in promoting the correct resonances among several configurations in the JAGP, that cannot show up in the pure Antisymmetrized Geminal Power (AGP). We also show the extremely fast convergence of this approach in the extension of the basis set. Remarkably only the simultaneous optimization of the Jastrow and the AGP part of our variational ansatz is able to recover an almost perfect nodal surface, yielding therefore state of the art energies, almost converged in the complete basis set limit (CBS), when the so called Diffusion Monte Carlo is applied.


title: Energy-Efficient Micromixing in Paper Based Devices Mediated by the Interplay of Electrical and Thermal Fields

abstract: Biomedical and biochemical processes in paper-based microfluidic devices often deal with mixing of two analytes to perform important functions. Uniform mixing of analytes in paper matrix is a challenging proposition, often necessitating complicated channel design or high energy external fields for realizing the desired functionality. In sharp contrast, here we demonstrate an energy-efficient technique compatible with handing biofluids, to achieve a high level of mixing of two fluids in paper-based microfluidic devices without deploying complex channel shapes. Our method employs a simple, cost-effective printing-based method to fabricate paper channel with interdigitated electrodes laid out using pencil sketch. An alternating current electric field of sufficiently low voltage is used to generate perturbations on the interface of the two fluids streams undertaking spontaneous capillary imbibition. The consequent variations in electric field generate local thermal gradients, leading to localized volumetric forces triggering efficient fluid mixing. Our results find a wide variety of applications ranging from biochemical analysis to medical diagnostics.


title: Modeling cell migration regulated by cell-ECM micromechanical coupling

abstract: Cell migration in fibreous extracellular matrix (ECM) is crucial to many physiological and pathological processes such as tissue regeneration, immune response and cancer progression. During migration, individual cells can generate active pulling forces via actin filament contraction, which are transmitted to the ECM fibers through focal adhesion complexes, remodel the ECM, and eventually propagate to and can be sensed by other cells in the system. The microstructure and physical properties of the ECM can also significantly influence cell migration, e.g., via durotaxis and contact guidance. Here, we develop a computational model for cell migration regulated by cell-ECM micro-mechanical coupling. Our model explicitly takes into account a variety of cellular level processes including focal adhesion formation and disassembly, active traction force generation and cell locomotion due to actin filament contraction, transmission and propagation of tensile forces in the ECM, as well as the resulting ECM remodeling. We validate our model by accurately reproducing single-cell dynamics of MCF-10A breast cancer cells migrating on collagen gels and show that the durotaxis and contact guidance effects naturally arise as a consequence of the cell-ECM micro-mechanical interactions considered in the model. Moreover, our model predicts strongly correlated multi-cellular migration dynamics, which are resulted from the ECM-mediated mechanical coupling among the migrating cell and are subsequently verified in {\it in vitro} experiments using MCF-10A cells. Our computational model provides a robust tool to investigate emergent collective dynamics of multi-cellular systems in complex {\it in vivo} micro-environment and can be utilized to design {\it in vitro} micro-environments to guide collective behaviors and self-organization of cells.


title: When the tale comes true: multiple populations and wide binaries in the Orion Nebula Cluster

abstract: The high-quality OmegaCAM photometry of the 3x3 deg around the Orion Nebula Cluster (ONC) in r, and i filters by Beccari et al.(2017) revealed three well-separated pre-main sequences in the color-magnitude diagram (CMD). The objects belonging to the individual sequences are concentrated towards the center of the ONC. The authors concluded that there are two competitive scenarios: a population of unresolved binaries and triples with an exotic mass ratio distribution, or three stellar populations with different ages. We use Gaia DR2 in combination with the photometric OmegaCAM catalog to test and confirm the presence of the putative three stellar populations. We also study multiple stellar systems in the ONC for the first time using Gaia DR2. We confirm that the second and third sequence members are more centrally concentrated towards the center of the ONC. In addition we find an indication that the parallax and proper motion distributions are different among the members of the stellar sequences. The age difference among stellar populations is estimated to be 1-2 Myr. We use Gaia measurements to identify and remove as many unresolved multiple system candidates as possible. Nevertheless we are still able to recover two well-separated sequences with evidence for the third one, supporting the existence of the three stellar populations. We were able to identify a substantial number of wide binary objects (separation between 1000-3000 au). This challenges previously inferred values that suggested no wide binary stars exist in the ONC. Our inferred wide-binary fraction is approx 5%. We confirm the three populations correspond to three separated episodes of star formation. Based on this result, we conclude that star formation is not happening in a single burst in this region. (abridged)


title: Auto-tuning of dynamic scheduling applied to 3D reverse time migration on multicore systems

abstract: Reverse time migration (RTM) is an algorithm widely used in the oil and gas industry to process seismic data. It is a computationally intensive task that suits well in parallel computers. Methods such as RTM can be parallelized in shared memory systems through scheduling iterations of parallel loops to threads. However, several aspects, such as memory size and hierarchy, number of cores, and input size, make optimal scheduling very challenging. In this paper, we introduce a run-time strategy to automatically tune the dynamic scheduling of parallel loops iterations in iterative applications, such as the RTM, in multicore systems. The proposed method aims to reduce the execution time of such applications. To find the optimal granularity, we propose a coupled simulated annealing (CSA) based auto-tuning strategy that adjusts the chunk size of work that OpenMP parallel loops assign dynamically to worker threads during the initialization of a 3D RTM application. Experiments performed with different computational systems and input sizes show that the proposed method is consistently better than the default OpenMP schedulers, static, auto, and guided, causing the application to be up to 33% faster. We show that the possible reason for this performance is the reduction of cache misses, mainly level L3, and low overhead, inferior to 2%. Having shown to be robust and scalable for the 3D RTM, the proposed method could also improve the performance of similar wave-based algorithms, such as full-waveform inversion (FWI) and other iterative applications.


title: On the expansivity gap of integer polynomials

abstract: Expansive polynomials (whose roots are greater than 1 in modulus) often arise in dynamical systems and other computational problems. This paper examines the expansivity gap (the gap between 1 and the smallest modulus of the roots) of these polynomials, assuming that the coefficients are integers. We give lower bounds on the expansivity gap, using the degree and the coefficient size as parameters. We also construct a family of polynomials which indicate the sharpness of these bounds. As a side-result, we present an explicit condition for deciding expansivity of polynomials, which we find superior to the existing recursive methods for our purpose.


title: The Empirical Saddlepoint Estimator

abstract: We define a moment-based estimator that maximizes the empirical saddlepoint (ESP) approximation of the distribution of solutions to empirical moment conditions. We call it the ESP estimator. We prove its existence, consistency and asymptotic normality, and we propose novel test statistics. We also show that the ESP estimator corresponds to the MM (method of moments) estimator shrunk toward parameter values with lower estimated variance, so it reduces the documented instability of existing moment-based estimators. In the case of just-identified moment conditions, which is the case we focus on, the ESP estimator is different from the MM estimator, unlike the recently proposed alternatives, such as the empirical-likelihood-type estimators.


title: Randomized Algorithms for Data-Driven Stabilization of Stochastic Linear Systems

abstract: Data-driven control strategies for dynamical systems with unknown parameters are popular in theory and applications. An essential problem is to prevent stochastic linear systems becoming destabilized, due to the uncertainty of the decision-maker about the dynamical parameter. Two randomized algorithms are proposed for this problem, but the performance is not sufficiently investigated. Further, the effect of key parameters of the algorithms such as the magnitude and the frequency of applying the randomizations is not currently available. This work studies the stabilization speed and the failure probability of data-driven procedures. We provide numerical analyses for the performance of two methods: stochastic feedback, and stochastic parameter. The presented results imply that as long as the number of statistically independent randomizations is not too small, fast stabilization is guaranteed.


title: Novel Hierarchical Correlation Functions for Quantitative Representation of Complex Heterogeneous Materials and Microstructural Evolution

abstract: Effective and accurate characterization and quantification of complex microstructure of a heterogeneous material and its evolution under external stimuli are very challenging, yet crucial to achieving reliable material performance prediction, processing optimization and advanced material design. Here, we address this challenge by developing a set of novel hierarchical statistical microstructural descriptors, which we call the "n-point polytope functions" Pn, for quantitative characterization, representation and modeling of complex material microstructure and its evolution. These novel polytope functions successively include higher-order n-point statistics of the features of interest in the microstructure in a concise, expressive, explainable, and universal manner; and can be directly computed from multi-modal imaging data. We develop highly efficient computational tools to directly extract the Pn functions up to n = 8 from multi-modal imaging data. Using simple model microstructures, we show that these novel statistical descriptors effectively "decompose" the structural features of interest into a set of "polytope basis", allowing one to easily detect any underlying symmetry or emerging features during the structural evolution. We apply these novel Pn functions to quantify and model a variety of heterogeneous material systems, including particle-reinforced composites, metal-ceramic composites, concretes, porous materials; as well as the microstructural evolution in an aged lead-tin alloy. Our results indicate that the Pn functions can offer a practically complete and compact set of basis for quantitative microstructure representation (QMR), for both static 3D complex microstructure and 4D microstructural evolution of a wide spectrum of heterogeneous material systems.


title: GROWTH on S190426c. II. Real-Time Search for a Counterpart to the Probable Neutron Star-Black Hole Merger using an Automated Difference Imaging Pipeline for DECam

abstract: The discovery of a transient kilonova following the gravitational-wave event GW170817 highlighted the critical need for coordinated rapid and wide-field observations, inference, and follow-up across the electromagnetic spectrum. In the Southern hemisphere, the Dark Energy Camera (DECam) on the Blanco 4-m telescope is well-suited to this task, as it is able to cover wide-fields quickly while still achieving the depths required to find kilonovae like the one accompanying GW170817 to $\sim$500 Mpc, the binary neutron star horizon distance for current generation of LIGO/Virgo collaboration (LVC) interferometers. Here, as part of the multi-facility followup by the Global Relay of Observatories Watching Transients Happen (GROWTH) collaboration, we describe the observations and automated data movement, data reduction, candidate discovery, and vetting pipeline of our target-of-opportunity DECam observations of S190426c, the first possible neutron star--black hole merger detected via gravitational waves. Starting 7.5hr after S190426c, over 11.28\,hr of observations, we imaged an area of 525\,deg$^2$ ($r$-band) and 437\,deg$^2$ ($z$-band); this was 16.3\% of the total original localization probability and nearly all of the probability density visible from the Southern hemisphere. The machine-learning based pipeline was optimized for fast turnaround, delivering transient candidates for human vetting within 17 minutes, on average, of shutter closure. We reported nine promising counterpart candidates 2.5 hours before the end of our observations. Our observations yielded no detection of a bona fide counterpart to $m_z = 22.5$ and $m_r = 22.9$ at the 5$\sigma$ level of significance, consistent with the refined LVC positioning. We view these observations and rapid inferencing as an important real-world test for this novel end-to-end wide-field pipeline.


title: PoreNet: CNN-based Pore Descriptor for High-resolution Fingerprint Recognition

abstract: With the development of high-resolution fingerprint scanners, high-resolution fingerprint-based biometric recognition has received increasing attention in recent years. This paper presents a pore feature-based approach for biometric recognition. Our approach employs a convolutional neural network (CNN) model, DeepResPore, to detect pores in the input fingerprint image. Thereafter, a CNN-based descriptor is computed for a patch around each detected pore. Specifically, we have designed a residual learning-based CNN, referred to as PoreNet that learns distinctive feature representation from pore patches. For verification, the match score is generated by comparing pore descriptors obtained from a pair of fingerprint images in bi-directional manner using the Euclidean distance. The proposed approach for high-resolution fingerprint recognition achieves 2.91% and 0.57% equal error rates (EERs) on partial (DBI) and complete (DBII) fingerprints of the benchmark PolyU HRF dataset. Most importantly, it achieves lower FMR1000 and FMR10000 values than the current state-of-the-art approach on both the datasets.


title: Efficient Deep Gaussian Process Models for Variable-Sized Input

abstract: Deep Gaussian processes (DGP) have appealing Bayesian properties, can handle variable-sized data, and learn deep features. Their limitation is that they do not scale well with the size of the data. Existing approaches address this using a deep random feature (DRF) expansion model, which makes inference tractable by approximating DGPs. However, DRF is not suitable for variable-sized input data such as trees, graphs, and sequences. We introduce the GP-DRF, a novel Bayesian model with an input layer of GPs, followed by DRF layers. The key advantage is that the combination of GP and DRF leads to a tractable model that can both handle a variable-sized input as well as learn deep long-range dependency structures of the data. We provide a novel efficient method to simultaneously infer the posterior of GP's latent vectors and infer the posterior of DRF's internal weights and random frequencies. Our experiments show that GP-DRF outperforms the standard GP model and DRF model across many datasets. Furthermore, they demonstrate that GP-DRF enables improved uncertainty quantification compared to GP and DRF alone, with respect to a Bhattacharyya distance assessment. Source code is available at https://github.com/IssamLaradji/GP_DRF.


title: Exactly solvable Majorana-Anderson impurity models

abstract: Motivated by recent experimental progress in the realization of hybrid structures with a topologically superconducting nanowire coupled to a quantum dot, viewed through the lens of the emerging field of correlated Majorana fermions, we introduce a class of interacting Majorana-Anderson impurity models which admit an exact solution for a wide range of parameters, including on-site repulsive interactions of arbitrary strength. The model is solved by mapping it via the $\mathbb{Z}_2$ slave-spin method to a noninteracting resonant level model for auxiliary Majorana degrees of freedom. The resulting gauge constraint is eliminated by exploiting the transformation properties of the Hamiltonian under a special local particle-hole transformation. For a spin-polarized Kitaev chain coupled to a quantum dot, we obtain exact expressions for the dot spectral functions at both zero and finite temperature. We study how the interaction strength and localization length of the end Majorana zero mode affect physical properties of the dot, such as quasiparticle weight, double occupancy, and odd-frequency pairing correlations, as well as the local electronic density of states in the superconducting chain.


title: Jamming and Tiling in Fragmentation of Rectangles

abstract: We investigate a stochastic process where a rectangle breaks into smaller rectangles through a series of horizontal and vertical fragmentation events. We focus on the case where both the vertical size and the horizontal size of a rectangle are discrete variables. Because of this constraint, the system reaches a jammed state where all rectangles are sticks, that is, rectangles with minimal width. Sticks are frozen as they can not break any further. The average number of sticks in the jammed state, $S$, grows as $S\simeq A/\sqrt{2\pi\ln A}$ with rectangle area $A$ in the large-area limit, and remarkably, this behavior is independent of the aspect ratio. The distribution of stick length has a power-law tail, and further, its moments are characterized by a nonlinear spectrum of scaling exponents. We also study an asymmetric breakage process where vertical and horizontal fragmentation events are realized with different probabilities. In this case, there is a phase transition between a weakly asymmetric phase where the length distribution is independent of system size, and a strongly asymmetric phase where this distribution depends on system size.


title: Holographic Entropy Relations Repackaged

abstract: We explore the structure of holographic entropy relations (associated with 'information quantities' given by a linear combination of entanglement entropies of spatial sub-partitions of a CFT state with geometric bulk dual). Such entropy relations can be recast in multiple ways, some of which have significant advantages. Motivated by the already-noted simplification of entropy relations when recast in terms of multipartite information, we explore additional simplifications when recast in a new basis, which we dub the K-basis, constructed from perfect tensor structures. For the fundamental information quantities such a recasting is surprisingly compact, in part due to the interesting fact that entropy vectors associated to perfect tensors are in fact extreme rays in the holographic entropy cone (as well as the full quantum entropy cone). More importantly, we prove that all holographic entropy inequalities have positive coefficients when expressed in the K-basis, underlying the key advantage over the entropy basis or the multipartite information basis.


title: Plastic-crystalline solid-state electrolytes: Ionic conductivity and orientational dynamics in nitrile mixtures

abstract: Many plastic crystals, molecular solids with long-range, center-of-mass crystalline order but dynamic disorder of the molecular orientations, are known to exhibit exceptionally high ionic conductivity. This makes them promising candidates for applications as solid-state electrolytes, e.g., in batteries. Interestingly, it was found that the mixing of two different plastic-crystalline materials can considerably enhance the ionic dc conductivity, an important benchmark quantity for electrochemical applications. An example is the admixture of different nitriles to succinonitrile, the latter being one of the most prominent plastic-crystalline ionic conductors. However, until now only few such mixtures were studied. In the present work, we investigate succinonitrile mixed with malononitrile, adiponitrile, and pimelonitrile, to which 1 mol% of Li ions were added. Using differential scanning calorimetry and dielectric spectroscopy, we examine the phase behavior and the dipolar and ionic dynamics of these systems. We especially address the mixing-induced enhancement of the ionic conductivity and the coupling of the translational ionic mobility to the molecular reorientational dynamics, probably arising via a "revolving-door" mechanism.


title: Learning from Context: Exploiting and Interpreting File Path Information for Better Malware Detection

abstract: Machine learning (ML) used for static portable executable (PE) malware detection typically employs per-file numerical feature vector representations as input with one or more target labels during training. However, there is much orthogonal information that can be gleaned from the \textit{context} in which the file was seen. In this paper, we propose utilizing a static source of contextual information -- the path of the PE file -- as an auxiliary input to the classifier. While file paths are not malicious or benign in and of themselves, they do provide valuable context for a malicious/benign determination. Unlike dynamic contextual information, file paths are available with little overhead and can seamlessly be integrated into a multi-view static ML detector, yielding higher detection rates at very high throughput with minimal infrastructural changes. Here we propose a multi-view neural network, which takes feature vectors from PE file content as well as corresponding file paths as inputs and outputs a detection score. To ensure realistic evaluation, we use a dataset of approximately 10 million samples -- files and file paths from user endpoints of an actual security vendor network. We then conduct an interpretability analysis via LIME modeling to ensure that our classifier has learned a sensible representation and see which parts of the file path most contributed to change in the classifier's score. We find that our model learns useful aspects of the file path for classification, while also learning artifacts from customers testing the vendor's product, e.g., by downloading a directory of malware samples each named as their hash. We prune these artifacts from our test dataset and demonstrate reductions in false negative rate of 32.3% at a $10^{-3}$ false positive rate (FPR) and 33.1% at $10^{-4}$ FPR, over a similar topology single input PE file content only model.


title: Gravitational wave emission from the CMB and other thermal fields

abstract: We calculate the gravitational wave power density emitted by quantum thermal sources. As particular cases, we calculate the emission of gravitational waves from the cosmic microwave background and from stellar sources. We study how treating gravity classically affects the prediction of the thermal emission. We find that the predicted emitted gravitational wave radiation does not exhibit an ultraviolet divergence, even if gravity is treated classically, as long as the fields describing the thermal source are quantum mechanical.


title: Design of high-temperature f-block molecular nanomagnets through the control of vibration-induced spin relaxation

abstract: One of the main roadblocks that still hampers the practical use of molecular nanomagnets is their cryogenic working temperature. In the pursuit of rational strategies to design new molecular nanomagnets with increasing blocking temperature, ab initio methodologies play an important role by guiding synthetic efforts at the lab stage. Nevertheless, when evaluating vibration-induced spin relaxation, these methodologies are still far from being computationally fast enough to provide a useful predictive framework. Herein, we present an inexpensive first-principles method devoted to evaluating vibration-induced spin relaxation in molecular f-block single-ion magnets, with the important advantage of requiring only one CASSCF calculation. We use a case study to illustrate the method, and propose chemical modifications in the ligand environment with the aim of suppressing spin relaxation.


title: Resonant X-ray Emission and Valence-band Lifetime Broadening in LiNO$_3$

abstract: X-ray absorption and resonant inelastic x-ray scattering measurements are carried out on lithium nitrate LiNO$_3$. The $\sigma$ orbitals around the nitrogen atoms exhibit a large lifetime effect. Experimentally, this is manifest as an apparent weakening of the x-ray emission signal from these states, but a closer examination shows that instead it is due to extreme broadening. This echos previous studies on ammonium nitrate, which, despite large differences in the cation and space group, showed a similar effect associated with the nitrate. Using first-principles $GW$ self-energy and Bethe-Salpeter equation calculations we show that this effect is due in part to short quasi-hole lifetimes for the orbitals constituting the NO $\sigma$ bonds.


title: MSRBot: Using Bots to Answer Questions from Software Repositories

abstract: Software repositories contain a plethora of useful information that can be used to enhance software projects. Prior work has leveraged repository data to improve many aspects of the software development process, such as, help extract requirement decisions, identify potentially defective code and improve maintenance and evolution. However, in many cases, practitioners are not able to fully benefit from software repositories due to the fact that they need special expertise and dedicated effort to mine their repositories. Therefore, in this paper, we use bots to automate and ease the process of extracting useful information from software repositories. Particularly, we lay out an approach of how bots, layered on top of software repositories, can be used to answer some of the most common software development/maintenance questions facing developers. We perform a preliminary study with 12 participants to validate the effectiveness of the bot. Our findings indicate that using bots achieves very promising results in terms of answer accuracy, speed and usefulness. Our work has the potential to transform the MSR field by significantly lowering the barrier to entry, making the extraction of useful information from software repositories as easy as chatting with a bot.


title: A computational model of radiolytic oxygen depletion during FLASH irradiation and its effect on the oxygen enhancement ratio

abstract: Recent results from animal irradiation studies have rekindled interest in the potential of ultra-high dose rate irradiation (also known as FLASH) for reducing normal tissue toxicity. However, despite mounting evidence of a "FLASH effect", a mechanism has yet to be elucidated. This article hypothesizes that the radioprotecting effect of FLASH irradiation could be due to the specific sparing of hypoxic stem cell niches, which have been identified in several organs including the bone marrow and the brain. To explore this hypothesis, a new computational model is presented that frames transient radiolytic oxygen depletion (ROD) during FLASH irradiation in terms of its effect on the oxygen enhancement ratio (OER). The model takes into consideration oxygen diffusion through the tissue, its consumption by metabolic cells, and its radiolytic depletion to estimate the relative decrease in radiosensitivity of cells receiving FLASH irradiation. Based on this model, several predictions are made that could be tested in future experiments: (1) the FLASH effect should gradually disappear as the radiation pulse duration is increased from <1s to 10 s; (2) dose should be deposited using the smallest number of radiation pulses to achieve the greatest FLASH effect; (3) a FLASH effect should only be observed in cells that are already hypoxic at the time of irradiation; and (4) changes in capillary oxygen tension (increase or decrease) should diminish the FLASH effect.


title: Exceptional points of any order in a single, lossy, waveguide beamsplitter by photon-number-resolved detection

abstract: Exceptional points (EPs) are degeneracies of non-Hermitian operators where, in addition to the eigenvalues, corresponding eigenmodes become degenerate. Classical and quantum photonic systems with EPs have attracted tremendous attention due to their unusual properties, topological features, and an enhanced sensitivity that depends on the order of the EP, i.e. the number of degenerate eigenmodes. Yet, experimentally engineering higher-order EPs in classical or quantum domains remains an open challenge due to the stringent symmetry constraints that are required for the coalescence of multiple eigenmodes. Here we analytically show that the number-resolved dynamics of a single, lossy, waveguide beamsplitter, excited by $N$ indistinguishable photons and post-selected to the $N$-photon subspace, will exhibit an EP of order $N+1$. By using the well-established mapping between a beamsplitter Hamiltonian and the perfect state transfer model in the photon-number space, we analytically obtain the time evolution of a general $N$-photon state, and numerically simulate the system's evolution in the post-selected manifold. Our results pave the way towards realizing robust, arbitrary-order EPs on demand in a single device.


title: The covering lemma and $q$-analogues of extremal set theory problems

abstract: We prove a general lemma (inspired by a lemma of Holroyd and Talbot) about the connection of the largest cardinalities (or weight) of structures satisfying some hereditary property and substructures satisfying the same hereditary property. We use it to show how results concerning forbidden subposet problems in the Boolean poset imply analogous results in the poset of subspaces of a finite vector space. We also study generalized forbidden subposet problems in the poset of subspaces.


title: Making ethical decisions for the immersive web

abstract: Mixed reality (MR) ethics occupies a space that intersects with web ethics, emerging tech ethics, healthcare ethics and product ethics (among others). This paper focuses on how we can build an immersive web that encourages ethical development and usage. The technology is beyond emerging (footnote: generally, the ethics of emerging technologies are focused on ethical assessments of research and innovation), but not quite entrenched. We're still in a position to intervene in the development process, instead of attempting to retrofit ethical decisions into an established design. While we have a wider range of data to analyze than most emerging technologies, we're still in a much more speculative state than entrenched technologies. This space is a challenge and an opportunity.


title: A Proof that Multiple Waves Propagate in Ensemble-Averaged Particulate Materials

abstract: Effective medium theory aims to describe a complex inhomogeneous material in terms of a few important macroscopic parameters. To characterise wave propagation through an inhomogeneous material, the most crucial parameter is the effective wavenumber. For this reason, there are many published studies on how to calculate a single effective wavenumber. Here we present a proof that there does not exist a unique effective wavenumber; instead, there are an infinite number of such (complex) wavenumbers. We show that in most parameter regimes only a small number of these effective wavenumbers make a significant contribution to the wave field. However, to accurately calculate the reflection and transmission coefficients, a large number of the (highly attenuating) effective waves is required. For clarity, we present results for scalar (acoustic) waves for a two-dimensional material filled (over a half space) with randomly distributed circular cylindrical inclusions. We calculate the effective medium by ensemble averaging over all possible inhomogeneities. The proof is based on the application of the Wiener-Hopf technique and makes no assumption on the wavelength, particle boundary conditions/size, or volume fraction. This technique provides a simple formula for the reflection coefficient, which can be explicitly evaluated for monopole scatterers. We compare results with an alternative numerical matching method.


title: Polychromatic, continuous-wave mirrorless lasing from monochromatic pumping of cesium vapor

abstract: We report on studies of simultaneous continuous-wave mirrorless lasing on multiple optical transitions, realized by pumping hot cesium vapor with laser light resonant with the 6$S_{1/2}\rightarrow 8$P$_{3/2}$ transition. The multiplicity of decay paths for the excited atoms to their ground state is responsible for the emergence of lasing in a number of transitions, observed here in at least seven wavelengths in the infrared (IR), and at two wavelengths in the blue. We study the properties of the fields generated in the cesium vapor, such as optical power, directionality and optical linewidth.


title: Majorization bounds for Ritz values of self-adjoint matrices

abstract: A priori, a posteriori, and mixed type upper bounds for the absolute change in Ritz values of self-adjoint matrices in terms of submajorization relations are obtained. Some of our results prove recent conjectures by Knyazev, Argentati, and Zhu, which extend several known results for one dimensional subspaces to arbitrary subspaces. In addition, we improve Nakatsukasa's version of the $\tan \Theta$ theorem of Davis and Kahan. As a consequence, we obtain new quadratic a posteriori bounds for the absolute change in Ritz values.


title: Gai Reply to Comment by Schumann et al. (arXiv:1904.03023v1)

abstract: Statements included in the comment published by Schumann et al. (arXiv:1904.03023v1) are contradicted by documents that were communicated to one of the co-authors of the comment (Dr. Koester). These documents are reviewed but cannot be disclosed here due to copyright (they are available on request). A summary of the scientific dispute between the collaboration and Dr. Schumann, was submitted on September 24, 2018, to the Directorate Support of the Paul Scherrer Institute (PSI) and can be provided on request.


title: IMHO Fine-Tuning Improves Claim Detection

abstract: Claims are the central component of an argument. Detecting claims across different domains or data sets can often be challenging due to their varying conceptualization. We propose to alleviate this problem by fine tuning a language model using a Reddit corpus of 5.5 million opinionated claims. These claims are self-labeled by their authors using the internet acronyms IMO/IMHO (in my (humble) opinion). Empirical results show that using this approach improves the state of art performance across four benchmark argumentation data sets by an average of 4 absolute F1 points in claim detection. As these data sets include diverse domains such as social media and student essays this improvement demonstrates the robustness of fine-tuning on this novel corpus.


title: Equidistribution of Gross points over rational function fields

abstract: In this paper we prove a sparse equidistribution theorem for Gross points over the rational function field $\mathbb{F}_q(t)$. We apply this result to study the reduction map from CM Drinfeld modules to supersingular Drinfeld modules. Our proofs rely crucially on a period formula due to M. Papikian and F.-T. Wei/J. Yu, and a Lindel\"of-type bound for central values of Rankin-Selberg $L$-functions associated to twists of automorphic forms of Drinfeld-type by ideal class group characters.


title: Towards Automatic Generation of Shareable Synthetic Clinical Notes Using Neural Language Models

abstract: Large-scale clinical data is invaluable to driving many computational scientific advances today. However, understandable concerns regarding patient privacy hinder the open dissemination of such data and give rise to suboptimal siloed research. De-identification methods attempt to address these concerns but were shown to be susceptible to adversarial attacks. In this work, we focus on the vast amounts of unstructured natural language data stored in clinical notes and propose to automatically generate synthetic clinical notes that are more amenable to sharing using generative models trained on real de-identified records. To evaluate the merit of such notes, we measure both their privacy preservation properties as well as utility in training clinical NLP models. Experiments using neural language models yield notes whose utility is close to that of the real ones in some clinical NLP tasks, yet leave ample room for future improvements.


title: Coarse free products

abstract: We define a notion of free product for coarse spaces that generalizes the corresponding notion of a free product for groups. We show that free products preserve coarse properties such as coarse property C, finite coarse decomposition complexity, and coarse property A. We also give an upper bound estimate on the dimension of a coarse free product in terms of the dimension of its factors.


title: High-Order Approximation of Gaussian Curvature with Regge Finite Elements

abstract: A widely used approximation of the Gaussian curvature on a triangulated surface is the angle defect, which measures the deviation between $2\pi$ and the sum of the angles between neighboring edges emanating from a common vertex. We show that the linearization of the angle defect about an arbitrary piecewise constant Regge metric is related to the classical Hellan-Herrmann-Johnson finite element discretization of the div-div operator. Integrating this relation leads to an integral formula for the angle defect which is well-suited for analysis and generalizes naturally to higher order. We prove error estimates for these high-order approximations of the Gaussian curvature in $H^k$-Sobolev norms of integer order $k \ge -1$.


title: How do neural networks see depth in single images?

abstract: Deep neural networks have lead to a breakthrough in depth estimation from single images. Recent work often focuses on the accuracy of the depth map, where an evaluation on a publicly available test set such as the KITTI vision benchmark is often the main result of the article. While such an evaluation shows how well neural networks can estimate depth, it does not show how they do this. To the best of our knowledge, no work currently exists that analyzes what these networks have learned. In this work we take the MonoDepth network by Godard et al. and investigate what visual cues it exploits for depth estimation. We find that the network ignores the apparent size of known obstacles in favor of their vertical position in the image. Using the vertical position requires the camera pose to be known; however we find that MonoDepth only partially corrects for changes in camera pitch and roll and that these influence the estimated depth towards obstacles. We further show that MonoDepth's use of the vertical image position allows it to estimate the distance towards arbitrary obstacles, even those not appearing in the training set, but that it requires a strong edge at the ground contact point of the object to do so. In future work we will investigate whether these observations also apply to other neural networks for monocular depth estimation.


title: Efficient Optimization of Loops and Limits with Randomized Telescoping Sums

abstract: We consider optimization problems in which the objective requires an inner loop with many steps or is the limit of a sequence of increasingly costly approximations. Meta-learning, training recurrent neural networks, and optimization of the solutions to differential equations are all examples of optimization problems with this character. In such problems, it can be expensive to compute the objective function value and its gradient, but truncating the loop or using less accurate approximations can induce biases that damage the overall solution. We propose randomized telescope (RT) gradient estimators, which represent the objective as the sum of a telescoping series and sample linear combinations of terms to provide cheap unbiased gradient estimates. We identify conditions under which RT estimators achieve optimization convergence rates independent of the length of the loop or the required accuracy of the approximation. We also derive a method for tuning RT estimators online to maximize a lower bound on the expected decrease in loss per unit of computation. We evaluate our adaptive RT estimators on a range of applications including meta-optimization of learning rates, variational inference of ODE parameters, and training an LSTM to model long sequences.


title: Water is not a Dynamic Polydisperse Branched Polymer

abstract: The contributed paper by Naserifar and Goddard reports that their RexPoN water model under ambient conditions simulates liquid water as a dynamic polydisperse branched polymer, which they speculate explains the existence of the liquid-liquid critical point (LLCP) in the supercooled region. Our work addresses several serious factual errors and needless speculation in their paper about their interpretation of their model and its implication for the LLCP in supercooled water.


title: Twist-3 contributions to $\gamma\gamma\rightarrow\pi^+\pi^-,K^+K^-$ processes in perturbative QCD approach

abstract: As one of the simplest hadronic processes, $\gamma\gamma\rightarrow M^{+}M^{-}$ ($M=\pi,K$) could be a good testing ground for our understanding of the perturbative and nonperturbative structure of QCD, and will be studied with high precision at BELLE-\RNum{2} in the near future. In this paper, we revisit these processes with twist-3 corrections in the perturbative QCD approach based on the $k_{T}$ factorization theorem, in which transverse degrees of freedom as well as resummation effects are taken into account. The influence of the distribution amplitudes on the cross sections are discussed in detail. Our work shows that not only the transverse momentum effects but also the twist-3 corrections play a significant role in the processes $\gamma\gamma\rightarrow M^{+}M^{-}$ in the intermediate energy region. Especially in the few GeV region, the twist-3 contributions become dominant in the cross sections. And it is noteworthy that both the twist-3 result of the $\pi^{+}\pi^{-}$ cross section and that of the $K^{+}K^{-}$ cross section agree well with the BELLE and ALEPH measurements. For the pion and kaon angular distributions, there still exist discrepancies between our results and the experimental measurements. Possible reasons for these discrepancies are discussed briefly.


title: Interconnections between networks act like an external field in first-order percolation transitions

abstract: Many interdependent, real-world infrastructures involve interconnections between different communities or cities. Here we study if and how the effects of such interconnections can be described as an external field for interdependent networks experiencing first-order percolation transitions. We find that the critical exponents $\gamma$ and $\delta$, related to the external field can also be defined for first-order transitions but that they have different values than those found for second-order transitions. Surprisingly, we find that both sets of different exponents can be found even within a single model of interdependent networks, depending on the dependency coupling strength. Specifically, the exponent $\gamma$ in the first-order regime (high coupling) does not obey the fluctuation dissipation theorem, whereas in the continuous regime (for low coupling) it does. Nevertheless, in both cases they satisfy Widom's identity, $\delta - 1 = \gamma / \beta$ which further supports the validity of their definitions. Our results provide physical intuition into the nature of the phase transition in interdependent networks and explain the underlying reasons for two distinct sets of exponents.


title: A FISTA-type accelerated gradient algorithm for solving smooth nonconvex composite optimization problems

abstract: In this paper, we describe and establish iteration-complexity of two accelerated composite gradient (ACG) variants to solve a smooth nonconvex composite optimization problem whose objective function is the sum of a nonconvex differentiable function $ f $ with a Lipschitz continuous gradient and a simple nonsmooth closed convex function $ h $. When $f$ is convex, the first ACG variant reduces to the well-known FISTA for a specific choice of the input, and hence the first one can be viewed as a natural extension of the latter one to the nonconvex setting. The first variant requires an input pair $(M,m)$ such that $f$ is $m$-weakly convex, $\nabla f$ is $M$-Lipschitz continuous, and $m \le M$ (possibly $m<M$), which is usually hard to obtain or poorly estimated. The second variant on the other hand can start from an arbitrary input pair $(M,m)$ of positive scalars and its complexity is shown to be not worse, and better in some cases, than that of the first variant for a large range of the input pairs. Finally, numerical results are provided to illustrate the efficiency of the two ACG variants.


title: Simulating realistic non-Gaussian state preparation

abstract: We consider conditional photonic non-Gaussian state preparation using multimode Gaussian states and photon-number-resolving detectors in the presence of photon loss. While simulation of such state preparation is often computationally challenging, we show that obtaining the required multimode Gaussian state Fock matrix elements can be reduced to the computation of matrix functions known as loop hafnians, and develop a tailored algorithm for their calculation that is faster than previously known methods. As an example of its utility, we use our algorithm to explore the loss parameter space for three specific non-Gaussian state preparation schemes: Fock state heralding, cat state heralding, and weak cubic-phase state heralding. We confirm that these schemes are fragile with respect to photon loss, yet find that there are regions in the loss parameter space that are potentially accessible in an experimental setting which correspond to heralded states with non-zero non-Gaussianity.


title: Understanding of Object Manipulation Actions Using Human Multi-Modal Sensory Data

abstract: Object manipulation actions represent an important share of the Activities of Daily Living (ADLs). In this work, we study how to enable service robots to use human multi-modal data to understand object manipulation actions, and how they can recognize such actions when humans perform them during human-robot collaboration tasks. The multi-modal data in this study consists of videos, hand motion data, applied forces as represented by the pressure patterns on the hand, and measurements of the bending of the fingers, collected as human subjects performed manipulation actions. We investigate two different approaches. In the first one, we show that multi-modal signal (motion, finger bending and hand pressure) generated by the action can be decomposed into a set of primitives that can be seen as its building blocks. These primitives are used to define 24 multi-modal primitive features. The primitive features can in turn be used as an abstract representation of the multi-modal signal and employed for action recognition. In the latter approach, the visual features are extracted from the data using a pre-trained image classification deep convolutional neural network. The visual features are subsequently used to train the classifier. We also investigate whether adding data from other modalities produces a statistically significant improvement in the classifier performance. We show that both approaches produce a comparable performance. This implies that image-based methods can successfully recognize human actions during human-robot collaboration. On the other hand, in order to provide training data for the robot so it can learn how to perform object manipulation actions, multi-modal data provides a better alternative.


title: An algorithm for the complete solution of the quartic eigenvalue problem

abstract: Quartic eigenvalue problem $(\lambda^4 A + \lambda^3 B + \lambda^2C + \lambda D + E)x = \mathbf{0}$ naturally arises e.g. when solving the Orr-Sommerfeld equation in the analysis of the stability of the {Poiseuille} flow, in theoretical analysis and experimental design of locally resonant phononic plates, modeling a robot with electric motors in the joints, calibration of catadioptric vision system, or e.g. computation of the guided and leaky modes of a planar waveguide. This paper proposes a new numerical method for the full solution (all eigenvalues and all left and right eigenvectors) that is based on quadratification, i.e. reduction of the quartic problem to a spectraly equivalent quadratic eigenvalue problem, and on a careful preprocessing to identify and deflate zero and infinite eigenvalues before the linearized quadratification is forwarded to the QZ algorithm. Numerical examples and backward error analysis confirm that the proposed algorithm is superior to the available methods.


title: A Framework for Blockchain Interoperability and Runtime Selection

abstract: The suitability of a particular blockchain for a given use case depends mainly on the blockchain's functional and non-functional properties. Such properties may vary over time, and thus, a selected blockchain may become unsuitable for a given use case. This uncertainty may hinder the widespread adoption of blockchain technologies in general. To mitigate the impact of volatile blockchain properties, we propose a framework that monitors several blockchains, allows the user to define functional and non-functional requirements, determines the most appropriate blockchain, and enables the switchover to that chain at runtime. Our evaluation using a reference implementation shows that switching to another blockchain can save cost and enable users to benefit from better performance and a higher level of trust.


title: The spectrum of the abelian sandpile model

abstract: In their previous work, the authors studied the abelian sandpile model on graphs constructed from a growing piece of a plane or space tiling, given periodic or open boundary conditions, and identified spectral factors which govern the asymptotic spectral gap and asymptotic mixing time. This article gives a general method of determining the spectral factor either computationally or asymptotically and performs the determination in specific examples.


title: Reply to arXiv:1810.11506: Size Effect According to the Critical Shear Crack Theory (CSCT) for Reinforced Concrete Beams and Slabs

abstract: This document is a reply to arXiv:1810.11506. In that document, D\"onmez and Ba\v{z}ant raise a number of criticism on the hypotheses Critical Shear Crack Theory (CSCT). The aspects criticized have however been largely discussed in previous works of the CSCT, proving the validity of the theory. This document compiles such previous knowledge as a reply to the authors of the report.


title: Deciding finiteness of matrix groups in positive characteristic

abstract: We present a new algorithm to decide finiteness of matrix groups defined over a field of positive characteristic. Together with previous work for groups in zero characteristic, this provides the first complete solution of the finiteness problem for finitely generated matrix groups over an arbitrary field. We also give an algorithm to compute the order of a finite matrix group over a function field of positive characteristic. Our MAGMA implementations of these algorithms are publicly available.


title: Online Learning over Dynamic Graphs via Distributed Proximal Gradient Algorithm

abstract: We consider the problem of tracking the minimum of a time-varying convex optimization problem over a dynamic graph. Motivated by target tracking and parameter estimation problems in intermittently connected robotic and sensor networks, the goal is to design a distributed algorithm capable of handling non-differentiable regularization penalties. The proposed proximal online gradient descent algorithm is built to run in a fully decentralized manner and utilizes consensus updates over possibly disconnected graphs. The performance of the proposed algorithm is analyzed by developing bounds on its dynamic regret in terms of the cumulative path length of the time-varying optimum. It is shown that as compared to the centralized case, the dynamic regret incurred by the proposed algorithm over $T$ time slots is worse by a factor of $\log(T)$ only, despite the disconnected and time-varying network topology. The empirical performance of the proposed algorithm is tested on the distributed dynamic sparse recovery problem, where it is shown to incur a dynamic regret that is close to that of the centralized algorithm.


title: TERMINATOR: Better Automated UI Test Case Prioritization

abstract: Automated UI testing is an important component of the continuous integration process of software development. A modern web-based UI is an amalgam of reports from dozens of microservices written by multiple teams. Queries on a page that opens up another will fail if any of that page's microservices fails. As a result, the overall cost for automated UI testing is high since the UI elements cannot be tested in isolation. For example, the entire automated UI testing suite at LexisNexis takes around 30 hours (3-5 hours on the cloud) to execute, which slows down the continuous integration process. To mitigate this problem and give developers faster feedback on their code, test case prioritization techniques are used to reorder the automated UI test cases so that more failures can be detected earlier. Given that much of the automated UI testing is "black box" in nature, very little information (only the test case descriptions and testing results) can be utilized to prioritize these automated UI test cases. Hence, this paper evaluates 17 "black box" test case prioritization approaches that do not rely on source code information. Among these, we propose a novel TCP approach, that dynamically re-prioritizes the test cases when new failures are detected, by applying and adapting a state of the art framework from the total recall problem. Experimental results on LexisNexis automated UI testing data show that our new approach (which we call TERMINATOR), outperformed prior state of the art approaches in terms of failure detection rates with negligible CPU overhead.


title: Minimizing the Age of Information in Wireless Networks with Stochastic Arrivals

abstract: We consider a wireless network with a base station serving multiple traffic streams to different destinations. Packets from each stream arrive to the base station according to a stochastic process and are enqueued in a separate (per stream) queue. The queueing discipline controls which packet within each queue is available for transmission. The base station decides, at every time t, which stream to serve to the corresponding destination. The goal of scheduling decisions is to keep the information at the destinations fresh. Information freshness is captured by the Age of Information (AoI) metric. In this paper, we derive a lower bound on the AoI performance achievable by any given network operating under any queueing discipline. Then, we consider three common queueing disciplines and develop both an Optimal Stationary Randomized policy and a Max-Weight policy under each discipline. Our approach allows us to evaluate the combined impact of the stochastic arrivals, queueing discipline and scheduling policy on AoI. We evaluate the AoI performance both analytically and using simulations. Numerical results show that the performance of the Max-Weight policy is close to the analytical lower bound.


title: The existence of Zariski dense orbits for endomorphisms of projective surfaces (with an appendix in collaboration with Thomas Tucker)

abstract: In this paper we prove the following theorem. Let $f$ be a dominant endomorphism of a smooth projective surface over an algebraically closed field of characteristic $0$. If there is no nonconstant invariant rational function under $f$, then there exists a closed point whose orbit under $f$ is Zariski dense. This result gives us a positive answer to the Zariski dense orbit conjecture proposed by Medvedev and Scanlon, by Amerik, Bogomolov and Rovinsky, and by Zhang, for endomorphisms of smooth projective surfaces. Moreover, we define a new canonical topology on varieties over an algebraically closed field which has finite transcendence degree over $\mathbb{Q}$. We call it the adelic topology. The adelic topology is stronger than the Zariski topology and an irreducible variety is still irreducible in this topology. Using the adelic topology, we propose an adelic verison of the Zariski dense orbit conjecture. This version is stronger then the original one and it quantifies how many such orbits there are. We also proved this adelic version for endomorphisms of smooth projective surfaces. Moreover, we proved the adelic verison of the Zariski dense orbit conjecture for endomorphisms of abelian varieties and split polynomial maps. This yields new proofs for the original version in this two cases. In Appendix A, we study the endomorphisms on the $k$-affinoid spaces. We show that for certain endomorphism $f$ on a $k$-affinoid space $X$, the attractor $Y$ of $f$ is a Zariski closed subset and the dynamics of $f$ semi-conjugates to its restriction on $Y.$ A special case of this result is used in the proof of the main theorem. In Appendix B, written in collaboration with Thomas Tucker, we prove the Zariski dense orbit conjecture for endomorphisms of $(\mathbb{P}^1)^N.$


title: The Virtual Resolutions Package for Macaulay2

abstract: We introduce the VirtualResolution package for the computer algebra system Macaulay2. This package has tools to construct, display, and study virtual resolutions for products of projective spaces. The package also has tools for generating curves in $\mathbb{P}^1\times\mathbb{P}^2$, providing sources for interesting virtual resolutions.