title: Emergent gravity from hidden sectors and TT deformations

abstract: We investigate emergent gravity extending the paradigm of the AdS/CFT correspondence. The emergent graviton is associated to the (dynamical) expectation value of the energy-momentum tensor. We derive the general effective description of such dynamics, and apply it to the case where a hidden theory generates gravity that is coupled to the Standard Model. In the linearized description, generically, such gravity is massive with the presence of an extra scalar degree of freedom. The propagators of both the spin-two and spin-zero modes are positive and well defined. The associated emergent gravitational theory is a bi-gravity theory, as is (secretly) the case in holography. The background metric on which the QFTs are defined, plays the role of dark energy and the emergent theory has always as a solution the original background metric. In the case where the hidden theory is holographic, the overall description yields a higher-dimensional bulk theory coupled to a brane. The effective graviton on the brane has four-dimensional characteristics both in the UV and IR and is always massive.


title: Interpretable and unsupervised phase classification

abstract: Fully automated classification methods that yield direct physical insights into phase diagrams are of current interest. Here, we demonstrate an unsupervised machine learning method for phase classification which is rendered interpretable via an analytical derivation of its optimal predictions and allows for an automated construction scheme for order parameters. Based on these findings, we propose and apply an alternative, physically-motivated, data-driven scheme which relies on the difference between mean input features. This mean-based method is computationally cheap and directly interpretable. As an example, we consider the physically rich ground-state phase diagram of the spinless Falicov-Kimball model.


title: Rise and Fall of Non-Fermi Liquid Fixed Points in Multipolar Kondo Problems

abstract: Recently it was shown that the multipolar Kondo problem, wherein a quantum impurity carrying higher-rank multipolar moments interacts with conduction electrons, leads to novel non-Fermi liquid states. Because of the multipolar character of the local moments, the form of the interaction with conduction electrons is strongly dependent on the orbital-symmetry of the conduction electrons via crystalline symmetry constraints. This suggests that there may exist a variety of different non-Fermi liquid states in generic multipolar Kondo problems depending on the character of conduction electrons. In this work, using renormalization group analysis, we investigate a model where the multipolar local moment is coupled to conduction electrons with two different orbital-symmetry components, namely $p$-wave and $f$-wave symmetries. When each orbital-symmetry component is present alone, non-Fermi liquid states with exactly the same thermodynamic singularities appear. When both orbital-symmetry components are allowed, however, a completely different non-Fermi liquid state arises via the quantum fluctuations in the mixed scattering channels. This remarkable result suggests that the multipolar Kondo problem presents novel opportunities for the discovery of unexpected non-Fermi liquid states.


title: Extremal quantum states

abstract: The striking differences between quantum and classical systems predicate disruptive quantum technologies. We peruse quantumness from a variety of viewpoints, concentrating on phase-space formulations because they can be applied beyond particular symmetry groups. The symmetry-transcending properties of the Husimi $Q$ function make it our basic tool. In terms of the latter, we examine quantities such as the Wehrl entropy, inverse participation ratio, cumulative multipolar distribution, and metrological power, which are linked to intrinsic properties of any quantum state. We use these quantities to formulate extremal principles and determine in this way which states are the most and least "quantum;" the corresponding properties and potential usefulness of each extremal principle are explored in detail. While the extrema largely coincide for continuous-variable systems, our analysis of spin systems shows that care must be taken when applying an extremal principle to new contexts.


title: Galaxy evolution across environments as probed by the ages, stellar metallicities and [alpha/Fe] of central and satellite galaxies

abstract: We explore how the star formation and metal enrichment histories of present-day galaxies have been affected by environment combining stellar population parameter estimates and group environment characterization for SDSS DR7. We compare stellar ages, stellar metallicities and element abundance ratios [alpha/Fe] of satellite and central galaxies, as a function of their stellar and host group halo mass, controlling for the current star formation rate and for the infall epoch. We confirm that below log(Mstar/Msun)=10.5 satellites are older and metal-richer than equally-massive central galaxies. On the contrary, we do not detect any difference in their [alpha/Fe]: this depends primarily on stellar mass and not on group hierarchy nor host halo mass. We also find that the differences in the median age and metallicity of satellites and centrals at stellar mass below 10^{10.5}Msun are largely due to the higher fraction of passive galaxies among satellites and as a function of halo mass. We argue that the observed trends at low masses reveal the action of satellite-specific environmental effects in a `delayed-then-rapid' fashion. When accounting for the varying quiescent fraction, small residual excess in age, metallicity and [alpha/Fe] emerge for satellites dominated by old stellar populations and residing in halos more massive than 10^{14}Msun, compared to equally-massive central galaxies. This excess in age, metallicity and [alpha/Fe] pertain to ancient infallers, i.e. satellites that have accreted onto the current halo more than 5 Gyr ago. This result points to the action of environment in the early phases of star formation in galaxies located close to cosmic density peaks.


title: SQuIGG$\vec{L}$E Survey: Massive z$\sim$0.6 Post-Starburst Galaxies Exhibit Flat Age Gradients

abstract: We present Gemini GMOS IFU observations of six massive ($M_\star\geq10^{11} \ M_\odot$) A-star dominated post-starburst galaxies at $z\sim0.6$. These galaxies are a subsample of the SQuIGG$\vec{L}$E Survey, which selects intermediate-redshift post-starbursts from the Sloan Digital Sky Survey spectroscopic sample (DR14) with spectral shapes that indicate they have recently shut off their primary epoch of star formation. Using $H\delta_A$ absorption as a proxy for stellar age, we constrain five of the galaxies to have young ($\sim 600$ Myr) light-weighted ages at all radii and find that the sample on average has flat age gradients. We examine the spatial distribution of mass-weighted properties by fitting our profiles with a toy model including a young, centrally concentrated burst superimposed on an older, extended population. We find that galaxies with flat $H\delta_A$ profiles are inconsistent with formation via a central secondary starburst. This implies that the mechanism responsible for shutting off this dominant episode of star formation must have done so uniformly throughout the galaxy.


title: Tunable vortex Majorana zero modes in LiFeAs superconductor

abstract: The recent realization of pristine Majorana zero modes (MZMs) in vortices of iron-based superconductors (FeSCs) provides a promising platform for long-sought-after fault-tolerant quantum computation. A large topological gap between the MZMs and the lowest excitations enabled detailed characterization of vortex MZMs in those materials. Despite those achievements, a practical implementation of topological quantum computation based on MZM braiding remains elusive in this new Majorana platform. Among the most pressing issues are the lack of controllable tuning methods for vortex MZMs and inhomogeneity of the FeSC Majorana compounds that destroys MZMs during the braiding process. Thus, the realization of tunable vortex MZMs in a truly homogeneous compound of stoichiometric composition and with a charge neutral cleavage surface is highly desirable. Here we demonstrate experimentally that the stoichiometric superconductor LiFeAs is a good candidate to overcome these two obstacles. Using scanning tunneling microscopy, we discover that the MZMs, which are absent on the natural surface, can appear in vortices influenced by native impurities. Our detailed analysis and model calculations clarify the mechanism of emergence of MZMs in this material, paving a way towards MZMs tunable by controllable methods such as electrostatic gating. The tunability of MZMs in this homogeneous material offers an unprecedented platform to manipulate and braid MZMs, the essential ingredients for topological quantum computation.


title: Evaluating and Characterizing Human Rationales

abstract: Two main approaches for evaluating the quality of machine-generated rationales are: 1) using human rationales as a gold standard; and 2) automated metrics based on how rationales affect model behavior. An open question, however, is how human rationales fare with these automatic metrics. Analyzing a variety of datasets and models, we find that human rationales do not necessarily perform well on these metrics. To unpack this finding, we propose improved metrics to account for model-dependent baseline performance. We then propose two methods to further characterize rationale quality, one based on model retraining and one on using "fidelity curves" to reveal properties such as irrelevance and redundancy. Our work leads to actionable suggestions for evaluating and characterizing rationales.


title: Polarization properties of methanol masers

abstract: (Abridged) Astronomical masers have been effective tools to study magnetic fields for many years. In particular, methanol can be used to probe different parts of protostars such as accretion discs and outflows, since it produces one of the strongest and the most commonly observed masers in massive star-forming regions. We investigate the polarization properties of selected methanol maser transitions in light of newly calculated methanol Land\'e g-factors and considering hyperfine components. We compare our results with previous observations and we evaluate the effect of preferred hyperfine pumping and non-Zeeman effects. We run simulations using the radiative transfer code CHAMP. We find a dependence of linear and circular polarization fractions on the hyperfine transitions. Preferred hyperfine pumping can explain some high levels of linear and circular polarization and some of the peculiar features seen in the S-shape of observed V-profiles. Methanol masers are not significantly affected by non-Zeeman effects. Our models show that for methanol maser emission, both the linear and circular polarization percentages depend on which hyperfine transition is masing and the degree to which it is being pumped. Since non-Zeeman effects become more relevant at high values of brightness temperatures, it is important to obtain good estimates of these quantities and on maser beaming angles. Better constraints on the brightness temperature will help in understand about the extent to which non-Zeeman effects contribute to the observed polarization percentages. In order to detect separate hyperfine components, an intrinsic thermal line width significantly smaller than the hyperfine separation is required.


title: Quantum gravitational onset of Starobinsky inflation in a closed universe

abstract: Recent cosmic microwave background observations favor low energy scale inflationary models in a closed universe. However, onset of inflation in such models for a closed universe is known to be severely problematic. In particular, such a universe recollapses within a few Planck seconds and encounters a big crunch singularity when initial conditions are given in the Planck regime. We show that this problem of onset of inflation in low energy scale inflationary models can be successfully overcome in a quantum gravitational framework where the big bang/big crunch singularities are resolved and a non-singular cyclic evolution exists prior to inflation. As an example we consider a model in loop quantum cosmology and demonstrate that the successful onset of low energy scale inflation in a closed universe is possible for the Starobinsky inflationary model starting from a variety of initial conditions where it is impossible in the classical theory. For comparison we also investigate the onset of inflation in the $\phi^2$ inflationary model under similar unfavorable conditions. The pre-inflationary phase with quantum gravity effects is shown to be composed of non-identical cycles of bounces and recollapses resulting in a hysteresis-like phenomenon, which plays an important role in creating suitable conditions for inflation to occur after some number of non-singular cycles. Our analysis shows that the tension in the classical theory amounting to the unsuitability of closed FLRW universes with respect to the onset of low energy scale inflation can be successfully resolved in loop quantum cosmology.


title: High-order corrections to inflationary perturbation spectra in quantum gravity

abstract: We compute the inflationary perturbation spectra and the quantity $r+8n_{T}$ to the next-to-next-to-leading log order in quantum gravity with purely virtual particles (which means the theory $R+R^{2}+C^{2}$ with the fakeon prescription/projection for $C^{2}$). The spectra are functions of the inflationary running coupling $\alpha (1/k)$ and satisfy the cosmic renormalization-group flow equations, which determine the tilts and the running coefficients. The tensor fluctuations receive contributions from the spin-2 fakeon $\chi_{\mu \nu }$ at every order of the expansion in powers of $\alpha \sim 1/115$. The dependence of the scalar spectrum on the $\chi_{\mu \nu }$ mass $m_{\chi }$, on the other hand, starts from the $\alpha ^{2}$ corrections, which are handled perturbatively in the ratio $m_{\phi }/m_{\chi }$, where $m_{\phi }$ is the inflaton mass. The predictions have theoretical errors ranging from $\alpha ^{4}\sim 10^{-8}$ to $\alpha ^{3}\sim 10^{-6}$. Nontrivial issues concerning the fakeon projection at higher orders are addressed.


title: Graph Convolutional Value Decomposition in Multi-Agent Reinforcement Learning

abstract: We propose a novel framework for value function factorization in multi-agent deep reinforcement learning (MARL) using graph neural networks (GNNs). In particular, we consider the team of agents as the set of nodes of a complete directed graph, whose edge weights are governed by an attention mechanism. Building upon this underlying graph, we introduce a mixing GNN module, which is responsible for i) factorizing the team state-action value function into individual per-agent observation-action value functions, and ii) explicit credit assignment to each agent in terms of fractions of the global team reward. Our approach, which we call GraphMIX, follows the centralized training and decentralized execution paradigm, enabling the agents to make their decisions independently once training is completed. We show the superiority of GraphMIX as compared to the state-of-the-art on several scenarios in the StarCraft II multi-agent challenge (SMAC) benchmark. We further demonstrate how GraphMIX can be used in conjunction with a recent hierarchical MARL architecture to both improve the agents' performance and enable fine-tuning them on mismatched test scenarios with higher numbers of agents and/or actions.


title: Investigating The Growing Population of Massive Quiescent Galaxies at Cosmic Noon

abstract: We explore the buildup of quiescent galaxies using a sample of 28,469 massive ($M_\star \ge 10^{11}$M$_\odot$) galaxies at redshifts $1.5<z<3.0$, drawn from a 17.5 deg$^2$ area (0.33 Gpc$^3$ comoving volume at these redshifts). This allows for a robust study of the quiescent fraction as a function of mass at $1.5<z<3.0$ with a sample $\sim$40 times larger at log($M_{\star}$/$\rm M_{\odot}$)$\ge11.5$ than previous studies. We derive the quiescent fraction using three methods: specific star-formation rate, distance from the main sequence, and UVJ color-color selection. All three methods give similar values at $1.5<z<2.0$, however the results differ by up to a factor of two at $2.0<z<3.0$. At redshifts $1.5 < z < 3.0$ the quiescent fraction increases as a function of stellar mass. By $z=2$, only 3.3 Gyr after the Big Bang, the universe has quenched $\sim$25% of $M_\star = 10^{11}$M$_\odot$ galaxies and $\sim$45% of $M_\star = 10^{12}$M$_\odot$ galaxies. We discuss physical mechanisms across a range of epochs and environments that could explain our results. We compare our results with predictions from hydrodynamical simulations SIMBA and IllustrisTNG and semi-analytic models (SAMs) SAG, SAGE, and Galacticus. The quiescent fraction from IllustrisTNG is higher than our empirical result by a factor of $2-5$, while those from SIMBA and the three SAMs are lower by a factor of $1.5-10$ at $1.5<z<3.0$.


title: Machine Learning approach to muon spectroscopy analysis

abstract: In recent years, Artificial Intelligence techniques have proved to be very successful when applied to problems in physical sciences. Here we apply an unsupervised Machine Learning (ML) algorithm called Principal Component Analysis (PCA) as a tool to analyse the data from muon spectroscopy experiments. Specifically, we apply the ML technique to detect phase transitions in various materials. The measured quantity in muon spectroscopy is an asymmetry function, which may hold information about the distribution of the intrinsic magnetic field in combination with the dynamics of the sample. Sharp changes of shape of asymmetry functions - measured at different temperatures - might indicate a phase transition. Existing methods of processing the muon spectroscopy data are based on regression analysis, but choosing the right fitting function requires knowledge about the underlying physics of the probed material. Conversely, Principal Component Analysis focuses on small differences in the asymmetry curves and works without any prior assumptions about the studied samples. We discovered that the PCA method works well in detecting phase transitions in muon spectroscopy experiments and can serve as an alternative to current analysis, especially if the physics of the studied material are not entirely known. Additionally, we found out that our ML technique seems to work best with large numbers of measurements, regardless of whether the algorithm takes data only for a single material or whether the analysis is performed simultaneously for many materials with different physical properties.


title: Lorentz from Galilei, deductively

abstract: I argue that in the Lagrangian formulation of standard, Galilei-invariant Newtonian mechanics there are subtle but concrete signs of {\em Lorentz} invariance. In fact, in a specific sense made explicit in the paper, Newtonian mechanics is more Lorentz-invariant than Galilei-invariant. So, special relativity could have been discovered deductively, before there were any indications---such as Maxwell's equations---that Galilei relativity had to be modified. To make this anti-historical exercise less academic, I derive certain velocity-dependent corrections to long-range interactions between spinless point particles. Such corrections are universal; in particular, they do not depend on the spin of the field mediating such interactions or on how strongly coupled such a field is. I discuss potential applications to the post-Newtonian expansion of general relativity.


title: Learning to Pronounce Chinese Without a Pronunciation Dictionary

abstract: We demonstrate a program that learns to pronounce Chinese text in Mandarin, without a pronunciation dictionary. From non-parallel streams of Chinese characters and Chinese pinyin syllables, it establishes a many-to-many mapping between characters and pronunciations. Using unsupervised methods, the program effectively deciphers writing into speech. Its token-level character-to-syllable accuracy is 89%, which significantly exceeds the 22% accuracy of prior work.


title: Probing Fundamental Physics with Gravitational Waves

abstract: The explosive coalescence of two black holes 1.3 billion light years away has for the very first time allowed us to peer into the extreme gravity region of spacetime surrounding these events. With these maximally compact objects reaching speeds up to 60% the speed of light, collision events such as these create harsh spacetime environments where the fields are strong, non-linear, and highly dynamical -- a place yet un-probed in human history. On September 14, 2015, the iconic chirp signal from such an event was registered simultaneously by both of the Laser Interferometer Gravitational-Wave Observatory (LIGO) detectors -- by an unparalleled feat of modern engineering. Dubbed "GW150914", this gravitational wave event paved the way for an entirely new observing window into the universe, providing for the unique opportunity to probe fundamental physics from an entirely new viewpoint. Since this historic event, the LIGO/Virgo collaboration (LVC) has further identified ten additional gravitational wave signals in its first two observing runs, composed of a myriad of different events. Important among these new cataloged detections is GW170817, the first detection of gravitational waves from the merger of two neutron stars, giving way to new insight into the supranuclear physics resident within. This thesis explores this new unique opportunity to harness the information encoded within gravitational waves in regards to their source whence they came, to probe fundamental physics from an entirely new perspective. Part A focuses on probing nuclear physics by way of the tidal information encoded within gravitational waves from binary neutron star mergers. Part B focuses on testing general relativity from such events by way of the remnants of such spacetime encoded within the gravitational wave signal.


title: Solving Historical Dictionary Codes with a Neural Language Model

abstract: We solve difficult word-based substitution codes by constructing a decoding lattice and searching that lattice with a neural language model. We apply our method to a set of enciphered letters exchanged between US Army General James Wilkinson and agents of the Spanish Crown in the late 1700s and early 1800s, obtained from the US Library of Congress. We are able to decipher 75.1% of the cipher-word tokens correctly.


title: MEEP: An Open-Source Platform for Human-Human Dialog Collection and End-to-End Agent Training

abstract: We create a new task-oriented dialog platform (MEEP) where agents are given considerable freedom in terms of utterances and API calls, but are constrained to work within a push-button environment. We include facilities for collecting human-human dialog corpora, and for training automatic agents in an end-to-end fashion. We demonstrate MEEP with a dialog assistant that lets users specify trip destinations.


title: Larger wavelengths suit the hydrodynamics of carangiform swimmers

abstract: The wavelength of undulatory kinematics of fish is an important parameter to determine their hydrodynamic performance. This study focuses on numerical examination of this feature by reconstructing the real physiological model and kinematics of steadily swimmning Jack Fish. We perform three-dimensional numerical simulations for flows over these models composed of the trunk, and dorsal, anal, and caudal fins. Moreover, we prescribe the carangiform-like motion for its undulation for a range of wavelengths. Undulation with larger wavelengths improves the hydrodynamic performance of the carangiform swimmer in terms of better thrust production by the caudal fin, lower drag production on the trunk, and reduced power consumption by the trunk. This coincides with the formation of stronger posterior body vortices and leading-edge vortices with more circulation on the caudal fin. The real kinematics of Jack Fish surpasses the performance of those with prescribed motion owing to the flexibility of the caudal fin.


title: Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

abstract: Lighthouse projects such as CompCert, seL4, IronFleet, and DeepSpec have demonstrated that full verification of entire systems is feasible by establishing a refinement relation between an abstract system specification and an executable implementation. Existing approaches however impose severe restrictions on either the abstract system specifications due to their limited expressiveness or versatility, or on the executable code due to their reliance on suboptimal code extraction or inexpressive program logics. We propose a novel methodology that combines the compositional refinement of abstract, event-based models of distributed systems with the verification of full-fledged program code using expressive separation logics, which support features of realistic programming languages like mutable heap data structures and concurrency. The main technical contribution of our work is a formal framework that soundly relates event-based system models to program specifications in separation logics, such that successful verification establishes a refinement relation between the model and the code. We formalized our framework, Igloo, in Isabelle/HOL. Our framework enables the sound combination of tools for protocol development with existing program verifiers. We report on three case studies, a leader election protocol, a replication protocol, and a security protocol, for which we refine formal requirements into program specifications (in Isabelle/HOL) that we implement in Java and Python and prove correct using the VeriFast and Nagini tools.


title: Counting Path Configurations in Parallel Diffusion

abstract: Parallel Diffusion is a variant of Chip-Firing introduced in 2018 by Duffy et al. In Parallel Diffusion, chips move from places of high concentration to places of low concentration through a discrete-time process. At each time step, every vertex sends a chip to each of its poorer neighbours, allowing for some vertices to perhaps fall into debt (represented by negative stack sizes). In their recent paper, Long and Narayanan proved a conjecture from the original paper by Duffy et al. that every Parallel Diffusion process eventually, after some pre-period, exhibits periodic behaviour. With this result, we are now able to count the number of these periods that exist up to a definition of isomorphism. We determine a recurrence relation for calculating this number for a path of any length. If $T_n$ is the number of configurations with period length 2 that can exist on $P_n$ up to isomorphism and $n$ is an integer greater than 4, we conclude that $T_n = 3T_{n-1} + 2T_{n-2} + T_{n-3} - T_{n-4}$.


title: Bounding and simulating contextual correlations in quantum theory

abstract: We introduce a hierarchy of semidefinite relaxations of the set of quantum correlations in generalised contextuality scenarios. This constitutes a simple and versatile tool for bounding the magnitude of quantum contextuality. To illustrate its utility, we use it to determine the maximal quantum violation of several noncontextuality inequalities whose maximum violations were previously unknown. We then go further and use it to prove that certain preparation-contextual correlations cannot be explained with pure states, thereby showing that mixed states are an indispensable resource for contextuality. In the second part of the paper, we turn our attention to the simulation of preparation-contextual correlations in general operational theories. We introduce the information cost of simulating preparation contextuality, which quantifies the additional, otherwise forbidden, information required to simulate contextual correlations in either classical or quantum models. In both cases, we show that the simulation cost can be efficiently bounded using a variant of our hierarchy of semidefinite relaxations, and we calculate it exactly in the simplest contextuality scenario of parity-oblivious multiplexing.


title: A Tale of Two Trees: New Analysis for AVL Tree and Binary Heap

abstract: In this paper, we provide new insights and analysis for the two elementary tree-based data structures - the AVL tree and binary heap. We presented two simple properties that gives a more direct way of relating the size of an AVL tree and the Fibonacci recurrence to establish the AVL tree's logarithmic height. We then give a potential function-based analysis of the bottom-up heap construction to get a simpler and tight bound for its worst-case running-time.


title: Impact Evaluation of Falsified Data Attacks on Connected Vehicle Based Traffic Signal Control

abstract: Connected vehicle (CV) technology enables data exchange between vehicles and transportation infrastructure and therefore has great potentials to improve current traffic signal control systems. However, this connectivity might also bring cyber security concerns. As the first step in investigating the cyber security of CV-based traffic signal control (CV-TSC) systems, potential cyber threats need to be identified and corresponding impact needs to be evaluated. In this paper, we aim to evaluate the impact of cyber attacks on CV-TSC systems by considering a realistic attack scenario in which the control logic of a CV-TSC system is unavailable to attackers. Our threat model presumes that an attacker may learn the control logic using a surrogate model. Based on the surrogate model, the attacker may launch falsified data attacks to influence signal control decisions. In the case study, we realistically evaluate the impact of falsified data attacks on an existing CV-TSC system (i.e., I-SIG).


title: Explicit Time Mimetic Discretiztions Of Wave Equations

abstract: This paper is part of a program to combine a staggered time and staggered spatial discretization of continuum wave equations so that important properties of the continuum that are proved using vector calculus can be proven in an analogous way for the discretized system. The spatial discretizations are second order accurate and mimetic. The time discretizations second are order accurate explicit leapfrog schemes. The discretizations have a conserved quantity that guarantees stability for a reasonable constraint on the time step. The conserved quantities are closely related to the energy for the continuum equations.


title: Investigating Cross-Linguistic Adjective Ordering Tendencies with a Latent-Variable Model

abstract: Across languages, multiple consecutive adjectives modifying a noun (e.g. "the big red dog") follow certain unmarked ordering rules. While explanatory accounts have been put forward, much of the work done in this area has relied primarily on the intuitive judgment of native speakers, rather than on corpus data. We present the first purely corpus-driven model of multi-lingual adjective ordering in the form of a latent-variable model that can accurately order adjectives across 24 different languages, even when the training and testing languages are different. We utilize this novel statistical model to provide strong converging evidence for the existence of universal, cross-linguistic, hierarchical adjective ordering tendencies.


title: Exponential time integrators for unsteady advection-diffusion problems on refined meshes

abstract: Time integration of advection dominated advection-diffusion problems on refined meshes can be a challenging task, since local refinement can lead to a severe time step restriction, whereas standard implicit time stepping is usually hardly suitable for treating advection terms. We show that exponential time integrators can be an efficient, yet conceptually simple, option in this case. Our comparison includes three exponential integrators and one conventional scheme, the two-stage Rosenbrock method ROS2 which has been a popular alternative to splitting methods for solving advection-diffusion problems.


title: Predictive Modeling of Anatomy with Genetic and Clinical Data

abstract: We present a semi-parametric generative model for predicting anatomy of a patient in subsequent scans following a single baseline image. Such predictive modeling promises to facilitate novel analyses in both voxel-level studies and longitudinal biomarker evaluation. We capture anatomical change through a combination of population-wide regression and a non-parametric model of the subject's health based on individual genetic and clinical indicators. In contrast to classical correlation and longitudinal analysis, we focus on predicting new observations from a single subject observation. We demonstrate prediction of follow-up anatomical scans in the ADNI cohort, and illustrate a novel analysis approach that compares a patient's scans to the predicted subject-specific healthy anatomical trajectory. The code is available at https://github.com/adalca/voxelorb.


title: Some Inclusion Relations for Fuzzy Sets

abstract: We give some inclusion relations for arbitrary fuzzy sets with reference to famous inequalities. In particular, we can know that the bounded sum and the algebraic product go well together. We would like to propose the concept of `Fuzzy Set Inequalities' through the present note.


title: A Generic Approach to Detect Design Patterns in Model Transformations Using a String-Matching Algorithm

abstract: Maintaining software artifacts is among the hardest tasks an engineer faces. Like any other piece of code, model transformations developed by engineers are also subject to maintenance. To facilitate the comprehension of programs, software engineers rely on many techniques, such as design pattern detection. Therefore, detecting design patterns in model transformation implementations is of tremendous value for developers. In this paper, we propose a generic technique to detect design patterns and their variations in model transformation implementations automatically. It takes as input a set of model transformation rules and the participants of a model transformation design pattern to find occurrences of the latter in the former. The technique also detects certain kinds of degenerate forms of the pattern, thus indicating potential opportunities to improve the model transformation implementation.


title: A GPU-accelerated mixed-precision WENO method for extremal black hole and gravitational wave physics computations

abstract: We develop and use a novel mixed-precision weighted essentially non-oscillatory (WENO) method for solving the Teukolsky equation, which arises when modeling perturbations of Kerr black holes. We show that WENO methods outperform higher-order finite-difference methods, standard in the discretization of the Teukolsky equation, due to the need to add dissipation for stability purposes in the latter. In particular, as the WENO scheme uses no additional dissipation it is well-suited for scenarios requiring long-time evolution such as the study of Price tails and gravitational wave emission from extreme mass ratio binaries. In the mixed-precision approach, the expensive computation of the WENO weights is performed in reduced floating-point precision that results in a significant speedup factor of 3.3. In addition, we use state-of-the-art Nvidia general-purpose graphics processing units and cluster parallelism to further accelerate the WENO computations. Our optimized WENO solver can be used to quickly generate accurate results of significance in the field of black hole and gravitational wave physics. We apply our solver to study the behavior of the Aretakis charge -- a conserved quantity, that if detected by a gravitational wave observatory like LIGO/Virgo would prove the existence of extremal black holes.

categories: math.NA cs.NA gr-qc math.AP physics.comp-ph


title: Uniqueness and weak-BV stability for $2\times 2$ conservation laws

abstract: Let a 1-d system of hyperbolic conservation laws, with two unknowns, be endowed with a convex entropy. We consider the family of small $BV$ functions which are global solutions of this equation. For any small $BV$ initial data, such global solutions are known to exist. Moreover, they are known to be unique among $BV$ solutions verifying either the so-called Tame Oscillation Condition, or the Bounded Variation Condition on space-like curves. In this paper, we show that these solutions are stable in a larger class of weak (and possibly not even $BV$) solutions of the system. This result extends the classical weak-strong uniqueness results which allow comparison to a smooth solution. Indeed our result extends these results to a weak-$BV$ uniqueness result, where only one of the solutions is supposed to be small $BV$, and the other solution can come from a large class. As a consequence of our result, the Tame Oscillation Condition, and the Bounded Variation Condition on space-like curves are not necessary for the uniqueness of solutions in the $BV$ theory, in the case of systems with 2 unknowns. The method is $L^2$ based. It builds up from the theory of a-contraction with shifts, where suitable weight functions $a$ are generated via the front tracking method.


title: Counterfactually-Augmented SNLI Training Data Does Not Yield Better Generalization Than Unaugmented Data

abstract: A growing body of work shows that models exploit annotation artifacts to achieve state-of-the-art performance on standard crowdsourced benchmarks---datasets collected from crowdworkers to create an evaluation task---while still failing on out-of-domain examples for the same task. Recent work has explored the use of counterfactually-augmented data---data built by minimally editing a set of seed examples to yield counterfactual labels---to augment training data associated with these benchmarks and build more robust classifiers that generalize better. However, Khashabi et al. (2020) find that this type of augmentation yields little benefit on reading comprehension tasks when controlling for dataset size and cost of collection. We build upon this work by using English natural language inference data to test model generalization and robustness and find that models trained on a counterfactually-augmented SNLI dataset do not generalize better than unaugmented datasets of similar size and that counterfactual augmentation can hurt performance, yielding models that are less robust to challenge examples. Counterfactual augmentation of natural language understanding data through standard crowdsourcing techniques does not appear to be an effective way of collecting training data and further innovation is required to make this general line of work viable.


title: Infinite order differential operators acting on entire hyperholomorphic functions

abstract: Infinite order differential operators appear in different fields of Mathematics and Physics and in the last decades they turned out to be of fundamental importance in the study of the evolution of superoscillations as initial datum for Schr\"odinger equation. Inspired by the operators arising in quantum mechanics, in this paper we investigate the continuity of a class of infinite order differential operators acting on spaces of entire hyperholomorphic functions. The two classes of hyperholomorphic functions, that constitute a natural extension of functions ofone complex variable to functions of paravector variables are illustrated by the Fueter-Sce-Qian mapping theorem. We show that, even though the two notions of hyperholomorphic functions are quite different from each other, entire hyperholomorphic functions with exponential bounds play a crucial role in the continuity of infinite order differential operators acting on these two classes of entire hyperholomorphic functions. We point out the remarkable fact that the exponential function of a paravector variable is not in the kernel of the Dirac operator but entire monogenic functions with exponential bounds play an important role in the theory.


title: The effective fluid approach for modified gravity

abstract: Current and coming surveys will require sub-percent agreement in theoretical accuracy to test the different cosmological and gravity scenarios. This can be performed with Boltzmann solvers, i.e. codes that solve the linear evolution of cosmological perturbations. Given the plethora of gravity models, it is crucial to have a standardized unified way to describe all of them and take them into account in a Boltzmann code. Dark Energy (DE) and Modified Gravity (MG) models, although at a first glance quite dissimilar, are possible to unify them within the same framework. In this paper we present a scenario, based on the effective fluid approach that allows to map any modified gravity model as an effective dark energy fluid and then we show how to implement it into existing Boltzmann codes in a simple and straightforward way. This approach has also the advantage that only a handful of variables are needed to compute, i.e the equation of state $w(a)$ at the background level and the sound speed $c_s^2(a,k)$ and the anisotropic stress $\pi(a,k)$ at the linear perturbation. In particular we show that with simple modifications to the latter Cosmic Linear Anisotropy Solving System (CLASS) code, which we called EFCLASS, we provide competitive results in a much simpler and less error-prone approach in including the effects of modified gravity models. To test our modifications, we particularize the effective fluid approach to f(R) theories and a surviving class of Horndeski models, the designer Horndeski (HDES) which have a background exactly to the standard cosmological model $\Lambda$CDM.


title: Analysis of XMM-Newton Observations of Supernova Remnant W49B and Clues to the Progenitor

abstract: W49B is a supernova remnant (SNR) discovered over 60 years ago in early radio surveys. It has since been observed over the entire wavelength range, with the X-ray morphology resembling a centrally-filled SNR. The nature of its progenitor star is still debated. Applying Smoothed Particle Inference techniques to analyze the X-Ray emission from W49B, we characterize the morphology and abundance distribution over the entire remnant. We also infer the density structure and derive the mass of individual elements present in the plasma. The morphology is consistent with an interaction between the remnant and a dense medium along the eastern edge, and some obstruction towards the west. We find a total mass of 130 $(\pm 16)$ M$_{\odot}$ and an estimated ejecta mass of 1.2 $(\pm 0.2)$ M$_{\odot}$. Comparison of the inferred abundance values and individual element masses with a wide selection of SN models suggests that deflagration-to-detonation (DDT) Type Ia models are the most compatible, with Fe abundance being the major discriminating factor. The general agreement between our abundance measurements and those from previous studies suggests that disagreement between various authors is more likely due to the choice of models used for comparison, rather than the abundance values themselves. While our abundance results lean toward a Type Ia origin, ambiguities in the interpretation of various morphological and spectral characteristics of W49B do not allow us to provide a definitive classification.


title: Tunable Magnetism and Insulator-Metal Transition in Bilayer Perovskites

abstract: Two-dimensional (2D) transition-metal oxide perovskites greatly expand the field of available 2D multifunctional material systems. Here, based on density functional theory calculations, we predicted the presence of ferromagnetism orders accompanying with an insulator-metal phase transition in bilayer $KNbO_{3}$ and $KTaO_{3}$ by applying strain engineering and/or external electric field. Our results will contribute to the applications of few-layer transition metal oxide perovskites in the emerging spintronics and straintronics.


title: Robust Behavioral Cloning for Autonomous Vehicles using End-to-End Imitation Learning

abstract: In this work, we present a lightweight pipeline for robust behavioral cloning of a human driver using end-to-end imitation learning. The proposed pipeline was employed to train and deploy three distinct driving behavior models onto a simulated vehicle. The training phase comprised of data collection, balancing, augmentation, preprocessing and training a neural network, following which, the trained model was deployed onto the ego vehicle to predict steering commands based on the feed from an onboard camera. A novel coupled control law was formulated to generate longitudinal control commands on-the-go based on the predicted steering angle and other parameters such as actual speed of the ego vehicle and the prescribed constraints for speed and steering. We analyzed computational efficiency of the pipeline and evaluated robustness of the trained models through exhaustive experimentation during the deployment phase. We also compared our approach against state-of-the-art implementation in order to comment on its validity.


title: GFCCLib: Scalable and Efficient Coupled-Cluster Green's Function Library for Accurately Tackling Many Body Electronic Structure Problems

abstract: Coupled cluster Green's function (GFCC) calculation has drawn much attention in the recent years for targeting the molecular and material electronic structure problems from a many body perspective in a systematically improvable way. However, GFCC calculations on scientific computing clusters usually suffer from expensive higher dimensional tensor contractions in the complex space, expensive interprocess communication, and severe load imbalance, which limits it's routine use for tackling electronic structure problems. Here we present a numerical library prototype that is specifically designed for large scale GFCC calculations. The design of the library is focused on a systematically optimal computing strategy to improve its scalability and efficiency. The performance of the library is demonstrated by the relevant profiling analysis of running GFCC calculations on remote giant computing clusters. The capability of the library is highlighted by computing a wide near valence band of a fullerene C60 molecule for the first time at the GFCCSD level that shows excellent agreement with the experimental spectrum.


title: Generalization of the power-law rating curve using hydrodynamic theory and Bayesian hierarchical modeling

abstract: The power-law rating curve has been used extensively in hydraulic practice and hydrology. It is given by $Q(h)=a(h-c)^b$, where $Q$ is discharge, $h$ is water elevation, $a$, $b$ and $c$ are unknown parameters. We propose a novel extension of the power-law rating curve, referred to as the generalized power-law rating curve. It is constructed by linking the physics of open channel flow to a model of the form $Q(h)=a(h-c)^{f(h)}$. The function $f(h)$ is referred to as the power-law exponent and it depends on the water elevation. The proposed model and the power-law model are fitted within the framework of Bayesian hierarchical models. By exploring the properties of the proposed rating curve and its power-law exponent, we find that cross sectional shapes that are likely to be found in nature are such that the power-law exponent $f(h)$ will usually be in the interval $[1.0,2.67]$. This fact is utilized for the construction of prior densities for the model parameters. An efficient Markov chain Monte Carlo sampling scheme, that utilizes the lognormal distributional assumption at the data level and Gaussian assumption at the latent level, is proposed for the two models. The two statistical models were applied to four datasets. In the case of three datasets the generalized power-law rating curve gave a better fit than the power-law rating curve while in the fourth case the two models fitted equally well and the generalized power-law rating curve mimicked the power-law rating curve.


title: $b$-Structures on Lie groups and Poisson reduction

abstract: Motivated by the group of Galilean transformations and the subgroup of Galilean transformations which fix time zero, we introduce the notion of a $b$-Lie group as a pair $(G,H)$ where $G$ is a Lie group and $H$ is a codimension-one Lie subgroup. Such a notion allows us to give a theoretical framework for transformations of space-time where the initial time can be seen as a boundary. In this theoretical framework, we develop the basics of the theory and study the associated canonical $b$-symplectic structure on the $b$-cotangent bundle $^b {T}^\ast G$ together with its reduction theory. Namely, we extend the minimal coupling procedure to $^bT^*G/H$ and prove that the Poisson reduction under the cotangent lifted action of $H$ by left translations can be described in terms of the Lie Poisson structure on $\mathfrak{h}^\ast$ (where $\mathfrak{h}$ is the Lie algebra of $H$) and the canonical $b$-symplectic structure on $^b {T}^\ast(G/H)$, where $G/H$ is viewed as a one-dimensional $b$-manifold having as critical hypersurface (in the sense of $b$-manifolds) the identity element.


title: Off the Grid... and Back Again? The Recent Evolution of American Street Network Planning and Design

abstract: This morphological study identifies and measures recent nationwide trends in American street network design. Historically, orthogonal street grids provided the interconnectivity and density that researchers identify as important factors for reducing vehicular travel and emissions and increasing road safety and physical activity. During the 20th century, griddedness declined in planning practice alongside declines in urban form compactness, density, and connectivity as urbanization sprawled around automobile dependence. But less is known about comprehensive empirical trends across US neighborhoods, especially in recent years. This study uses public and open data to examine tract-level street networks across the entire US. It develops theoretical and measurement frameworks for a quality of street networks defined here as griddedness. It measures how griddedness, orientation order, straightness, 4-way intersections, and intersection density declined from 1940 through the 1990s while dead-ends and block lengths increased. However, since 2000, these trends have rebounded, shifting back toward historical design patterns. Yet, despite this rebound, when controlling for topography and built environment factors all decades post-1939 are associated with lower griddedness than pre-1940. Higher griddedness is associated with less car ownership - which itself has a well-established relationship with vehicle kilometers traveled and greenhouse gas emissions - while controlling for density, home and household size, income, jobs proximity, street network grain, and local topography. Interconnected grid-like street networks offer practitioners an important tool for curbing car dependence and emissions. Once established, street patterns determine urban spatial structure for centuries, so proactive planning is essential.


title: Staggered spin Hall conductivity

abstract: The intrinsic spin Hall effect plays an important role in spintronics applications, such as spin-orbit torque-based memory. The bulk space group symmetry determines the form of the bulk spin current conductivity tensor. This paper considers materials for which the local point group symmetry of individual atoms is lower than the global (bulk) symmetry. This enables a position-dependent spin current response, with additional tensor components allowed relative to the bulk response. We present a general method to compute the position-dependent intrinsic spin Hall conductivity, with similar computational effort relative to computing the bulk spin Hall conductivity. We also present the general symmetry-constrained form of the position-dependent spin current response. We apply this method to 1T'-WTe$_2$, which exhibits a conventional spin Hall conductivity tensor component $\sigma^y_{xz}$ and a staggered unconventional component $\sigma^z_{xz}$. The magnitude of these two components, around 100 and 20 $(\rm \Omega\cdot cm)^{-1}$, respectively, are comparable to the spin-orbit torque exerted on adjacent ferromagnets in experiments. We then consider orthorhombic PbTe, in which both uniform and staggered spin current conductivity are one order of magnitude larger.


title: Thermal-Aware Compilation of Spiking Neural Networks to Neuromorphic Hardware

abstract: Hardware implementation of neuromorphic computing can significantly improve performance and energy efficiency of machine learning tasks implemented with spiking neural networks (SNNs), making these hardware platforms particularly suitable for embedded systems and other energy-constrained environments. We observe that the long bitlines and wordlines in a crossbar of the hardware create significant current variations when propagating spikes through its synaptic elements, which are typically designed with non-volatile memory (NVM). Such current variations create a thermal gradient within each crossbar of the hardware, depending on the machine learning workload and the mapping of neurons and synapses of the workload to these crossbars. \mr{This thermal gradient becomes significant at scaled technology nodes and it increases the leakage power in the hardware leading to an increase in the energy consumption.} We propose a novel technique to map neurons and synapses of SNN-based machine learning workloads to neuromorphic hardware. We make two novel contributions. First, we formulate a detailed thermal model for a crossbar in a neuromorphic hardware incorporating workload dependency, where the temperature of each NVM-based synaptic cell is computed considering the thermal contributions from its neighboring cells. Second, we incorporate this thermal model in the mapping of neurons and synapses of SNN-based workloads using a hill-climbing heuristic. The objective is to reduce the thermal gradient in crossbars. We evaluate our neuron and synapse mapping technique using 10 machine learning workloads for a state-of-the-art neuromorphic hardware. We demonstrate an average 11.4K reduction in the average temperature of each crossbar in the hardware, leading to a 52% reduction in the leakage power consumption (11% lower total energy consumption) compared to a performance-oriented SNN mapping technique.


title: QCD beyond diagrams

abstract: QCD, the theory of the strong interactions, involves quarks interacting with non-Abelian gluon fields. This theory has many features that are difficult to impossible to see in conventional diagrammatic perturbation theory. This includes quark confinement, mass generation, and chiral symmetry breaking. This paper is a colloquium level overview of the framework for understanding how these effects come about.


title: Bayesian Poisson Log-normal Model with Regularized Time Structure for Mortality Projection of Multi-population

abstract: The improvement of mortality projection is a pivotal topic in the diverse branches related to insurance, demography, and public policy. Motivated by the thread of Lee-Carter related models, we propose a Bayesian model to estimate and predict mortality rates for multi-population. This new model features in information borrowing among populations and properly reflecting variations of data. It also provides a solution to a long-time overlooked problem: model selection for dependence structures of population-specific time parameters. By introducing a Dirac spike function, simultaneous model selection and estimation for population-specific time effects can be achieved without much extra computation cost. We use the Japanese mortality data from Human Mortality Database to illustrate the desirable properties of our model.


title: Impacts of random filling on spin squeezing via Rydberg dressing in optical clocks

abstract: We analyze spin squeezing via Rydberg dressing in optical lattice clocks with random fractional filling. We compare the achievable clock stability in different lattice geometries, including unity-filled tweezer clock arrays and fractionally filled lattice clocks with varying dimensionality. We provide practical considerations and useful tools in the form of approximate analytical expressions and fitting functions to aid in the experimental implementation of Rydberg-dressed spin squeezing. We demonstrate that spin squeezing via Rydberg dressing in one-, two-, and three-dimensional optical lattices can provide significant improvements in stability in the presence of random fractional filling.


title: A Graph Neural Network Approach for Scalable and Dynamic IP Similarity in Enterprise Networks

abstract: Measuring similarity between IP addresses is an important task in the daily operations of any enterprise network. Applications that depend on an IP similarity measure include measuring correlation between security alerts, building baselines for behavioral modelling, debugging network failures and tracking persistent attacks. However, IPs do not have a natural similarity measure by definition. Deep Learning architectures are a promising solution here since they are able to learn numerical representations for IPs directly from data, allowing various distance measures to be applied on the calculated representations. Current works have utilized Natural Language Processing (NLP) techniques for learning IP embeddings. However, these approaches have no proper way to handle out-of-vocabulary (OOV) IPs not seen during training. In this paper, we propose a novel approach for IP embedding using an adapted graph neural network (GNN) architecture. This approach has the advantages of working on the raw data, scalability and, most importantly, induction, i.e. the ability to measure similarity between previously unseen IPs. Using data from an enterprise network, our approach is able to identify similarities between local DNS servers and root DNS servers even though some of these machines are never encountered during the training phase.


title: On the similarity between ranking vectors in the pairwise comparison method

abstract: There are many priority deriving methods for pairwise comparison matrices. It is known that when these matrices are consistent all these methods result in the same priority vector. However, when they are inconsistent, the results may vary. The presented work formulates an estimation of the difference between priority vectors in the two most popular ranking methods: the eigenvalue method and the geometric mean method. The estimation provided refers to the inconsistency of the pairwise comparison matrix. Theoretical considerations are accompanied by Montecarlo experiments showing the discrepancy between the values of both methods.


title: Alloying induces directionally-dependent mobility and alters migration mechanisms of faceted grain boundaries

abstract: Faceted grain boundaries exhibit unusual segregation and migration tendencies. To gain a deeper understanding of how solute atoms interact with faceted interfacial structures during migration, this study probes the migration behavior of a faceted $\Sigma$11 boundary in Cu doped with Ag atoms. The solutes are found to segregate to the facet with more free volume and strongly reduce boundary velocity in one migration direction, but not the other, due to the presence of a directionally-dependent motion mechanism that can escape solute pinning and therefore speed up migration. Hence, a new mechanism of chemically-induced anisotropy in grain boundary mobility is uncovered by these simulations.


title: On Twistor Almost Complex Structures

abstract: In this paper we look at the question of integrability, or not, of the two natural almost complex structures $J^{\pm}_\nabla$ defined on the twistor space $J(M,g)$ of an even-dimensional manifold $M$ with additional structures $g$ and $\nabla$ a $g$-connection. We also look at the question of the compatibility of $J^{\pm}_\nabla$ with a natural closed $2$-form $\omega^{J(M,g,\nabla)}$ defined on $J(M,g)$. For $(M,g)$ we consider either a pseudo-Riemannian manifold, orientable or not, with the Levi Civita connection or a symplectic manifold with a given symplectic connection $\nabla$. In all cases $J(M,g)$ is a bundle of complex structures on the tangent spaces of $M$ compatible with $g$ and we denote by $\pi \colon J(M,g) \longrightarrow M$ the bundle projection. In the case $M$ is oriented we require the orientation of the complex structures to be the given one. In the symplectic case the complex structures are positive.


title: A Decentralized Multi-Objective Optimization Algorithm

abstract: During the past two decades, multi-agent optimization problems have drawn increased attention from the research community. When multiple objective functions are present among agents, many works optimize the sum of these objective functions. However, this formulation implies a decision regarding the relative importance of each objective function. In fact, optimizing the sum is a special case of a multi-objective problem in which all objectives are prioritized equally. In this paper, a distributed optimization algorithm that explores Pareto optimal solutions for non-homogeneously weighted sums of objective functions is proposed. This exploration is performed through a new rule based on agents' priorities that generates edge weights in agents' communication graph. These weights determine how agents update their decision variables with information received from other agents in the network. Agents initially disagree on the priorities of the objective functions though they are driven to agree upon them as they optimize. As a result, agents still reach a common solution. The network-level weight matrix is (non-doubly) stochastic, which contrasts with many works on the subject in which it is doubly-stochastic. New theoretical analyses are therefore developed to ensure convergence of the proposed algorithm. This paper provides a gradient-based optimization algorithm, proof of convergence to solutions, and convergence rates of the proposed algorithm. It is shown that agents' initial priorities influence the convergence rate of the proposed algorithm and that these initial choices affect its long-run behavior. Numerical results performed with different numbers of agents illustrate the performance and efficiency of the proposed algorithm.


title: Learning Languages in the Limit from Positive Information with Finitely Many Memory Changes

abstract: We investigate learning collections of languages from texts by an inductive inference machine with access to the current datum and a bounded memory in form of states. Such a bounded memory states (BMS) learner is considered successful in case it eventually settles on a correct hypothesis while exploiting only finitely many different states. We give the complete map of all pairwise relations for an established collection of criteria of successfull learning. Most prominently, we show that non-U-shapedness is not restrictive, while conservativeness and (strong) monotonicity are. Some results carry over from iterative learning by a general lemma showing that, for a wealth of restrictions (the semantic restrictions), iterative and bounded memory states learning are equivalent. We also give an example of a non-semantic restriction (strongly non-U-shapedness) where the two settings differ.


title: Flattening van der Waals heterostructure interfaces by local thermal treatment

abstract: Fabrication of custom-built heterostructures based on stacked 2D materials provides an effective method to controllably tune electronic and optical properties. To that end, optimizing fabrication techniques for building these heterostructures is imperative. A common challenge in layer-by-layer assembly of 2D materials is the formation of bubbles at the atomically thin interfaces. We propose a technique for addressing this issue by removing the bubbles formed at the heterostructure interface in a custom-defined area using the heat generated by a laser, equipped with raster scanning capabilities. We demonstrate that the density of bubbles formed at graphene-ReS2 interfaces can be controllably reduced using this method. We discuss an understanding of the flattening mechanism by considering the interplay of interface thermal conductivities and adhesion energies between two atomically thin 2D materials.


title: Understanding Cu Incorporation in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ Structure using Resonant X-ray Diffraction

abstract: The ability to control carrier concentration based on the extent of Cu solubility in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ alloy compound (where 0 $\leq$ x $\leq$ 1) makes $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ an interesting case study in the field of thermoelectrics. While Cu clearly plays a role in this process, it is unknown exactly how Cu incorporates into the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ crystal structure and how this affects the carrier concentration. In this work, we use a combination of resonant energy X-ray diffraction (REXD) experiments and density functional theory (DFT) calculations to elucidate the nature of Cu incorporation into the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ structure. REXD across the $\mathrm{Cu_k}$ edge facilitates the characterization of Cu incorporation in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ alloy and enables direct quantification of anti-site defects. We find that Cu substitutes for Hg at a 2:1 ratio, wherein Cu annihilates a vacancy and swaps with a Hg atom. DFT calculations confirm this result and further reveal that the incorporation of Cu occurs preferentially on one of the z = 1/4 or z = 3/4 planes before filling the other plane. Furthermore, the amount of $\mathrm{Cu_{Hg}}$ anti-site defects quantified by REXD was found to be directly proportional to the experimentally measured hole concentration, indicating that the $\mathrm{Cu_{Hg}}$ defects are the driving force for tuning carrier concentration in the $\mathrm{Cu_{2x}Hg_{2-x}GeTe_4}$ alloy. The link uncovered here between crystal structure, or more specifically anti-site defects, and carrier concentration can be extended to similar cation-disordered material systems and will aid the development of improved thermoelectric and other functional materials through defect engineering.


title: A Reactive Autonomous Camera System for the RAVEN II Surgical Robot

abstract: The endoscopic camera of a surgical robot provides surgeons with a magnified 3D view of the surgical field, but repositioning it increases mental workload and operation time. Poor camera placement contributes to safety-critical events when surgical tools move out of the view of the camera. This paper presents a proof of concept of an autonomous camera system for the Raven II surgical robot that aims to reduce surgeon workload and improve safety by providing an optimal view of the workspace showing all objects of interest. This system uses transfer learning to localize and classify objects of interest within the view of a stereoscopic camera. The positions and centroid of the objects are estimated and a set of control rules determines the movement of the camera towards a more desired view. Our perception module had an accuracy of 61.21% overall for identifying objects of interest and was able to localize both graspers and multiple blocks in the environment. Comparison of the commands proposed by our system with the desired commands from a survey of 13 participants indicates that the autonomous camera system proposes appropriate movements for the tilt and pan of the camera.


title: Reparametrizing gradient descent

abstract: In this work, we propose an optimization algorithm which we call norm-adapted gradient descent. This algorithm is similar to other gradient-based optimization algorithms like Adam or Adagrad in that it adapts the learning rate of stochastic gradient descent at each iteration. However, rather than using statistical properties of observed gradients, norm-adapted gradient descent relies on a first-order estimate of the effect of a standard gradient descent update step, much like the Newton-Raphson method in many dimensions. Our algorithm can also be compared to quasi-Newton methods, but we seek roots rather than stationary points. Seeking roots can be justified by the fact that for models with sufficient capacity measured by nonnegative loss functions, roots coincide with global optima. This work presents several experiments where we have used our algorithm; in these results, it appears norm-adapted descent is particularly strong in regression settings but is also capable of training classifiers.


title: Cache Updating Strategy Minimizing the Age of Information with Time-Varying Files' Popularities

abstract: We consider updating strategies for a local cache which downloads time-sensitive files from a remote server through a bandwidth-constrained link. The files are requested randomly from the cache by local users according to a popularity distribution which varies over time according to a Markov chain structure. We measure the freshness of the requested time-sensitive files through their Age of Information (AoI). The goal is then to minimize the average AoI of all requested files by appropriately designing the local cache's downloading strategy. To achieve this goal, the original problem is relaxed and cast into a Constrained Markov Decision Problem (CMDP), which we solve using a Lagrangian approach and Linear Programming. Inspired by this solution for the relaxed problem, we propose a practical cache updating strategy that meets all the constraints of the original problem. Under certain assumptions, the practical updating strategy is shown to be optimal for the original problem in the asymptotic regime of a large number of files. For a finite number of files, we show the gain of our practical updating strategy over the traditional square-root-law strategy (which is optimal for fixed non time-varying file popularities) through numerical simulations.


title: A new degree of freedom for opinion dynamics models: the arbitrariness of scales

abstract: Opinion dynamics models have been developed to study and predict the evolution of public opinion. Intensive research has been carried out on these models, especially exploring the different rules and topologies, which can be considered two degrees of freedom of these models. In this paper we introduce what can be considered a third degree of freedom. Since it is not possible to directly access someone's opinions without measuring them, we always need to choose a way to transform real world opinions (e.g. being anti-Trump) into numbers. However, the properties of this transformation are usually not discussed in opinion dynamics literature. For example, it would be fundamental to know if this transformation of opinions into numbers should be unique, or if several are possible; and in the latter case, how the choice of the scale would affect the model dynamics. In this article we explore this question by using the knowledge developed in psychometrics. This field has been studying how to transform psychological constructs (such as opinions) into numbers for more than 100 years. We start by introducing this phenomenon by looking at a simple example in opinion dynamics. Then we provide the necessary mathematical background and analyze three opinion dynamics models introduced by Hegselmann and Krause. Finally, we test the models using agent-based simulations both in the case of perfect scales (infinite precision) and in the case of real world scales. Both in the theoretical analysis and in the simulations, we show how the choice of the scale (even in the case of perfect accuracy and precision) can strongly change the model's dynamics. Indeed, by choosing a different scale it is possible to (1) find different numbers of final opinion clusters, (2) change the mean value of the final opinion distribution up to a change of $\pm 100 \%$ and (3) even transform one model into another.


title: Bayesian Characterization of Uncertainties Surrounding Fluvial Flood Hazard Estimates

abstract: Fluvial floods drive severe risk to riverine communities. There is a strong evidence of increasing flood hazards in many regions around the world. The choice of methods and assumptions used in flood hazard estimates can impact the design of risk management strategies. In this study, we characterize the expected flood hazards conditioned on the uncertain model structures, model parameters and prior distributions of the parameters. We construct a Bayesian framework for river stage return level estimation using a nonstationary statistical model that relies exclusively on Indian Ocean Dipole Index. We show that ignoring uncertainties can lead to biased estimation of expected flood hazards. We find that the considered model parametric uncertainty is more influential than model structures and model priors. Our results highlight the importance of incorporating uncertainty in river stage estimates, and are of practical use for informing water infrastructure designs in a changing climate.


title: Inter-cluster Transmission Control Using Graph Modal Barriers

abstract: In this paper we consider the problem of transmission across a graph and how to effectively control/restrict it with limited resources. Transmission can represent information transfer across a social network, spread of a malicious virus across a computer network, or spread of an infectious disease across communities. The key insight is to assign proper weights to bottleneck edges of the graph based on their role in reducing the connection between two or more strongly-connected clusters within the graph. Selectively reducing the weights (implying reduced transmission rate) on the critical edges helps limit the transmission from one cluster to another. We refer to these as barrier weights and their computation is based on the eigenvectors of the graph Laplacian. Unlike other work on graph partitioning and clustering, we completely circumvent the associated computational complexities by assigning weights to edges instead of performing discrete graph cuts. This allows us to provide strong theoretical results on our proposed methods. We also develop approximations that allow low complexity distributed computation of the barrier weights using only neighborhood communication on the graph.


title: ChrEn: Cherokee-English Machine Translation for Endangered Language Revitalization

abstract: Cherokee is a highly endangered Native American language spoken by the Cherokee people. The Cherokee culture is deeply embedded in its language. However, there are approximately only 2,000 fluent first language Cherokee speakers remaining in the world, and the number is declining every year. To help save this endangered language, we introduce ChrEn, a Cherokee-English parallel dataset, to facilitate machine translation research between Cherokee and English. Compared to some popular machine translation language pairs, ChrEn is extremely low-resource, only containing 14k sentence pairs in total. We split our parallel data in ways that facilitate both in-domain and out-of-domain evaluation. We also collect 5k Cherokee monolingual data to enable semi-supervised learning. Besides these datasets, we propose several Cherokee-English and English-Cherokee machine translation systems. We compare SMT (phrase-based) versus NMT (RNN-based and Transformer-based) systems; supervised versus semi-supervised (via language model, back-translation, and BERT/Multilingual-BERT) methods; as well as transfer learning versus multilingual joint training with 4 other languages. Our best results are 15.8/12.7 BLEU for in-domain and 6.5/5.0 BLEU for out-of-domain Chr-En/EnChr translations, respectively, and we hope that our dataset and systems will encourage future work by the community for Cherokee language revitalization. Our data, code, and demo will be publicly available at https://github.com/ZhangShiyue/ChrEn


title: Impact of Three-Body Forces on Elastic Nucleon-Nucleus Scattering Observables

abstract: In a previous series of papers we investigated the domain of applicability of chiral potentials to the construction of a microscopic optical potential (OP) for elastic nucleon-nucleus scattering. The final expression of the OP was a folding integral between the nucleon-nucleon ($NN$) $t$ matrix and the nuclear density of the target. In these calculations $NN$ and three-nucleon ($3N$) chiral interactions were used for the target density and only the $NN$ interaction for the $NN$ $t$ matrix. The purpose of this work is to achieve another step towards the calculation of a more consistent OP introducing the $3N$ force also in the dynamic part of the OP. In the present work this is approximated with a density dependent $NN$ interaction obtained after the averaging over the Fermi sphere. In practice, in our model the $3N$ force acts as a medium correction of the bare $NN$ interaction used to calculate the $NN$ $t$ matrix. Even if the $3N$ force is treated in an approximate way, this method naturally extends our previous model of the OP and allows a direct comparison of our present and previous results. We consider as case studies the elastic scattering of nucleons off $^{12}$C and $^{16}$O. We present results for the differential cross section and the spin observables for different values of the projectile energy. From the comparison with the experimental data and with the results of our previous model we assess the importance of the $3N$ interaction in the dynamic part of the OP. Our analysis indicates that the contribution of the $3N$ force in the $t$ matrix is small for the differential cross section and it is sizable for the spin observables, in particular, for the analyzing power. A chiral expansion order-by-order analysis of the scattering observables confirms the convergence of our results at the next-to-next-to-next-to-leading-order, as already established in our previous work.


title: Spherical harmonic analysis for multivariate stable distributions

abstract: Series representations consisting of spherical harmonics are obtained for characteristic exponents and probability density functions of multivariate stable distributions under various conditions. A esult potentially applicable in a practical setting is that for any distribution with stability index not equal to 1 and with a polynomial spectral spherical density, the series representation converges absolutely with all terms being calculable in closed form. Asymptotic expansions consisting of spherical harmonics are also considered for probability density functions.


title: Cluster Activation Mapping with Applications to Medical Imaging

abstract: An open question in deep clustering is how to understand what in the image is creating the cluster assignments. This visual understanding is essential to be able to trust the results of an inherently complex algorithm like deep learning, especially when the derived cluster assignments may be used to inform decision-making or create new disease sub-types. In this work, we developed novel methodology to generate CLuster Activation Mapping (CLAM) which combines an unsupervised deep clustering framework with a modification of Score-CAM, an approach for discriminative localization in the supervised setting. We evaluated our approach using a simulation study based on computed tomography scans of the lung, and applied it to 3D CT scans from a sarcoidosis population to identify new clusters of sarcoidosis based purely on CT scan presentation.


title: Characterization of non-signaling correlations from mutual information

abstract: We present a characterization of the set of non-signaling correlations in terms of a two dimensional representation that involves the maximal value of a Bell functional and the mutual information between the parties. In particular, we apply this representation to the bipartite Bell scenario with two measurements and two outcomes. In terms of these physically meaningful quantities and through numerical optimization methods and some analytical results, we investigate the frontier between the different subsets of the non-signaling correlations, focussing on the quantum and post-quantum ones. Finally, we show that the Tsirelson bound appears as a singular point in this context without resorting to quantum mechanics.


title: Measuring Transit Signal Recovery in the Kepler Pipeline IV: Completeness of the DR25 Planet Candidate catalog

abstract: In this work we empirically measure the detection efficiency of Kepler pipeline used to create the final Kepler Threshold Crossing Event (TCE; Twicken et al. 2016) and planet candidate catalogs (Thompson et al. 2018), a necessary ingredient for occurrence rate calculations using these lists. By injecting simulated signals into the calibrated pixel data and processing those pixels through the pipeline as normal, we quantify the detection probability of signals as a function of their signal strength and orbital period. In addition we investigate the dependence of the detection efficiency on parameters of the target stars and their location in the Kepler field of view. We find that the end-of-mission version of the Kepler pipeline returns to a high overall detection efficiency, averaging a 90-95% rate of detection for strong signals across a wide variety of parameter space. We find a weak dependence of the detection efficiency on the number of transits contributing to the signal and the orbital period of the signal, and a stronger dependence on the stellar effective temperature and correlated noise properties. We also find a weak dependence of the detection efficiency on the position within the field of view. By restricting the Kepler stellar sample to stars with well-behaved correlated noise properties, we can define a set of stars with high detection efficiency for future occurrence rate calculations.


title: Direct Detection of Hawking Radiation from Asteroid-Mass Primordial Black Holes

abstract: Light, asteroid-mass primordial black holes, with lifetimes in the range between hundreds to several millions times the age of the universe, are well-motivated candidates for the cosmological dark matter. Using archival COMPTEL data, we improve over current constraints on the allowed parameter space of primordial black holes as dark matter by studying their evaporation to soft gamma-rays in nearby astrophysical structures. We point out that a new generation of proposed MeV gamma-ray telescopes will offer the unique opportunity to directly detect Hawking evaporation from observations of nearby dark matter dense regions and to constrain, or discover, the primordial black hole dark matter.


title: A Magnetized, Moon-Forming Giant Impact

abstract: The Moon is believed to have formed in the aftermath of a giant impact between a planetary mass body and the proto-Earth. In a typical giant impact scenario, a disk of vapor, liquid, and solid debris forms around the proto-Earth and--after possibly decades of evolution--condenses to form the Moon. Using state-of-the-art numerical simulations, we investigate the dynamical effects of magnetic fields on the Moon-forming giant impact. We show that turbulence generated by the collision itself, shear in the boundary layer between the post-impact debris field and the proto-Earth, and turbulence in the vapor component of the disk amplify the field to dynamically significant strengths. Magnetically driven turbulence promotes angular momentum transport in the protolunar disk. Debris material is accreted onto the proto-Earth, making Moon formation less efficient, while the disk is forced to spread to larger radii, cooling at its outer edge. Magnetic fields speed the evolution of the vapor component of the protolunar disk and hasten the formation of the Moon.


title: The Complexity of Mixed-Connectivity

abstract: We investigate the parameterized complexity in $a$ and $b$ of determining whether a graph~$G$ has a subset of $a$ vertices and $b$ edges whose removal disconnects $G$, or disconnects two prescribed vertices $s, t \in V(G)$.


title: Psamathe: A DSL with Flows for Safe Blockchain Assets

abstract: Blockchains host smart contracts for crowdfunding, tokens, and many other purposes. Vulnerabilities in contracts are often discovered, leading to the loss of large quantities of money. Psamathe is a new language we are designing around a new flow abstraction, reducing asset bugs and making contracts more concise than in existing languages. We present an overview of Psamathe, including a partial formalization. We also discuss several example contracts in Psamathe, and compare the Psamathe examples to the same contracts written in Solidity.


title: Semi-Automated Protocol Disambiguation and Code Generation

abstract: For decades, Internet protocols have been specified using natural language. Given the ambiguity inherent in such text, it is not surprising that protocol implementations have long exhibited bugs. In this paper, we apply natural language processing (NLP) to effect semi-automated generation of protocol implementations from specification text. Our system, SAGE, can uncover ambiguous or under-specified sentences in specifications; once these are clarified by the spec author, SAGE can generate protocol code automatically. Using SAGE, we discover 5 instances of ambiguity and 6 instances of under-specification in the ICMP RFC; after clarification, SAGE is able to automatically generate code that interoperates perfectly with Linux implementations. We show that SAGE generalizes to BFD, IGMP, and NTP. We also find that SAGE supports many of the conceptual components found in key protocols, suggesting that, with some additional machinery, SAGE may be able to generalize to TCP and BGP.


title: Surface localization of the dineutron in $^{11}$Li

abstract: The formation of a dineutron in the nucleus $^{11}$Li is found to be localized to the surface region. The experiment measured the intrinsic momentum of the struck neutron in $^{11}$Li via the $(p,pn)$ knockout reaction at 246 MeV/nucleon. The correlation angle between the two neutrons is, for the first time, measured as a function of the intrinsic neutron momentum. A comparison with reaction calculations reveals the localization of the dineutron at $r\sim3.6$ fm. The results also support the density dependence of dineutron formation as deduced from Hartree-Fock-Bogoliubov calculations for nuclear matter.


title: Decoherence: A Numerical Study

abstract: We study quantum decoherence numerically in a system consisting of a relativistic quantum field theory coupled to a measuring device that is itself coupled to an environment. The measuring device and environment are treated as quantum, non-relativistic particles. We solve the Schr\"odinger equation for the wave function of this tripartite system using exact diagonalization. Although computational limitations on the size of the Hilbert space prevent us from exploring the regime where the device and environment consist of a truly macroscopic number of degrees of freedom, we nevertheless see clear evidence of decoherence: after tracing out the environment, the density matrix describing the system and measuring device evolves quickly towards a matrix that is close to diagonal in a subspace of pointer states.


title: A Tensor Compiler for Unified Machine Learning Prediction Serving

abstract: Machine Learning (ML) adoption in the enterprise requires simpler and more efficient software infrastructure---the bespoke solutions typical in large web companies are simply untenable. Model scoring, the process of obtaining predictions from a trained model over new data, is a primary contributor to infrastructure complexity and cost as models are trained once but used many times. In this paper we propose HUMMINGBIRD, a novel approach to model scoring, which compiles featurization operators and traditional ML models (e.g., decision trees) into a small set of tensor operations. This approach inherently reduces infrastructure complexity and directly leverages existing investments in Neural Network compilers and runtimes to generate efficient computations for both CPU and hardware accelerators. Our performance results are intriguing: despite replacing imperative computations (e.g., tree traversals) with tensor computation abstractions, HUMMINGBIRD is competitive and often outperforms hand-crafted kernels on micro-benchmarks on both CPU and GPU, while enabling seamless end-to-end acceleration of ML pipelines. We have released HUMMINGBIRD as open source.


title: Discussion of Kallus (2020) and Mo, Qi, and Liu (2020): New Objectives for Policy Learning

abstract: We discuss the thought-provoking new objective functions for policy learning that were proposed in "More efficient policy learning via optimal retargeting" by Nathan Kallus and "Learning optimal distributionally robust individualized treatment rules" by Weibin Mo, Zhengling Qi, and Yufeng Liu. We show that it is important to take the curvature of the value function into account when working within the retargeting framework, and we introduce two ways to do so. We also describe more efficient approaches for leveraging calibration data when learning distributionally robust policies.


title: AutoQA: From Databases To QA Semantic Parsers With Only Synthetic Training Data

abstract: We propose AutoQA, a methodology and toolkit to generate semantic parsers that answer questions on databases, with no manual effort. Given a database schema and its data, AutoQA automatically generates a large set of high-quality questions for training that covers different database operations. It uses automatic paraphrasing combined with template-based parsing to find alternative expressions of an attribute in different parts of speech. It also uses a novel filtered auto-paraphraser to generate correct paraphrases of entire sentences. We apply AutoQA to the Schema2QA dataset and obtain an average logical form accuracy of 62.9% when tested on natural questions, which is only 6.4% lower than a model trained with expert natural language annotations and paraphrase data collected from crowdworkers. To demonstrate the generality of AutoQA, we also apply it to the Overnight dataset. AutoQA achieves 69.8% answer accuracy, 16.4% higher than the state-of-the-art zero-shot models and only 5.2% lower than the same model trained with human data.


title: Baryogenesis in cosmological models with symmetric and asymmetric quantum bounces

abstract: The baryon-antibaryon asymmetry (excess of matter over antimatter in our Universe), indicated by observational data from the Cosmic Microwave Background anisotropies, predictions of primordial Nucleosynthesis, and the absence of intense radiation from matter-antimatter annihilation, constitutes an unsolved puzzle in cosmology. Two mechanisms for baryon asymmetry have been proposed as extensions of the Standard Model of Particle Physics at high energies. They rely on new couplings involving the baryon number current, one with a scalar field, called Spontaneous Baryogenesis, and the other with space-time curvature, named Gravitational Baryogenesis. These two mechanisms are investigated in the context of many bouncing scenarios, either symmetric or asymmetric around the bounce. It is shown that the constraints on the free parameters of these scenarios, imposed to yield the observed baryon-to-entropy ratio, are mild, already containing the values compatible with other observational constraints coming from the features of the power spectra of cosmological perturbations. Hence, realistic bouncing models can yield the observed baryon-antibaryon asymmetry if one of the two mechanisms proposed takes place in nature.


title: Finite groups whose maximal subgroups of order divisible by all the primes are supersolvable

abstract: We study finite groups $G$ with the property that for any subgroup $M$ maximal in $G$ whose order is divisible by all the prime divisors of $|G|$, $M$ is supersolvable. We show that any nonabelian simple group can occur as a composition factor of such a group and that, if $G$ is solvable, then the nilpotency length and the rank are arbitrarily large. On the other hand, for every prime $p$, the $p$-length of such a group is at most $1$. This answers questions proposed by V. Monakhov in The Kourovka Notebook.


title: Lattice (List) Decoding Near Minkowski's Inequality

abstract: Minkowski proved that any $n$-dimensional lattice of unit determinant has a nonzero vector of Euclidean norm at most $\sqrt{n}$; in fact, there are $2^{\Omega(n)}$ such lattice vectors. Lattices whose minimum distances come close to Minkowski's bound provide excellent sphere packings and error-correcting codes in $\mathbb{R}^{n}$. The focus of this work is a certain family of efficiently constructible $n$-dimensional lattices due to Barnes and Sloane, whose minimum distances are within an $O(\sqrt{\log n})$ factor of Minkowski's bound. Our primary contribution is a polynomial-time algorithm that list decodes this family to distances approaching $1/\sqrt{2}$ of the minimum distance. The main technique is to decode Reed-Solomon codes under error measured in the Euclidean norm, using the Koetter-Vardy "soft decision" variant of the Guruswami-Sudan list-decoding algorithm.


title: Luminosity Selection for Gamma Ray Bursts

abstract: There exists an inevitable scatter in intrinsic luminosity of Gamma Ray Bursts(GRBs). If there is relativistic beaming in the source, viewing angle variation necessarily introduces variation in the intrinsic luminosity function(ILF). Scatter in the ILF can cause a selection bias where distant sources that are detected have a larger median luminosity than those detected close by. Median luminosity, as we know, divides any given population into equal halves. When the functional form of a distribution is unknown, it can be a more robust diagnostic than any that use trial functional forms. In this work we employ a statistical test based on median luminosity and apply it to test a class of models for GRBs. We assume that the GRB jet has a finite opening angle and that the orientation of the GRB jet is random relative to the observer. We parameterize the jet with constant Lorentz factor $\Gamma$ and opening angle $\theta_0$. We calculate $L_{median}$ as a function of redshift with an average of 17 grbs in each redshift bin($dz=0.01$) empirically, theoretically and use Fermi GBM data, noting that SWIFT data is problematic as it is biased, specially at high redshifts. We find that $L_{median}$ is close to $L_{max}$ for sufficiently extended GRB jet and does not fit the data. We find an acceptable fit with the data when $\Gamma$ is between $100$ and $200$, $\theta_0\leq 0.1$, provided that the jet material along the line of sight to the on axis observer is optically thick, such that the shielded maximum luminosity is well below the bare $L_{max}$. If we associate an on-axis observer with a classically projected monotonically decreasing afterglow, we find that their ILF is similar to those of off-jet observer which we associate with flat phase afterglows.


title: Modeling Black-Box Components with Probabilistic Synthesis

abstract: This paper is concerned with synthesizing programs based on black-box oracles: we are interested in the case where there exists an executable implementation of a component or library, but its internal structure is unknown. We are provided with just an API or function signature, and aim to synthesize a program with equivalent behavior. To attack this problem, we detail Presyn: a program synthesizer designed for flexible interoperation with existing programs and compiler toolchains. Presyn uses high-level imperative control-flow structures and a pair of cooperating predictive models to efficiently narrow the space of potential programs. These models can be trained effectively on small corpora of synthesized examples. We evaluate Presyn against five leading program synthesizers on a collection of 112 synthesis benchmarks collated from previous studies and real-world software libraries. We show that Presyn is able to synthesize a wider range of programs than each of them with less human input. We demonstrate the application of our approach to real-world code and software engineering problems with two case studies: accelerator library porting and detection of duplicated library reimplementations.


title: Locally Linear Region Knowledge Distillation

abstract: Knowledge distillation (KD) is an effective technique to transfer knowledge from one neural network (teacher) to another (student), thus improving the performance of the student. To make the student better mimic the behavior of the teacher, the existing work focuses on designing different criteria to align their logits or representations. Different from these efforts, we address knowledge distillation from a novel data perspective. We argue that transferring knowledge at sparse training data points cannot enable the student to well capture the local shape of the teacher function. To address this issue, we propose locally linear region knowledge distillation ($\rm L^2$RKD) which transfers the knowledge in local, linear regions from a teacher to a student. This is achieved by enforcing the student to mimic the outputs of the teacher function in local, linear regions. To the end, the student is able to better capture the local shape of the teacher function and thus achieves a better performance. Despite its simplicity, extensive experiments demonstrate that $\rm L^2$RKD is superior to the original KD in many aspects as it outperforms KD and the other state-of-the-art approaches by a large margin, shows robustness and superiority under few-shot settings, and is more compatible with the existing distillation approaches to further improve their performances significantly.