title: From weight structures to (orthogonal) $t$-structures and back

abstract: A $t$-structure $t=(C_{t\le 0},C_{t\ge 0})$ on a triangulated category $C$ is right adjacent to a weight structure $w=(C_{w\le 0}, C_{w\ge 0})$ if $C_{t\ge 0}=C_{w\ge 0}$; then $t$ can be uniquely recovered from $w$ and vice versa. We prove that if $C$ satisfies the Brown representability property then $t$ that is adjacent to $w$ exists if and only if $w$ is smashing (i.e., coproducts respect weight decompositions); then the heart $Ht$ is the category of those functors $Hw^{op}\to Ab$ that respect products. The dual to this statement is related to results of B. Keller and P. Nicolas. We also prove that an adjacent $t$ exists whenever $w$ is a bounded weight structure on a saturated $R$-linear category $C$ (for a noetherian ring $R$); for $C=D^{perf}(X)$, where the scheme $X$ is regular and proper over $R$, this gives 1-to-1 correspondences between bounded weights structures on $C$ and the classes of those bounded $t$-structures on it such that $Ht$ has either enough projectives or injectives. We generalize this existence statement to construct (under certain assumptions) a $t$-structure $t$ on a triangulated category $C'$ such that $C$ and $C'$ are subcategories of a common triangulated category $D$ and $t$ is right orthogonal to $w$. In particular, if $X$ is proper over $R$ but not necessarily regular then one can take $C=D^{perf}(X)$, $C'=D^b_{coh}(X)$ or $C'=D^-_{coh}(X)$, and $D=D_{qc}(X)$. We also study hearts of orthogonal $t$-structures and their restrictions, and prove some statements on "reconstructing" weight structures from orthogonal $t$-structures. The main tool of this paper are virtual $t$-truncations of (cohomological) functors; these are defined in terms of weight structures and "behave as if they come from $t$-truncations" whether $t$ exists or not.


title: General non-linear Bellman equations

abstract: We consider a general class of non-linear Bellman equations. These open up a design space of algorithms that have interesting properties, which has two potential advantages. First, we can perhaps better model natural phenomena. For instance, hyperbolic discounting has been proposed as a mathematical model that matches human and animal data well, and can therefore be used to explain preference orderings. We present a different mathematical model that matches the same data, but that makes very different predictions under other circumstances. Second, the larger design space can perhaps lead to algorithms that perform better, similar to how discount factors are often used in practice even when the true objective is undiscounted. We show that many of the resulting Bellman operators still converge to a fixed point, and therefore that the resulting algorithms are reasonable and inherit many beneficial properties of their linear counterparts.


title: Enabling Microsoft OneDrive Integration with HTCondor

abstract: Accessing data from distributed computing is essential in many workflows, but can be complicated for users of cyberinfrastructure. They must perform multiple steps to make data available to distributed computing using unfamiliar tools. Further, most research on data distribution has focused on the efficiency of providing data to computing resources rather than considering the ease of use for distributing data. Creating an easy to use data distribution method can reduce the time researchers spend learning cyberinfrastructure and increase its usefulness. Microsoft OneDrive is a online storage solution providing both file storage and sharing. OneDrive provides many different clients to access data stored in the service. It provides many features that users of cyberinfrastructure could find useful such as automatic synchronization with desktop clients. A barrier to using services such as OneDrive is the credential management necessary to access the service. Recent innovations in HTCondor have allowed the management of OAuth credentials to be handled by the scheduler on the user's behalf. The user no longer has to copy credentials along with the job, HTCondor will handle the acquisition, renewal, and secure transfer of credentials on the user's behalf. In this paper, I will focus on providing an easy to use data distribution method utilizing Microsoft OneDrive. Measuring ease of use is difficult, therefore I will will describe the features and advantages of using OneDrive. Additionally, I will compare it to measurements of data distribution methods currently used on a national cyberinfastructure, the Open Science Grid.


title: On Competing Definitions for the Diederich-Forn{\ae}ss Index

abstract: Let $\Omega\subset\mathbb{C}^n$ be a bounded pseudoconvex domain. We define the Diederich-Forn{\ae}ss index with respect to a family of functions to be the supremum over the set of all exponents $0<\eta<1$ such that there exists a function $\rho_\eta$ in this family such that $-\rho_\eta$ is comparable to the distance to the boundary of $\Omega$ on $\Omega$ and such that $-(-\rho_\eta)^\eta$ is plurisubharmonic on $\Omega$. We first prove that computing the Diederich-Forn{\ae}ss index with respect to the family of upper semi-continuous functions is the same as computing the Diederich-Forn{\ae}ss index with respect to the family of Lipschitz functions. When the boundary of $\Omega$ is $C^k$, $k\geq 2$, we prove that the Diederich-Forn{\ae}ss index with respect to the family of $C^k$ functions is the same as the Diederich-Forn{\ae}ss index with respect to the family of $C^2$ functions.


title: Commutative Lie algebras and commutative cohomology in characteristic $2$

abstract: We discuss a version of the Chevalley--Eilenberg cohomology in characteristic $2$, where the alternating cochains are replaced by symmetric ones.


title: Lyapunov functions, Identities and the Cauchy problem for the Hele-Shaw equation

abstract: This article is devoted to the study of the Hele-Shaw equation. We introduce an approach inspired by the water-wave theory. Starting from a reduction to the boundary, introducing the Dirichlet to Neumann operator and exploiting various cancellations, we exhibit parabolic evolution equations for the horizontal and vertical traces of the velocity on the free surface. This allows to quasi-linearize the equations in a very simple way. By combining these exact identities with convexity inequalities, we prove the existence of hidden Lyapunov functions of different natures. We also deduce from these identities and previous works on the water wave problem a simple proof of the well-posedness of the Cauchy problem. The analysis contains two side results of independent interest. Firstly, we give a principle to derive estimates for the modulus of continuity of a PDE under general assumptions on the flow. Secondly we prove a convexity inequality for the Dirichlet to Neumann operator.


title: Multiscale High-Dimensional Sparse Fourier Algorithms for Noisy Data

abstract: We develop an efficient and robust high-dimensional sparse Fourier algorithm for noisy samples. Earlier in the paper ``Multi-dimensional sublinear sparse Fourier algorithm" (2016), an efficient sparse Fourier algorithm with $\Theta(ds \log s)$ average-case runtime and $\Theta(ds)$ sampling complexity under certain assumptions was developed for signals that are $s$-sparse and bandlimited in the $d$-dimensional Fourier domain, i.e. there are at most $s$ energetic frequencies and they are in $ \left[-N/2, N/2\right)^d\cap \mathbb{Z}^d$. However, in practice the measurements of signals often contain noise, and in some cases may only be nearly sparse in the sense that they are well approximated by the best $s$ Fourier modes. In this paper, we propose a multiscale sparse Fourier algorithm for noisy samples that proves to be both robust against noise and efficient.


title: Incorporating Query Term Independence Assumption for Efficient Retrieval and Ranking using Deep Neural Networks

abstract: Classical information retrieval (IR) methods, such as query likelihood and BM25, score documents independently w.r.t. each query term, and then accumulate the scores. Assuming query term independence allows precomputing term-document scores using these models---which can be combined with specialized data structures, such as inverted index, for efficient retrieval. Deep neural IR models, in contrast, compare the whole query to the document and are, therefore, typically employed only for late stage re-ranking. We incorporate query term independence assumption into three state-of-the-art neural IR models: BERT, Duet, and CKNRM---and evaluate their performance on a passage ranking task. Surprisingly, we observe no significant loss in result quality for Duet and CKNRM---and a small degradation in the case of BERT. However, by operating on each query term independently, these otherwise computationally intensive models become amenable to offline precomputation---dramatically reducing the cost of query evaluations employing state-of-the-art neural ranking models. This strategy makes it practical to use deep models for retrieval from large collections---and not restrict their usage to late stage re-ranking.


title: Performance and science reach of POEMMA for ultrahigh-energy particles

abstract: The Probe Of Extreme Multi-Messenger Astrophysics (POEMMA) is a potential NASA Astrophysics Probe-class mission designed to observe ultra-high energy cosmic rays (UHECRs) and cosmic neutrinos from space. POEMMA will monitor colossal volumes of the Earth's atmosphere to detect extensive air showers (EASs) produced by extremely energetic cosmic messengers: UHECRs above 20 EeV over the full sky and cosmic neutrinos above 20 PeV. We focus most of this study on the impact of POEMMA for UHECR science by simulating the detector response and mission performance for EAS from UHECRs. We show that POEMMA will provide a significant increase in the statistics of observed UHECRs at the highest energies over the entire sky. POEMMA will be the first UHECR fluorescence detector deployed in space that will provide high-quality stereoscopic observations of the longitudinal development of air showers. Therefore, it will be able to provide event-by-event estimates of the calorimetric energy and nuclear mass of UHECRs. The particle physics in the interactions limits the interpretation of the shower maximum on an event by event basis. In contrast, the calorimetric energy measurement is significantly less sensitive to the different possible final states in the early interactions. We study the prospects to discover the origin and nature of UHECRs using expectations for measurements of the energy spectrum, the distribution of arrival direction, and the atmospheric column depth at which the EAS longitudinal development reaches maximum. We also explore supplementary science capabilities of POEMMA through its sensitivity to particle interactions at extreme energies and its ability to detect ultra-high energy neutrinos and photons produced by top-down models including cosmic strings and super-heavy dark matter particle decay in the halo of the Milky Way.


title: Atomistic structural mechanism for the glass transition: Entropic contribution

abstract: A popular Adam--Gibbs scenario has suggested that the excess entropy of glass and liquid over crystal dominates the dynamical arrest at the glass transition with exclusive contribution from configurational entropy over vibrational entropy. However, an intuitive structural rationale for the emergence of frozen dynamics in relation to entropy is still lacking. Here we study these issues by atomistically simulating the vibrational, configurational, as well as total entropy of a model glass former over their crystalline counterparts for the entire temperature range spanning from glass to liquid. Besides confirming the Adam--Gibbs entropy scenario, the concept of Shannon information entropy is introduced to characterize the diversity of atomic-level structures, which undergoes a striking variation across the glass transition, and explains the change found in the excess configurational entropy. Hence, the hidden structural mechanism underlying the entropic kink at the transition is revealed in terms of proliferation of certain atomic structures with a higher degree of centrosymmetry, which are more rigid and possess less nonaffine softening modes. In turn, the proliferation of these centrosymmetric (rigid) structures leads to the freezing-in of the dynamics beyond which further structural rearrangements become highly unfavourable, thus explaining the kink in the configurational entropy at the transition.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: Features in cosmic-ray lepton data unveil the properties of nearby cosmic accelerators

abstract: We present a comprehensive discussion about the origin of the features in the leptonic component of the cosmic-ray spectrum. Working in the framework of a up-to-date CR transport scenario tuned on the most recent AMS-02 and Voyager data, we show that the prominent features recently found in the positron and in the all-electron spectra by several experiments are explained in a scenario in which pulsar wind nebulae (PWNe) are the dominant sources of the positron flux, and nearby supernova remnants shape the high-energy peak of the electron spectrum. In particular we argue that the drop-off in positron spectrum found by AMS-02 at $\sim 300$ GeV can be explained --- under different assumptions --- in terms of a prominent PWN that provides the bulk of the observed positrons in the $\sim 100$ GeV domain, on top of the contribution from a large number of older objects. Finally, we turn our attention to the spectral softening at $\sim 1$ TeV in the all-lepton spectrum, recently reported by several experiments, showing that it requires the presence of a nearby supernova remnant at its final stage.


title: Prediction of Soil Moisture Content Based On Satellite Data and Sequence-to-Sequence Networks

abstract: The main objective of this study is to combine remote sensing and machine learning to detect soil moisture content. Growing population and food consumption has led to the need to improve agricultural yield and to reduce wastage of natural resources. In this paper, we propose a neural network architecture, based on recent work by the research community, that can make a strong social impact and aid United Nations Sustainable Development Goal of Zero Hunger. The main aims here are to: improve efficiency of water usage; reduce dependence on irrigation; increase overall crop yield; minimise risk of crop loss due to drought and extreme weather conditions. We achieve this by applying satellite imagery, crop segmentation, soil classification and NDVI and soil moisture prediction on satellite data, ground truth and climate data records. By applying machine learning to sensor data and ground data, farm management systems can evolve into a real time AI enabled platform that can provide actionable recommendations and decision support tools to the farmers.


title: TrackNet: A Deep Learning Network for Tracking High-speed and Tiny Objects in Sports Applications

abstract: Ball trajectory data are one of the most fundamental and useful information in the evaluation of players' performance and analysis of game strategies. Although vision-based object tracking techniques have been developed to analyze sport competition videos, it is still challenging to recognize and position a high-speed and tiny ball accurately. In this paper, we develop a deep learning network, called TrackNet, to track the tennis ball from broadcast videos in which the ball images are small, blurry, and sometimes with afterimage tracks or even invisible. The proposed heatmap-based deep learning network is trained to not only recognize the ball image from a single frame but also learn flying patterns from consecutive frames. TrackNet takes images with a size of $640\times360$ to generate a detection heatmap from either a single frame or several consecutive frames to position the ball and can achieve high precision even on public domain videos. The network is evaluated on the video of the men's singles final at the 2017 Summer Universiade, which is available on YouTube. The precision, recall, and F1-measure of TrackNet reach $99.7\%$, $97.3\%$, and $98.5\%$, respectively. To prevent overfitting, 9 additional videos are partially labeled together with a subset from the previous dataset to implement 10-fold cross-validation, and the precision, recall, and F1-measure are $95.3\%$, $75.7\%$, and $84.3\%$, respectively. A conventional image processing algorithm is also implemented to compare with TrackNet. Our experiments indicate that TrackNet outperforms conventional method by a big margin and achieves exceptional ball tracking performance. The dataset and demo video are available at https://nol.cs.nctu.edu.tw/ndo3je6av9/.


title: Dynamical equivalence between Kuramoto models with first- and higher-order coupling

abstract: The Kuramoto model with high-order coupling has recently attracted some attention in the field of coupled oscillators in order, for instance, to describe clustering phenomena in sets of coupled agents. Instead of considering interactions given directly by the sine of oscillators' angle differences, the interaction is given by the sum of sines of integer multiples of these angle differences. This can be interpreted as a Fourier decomposition of a general $2{\pi}$-periodic interaction function. We show that in the case where only one multiple of the angle differences is considered, which we refer to as the "Kuramoto model with simple $q$th-order coupling," the system is dynamically equivalent to the original Kuramoto model. In other words, any property of the Kuramoto model with simple higher-order coupling can be recovered from the standard Kuramoto model.


title: Consolidation of freshly deposited cohesive and non-cohesive sediment: particle-resolved simulations

abstract: We analyze the consolidation of freshly deposited cohesive and non-cohesive sediment by means of particle-resolved direct Navier-Stokes simulations based on the Immersed Boundary Method. The computational model is parameterized by material properties and does not involve any arbitrary calibrations. We obtain the stress balance of the fluid-particle mixture from first principles and link it to the classical effective stress concept. The detailed datasets obtained from our simulations allow us to evaluate all terms of the derived stress balance. We compare the settling of cohesive sediment to its non-cohesive counterpart, which corresponds to the settling of the individual primary particles. The simulation results yield a complete parameterization of the Gibson equation, which has been the method of choice to analyze self-weight consolidation.


title: Electrokinetically enhanced cross-stream particle migration in viscoelastic flows

abstract: Advancements in understanding the lateral migration of particles have helped in enhanced separation in microfluidic devices. In this work, we investigate the effects of electrokinetics on the particle migration in a viscoelastic flow, where the electric field is applied parallel to the flow. Through experiments and theoretical analysis, we show that the interaction of electrokinetic and rheological effects can result in an enhancement in the migration by an order of magnitude. The theoretical analysis, in agreement with experiments, demonstrates that the particles can be focused at different equilibrium positions based on their intrinsic electrical properties.


title: Identifying Missing Component in the Bechdel Test Using Principal Component Analysis Method

abstract: A lot has been said and discussed regarding the rationale and significance of the Bechdel Score. It became a digital sensation in 2013 when Swedish cinemas began to showcase the Bechdel test score of a film alongside its rating. The test has drawn criticism from experts and the film fraternity regarding its use to rate the female presence in a movie. The pundits believe that the score is too simplified and the underlying criteria of a film to pass the test must include 1) at least two women, 2) who have at least one dialogue, 3) about something other than a man, is egregious. In this research, we have considered a few more parameters which highlight how we represent females in film, like the number of female dialogues in a movie, dialogue genre, and part of speech tags in the dialogue. The parameters were missing in the existing criteria to calculate the Bechdel score. The research aims to analyze 342 movies scripts to test a hypothesis if these extra parameters, above with the current Bechdel criteria, are significant in calculating the female representation score. The result of the Principal Component Analysis method concludes that the female dialogue content is a key component and should be considered while measuring the representation of women in a work of fiction.


title: Effect of elasto-plastic compatibility of grains on the void initiation criteria in low carbon steel

abstract: The present study evidences the role of ferrite grain size distributions on the occurrence of void initiation in a low carbon steel. Various thermomechanical treatments were done to create ultrafine, bimodal and coarse range of ferrite grain distributions. A two parameter characterization of probable void initiation sites is proposed; elastic modulus difference and difference in Schmid factor of the grains surrounding the void. All microstructures were categorized based on the ability to ease or resist void nucleation. For coarse grains, elastic modulus difference as well as the Schmid factor difference is highest, intermediate for ultrafine and lowest for bimodal microstructure.


title: Nonmagnetic-Doping Induced Quantum Anomalous Hall Effect in Topological Insulators

abstract: Quantum anomalous Hall effect (QAHE) has been experimentally observed in magnetically doped topological insulators. However, ultra-low temperature (usually below 300 mK), which is mainly attributed to inhomogeneous magnetic doping, becomes a daunting challenge for potential applications. Here, a \textit{nonmagnetic}-doping strategy is proposed to produce ferromagnetism and realize QAHE in topological insulators. We numerically demonstrated that magnetic moments can be induced by nitrogen or carbon substitution in Bi$_2$Se$_3$, Bi$_2$Te$_3$, and Sb$_2$Te$_3$, but only nitrogen-doped Sb$_2$Te$_3$ exhibits long-range ferromagnetism and preserve large bulk band gap. We further show that its corresponding thin-film can harbor QAHE at temperatures of 17-29 Kelvin, which is two orders of magnitude higher than the typical temperatures in similar systems. Our proposed \textit{nonmagnetic} doping scheme may shed new light in experimental realization of high-temperature QAHE in topological insulators.


title: Bipartite post-quantum steering in generalised scenarios

abstract: The study of stronger-than-quantum effects is a fruitful line of research that provides valuable insight into quantum theory. Unfortunately, traditional bipartite steering scenarios can always be explained by quantum theory. Here we show that, by relaxing this traditional setup, bipartite steering incompatible with quantum theory is possible. The two scenarios we describe, which still feature Alice remotely steering Bob's system, are: (i) one where Bob also has an input and operates on his subsystem, and (ii) the `instrumental steering' scenario. We show that such bipartite post-quantum steering is a genuinely new type of post-quantum nonlocality, which does not follow from post-quantum Bell nonlocality. In addition, we present a method to bound quantum violations of steering inequalities in these scenarios.


title: Developing an Evidence-Based Framework for Grading and Assessment of Predictive Tools for Clinical Decision Support

abstract: Background: Clinical predictive tools quantify contributions of relevant patient characteristics to derive likelihood of diseases or predict clinical outcomes. When selecting a predictive tool, for implementation at clinical practice or for recommendation in clinical guidelines, clinicians are challenged with an overwhelming and ever growing number of tools, most of which have never been implemented or assessed for comparative effectiveness. Objective: To develop a comprehensive framework to Grade and Assess Predictive tools (GRASP), and provide clinicians with a standardised, evidence based system to support their search for and selection of effective tools. Methods: A focused review of literature was conducted to extract criteria along which tools should be evaluated. An initial framework was designed and applied to assess and grade five tools: LACE Index, Centor Score, Wells Criteria, Modified Early Warning Score, and Ottawa knee rule. After peer review, by expert clinicians and healthcare researchers, the framework was revised and the grading of the tools was updated. Results: GRASP framework grades predictive tools based on published evidence across three dimensions: 1) Phase of evaluation; 2) Level of evidence; and 3) Direction of evidence. The final grade of a tool is based on the highest phase of evaluation, supported by the highest level of positive evidence, or mixed evidence that supports positive conclusion. Discussion and Conclusion: the GRASP framework builds on well established models and widely accepted concepts to provide standardised assessment and evidence based grading of predictive tools. Unlike other methods, GRASP is based on the critical appraisal of published evidence reporting the predictive tools predictive performance before implementation, potential effect and usability during implementation, and their post implementation impact.


title: Asymmetric LOCO Codes: Constrained Codes for Flash Memories

abstract: In data storage and data transmission, certain patterns are more likely to be subject to error when written (transmitted) onto the media. In magnetic recording systems with binary data and bipolar non-return-to-zero signaling, patterns that have insufficient separation between consecutive transitions exacerbate inter-symbol interference. Constrained codes are used to eliminate such error-prone patterns. A recent example is a new family of capacity-achieving constrained codes, named lexicographically-ordered constrained codes (LOCO codes). LOCO codes are symmetric, that is, the set of forbidden patterns is closed under taking pattern complements. LOCO codes are suboptimal in terms of rate when used in Flash devices where block erasure is employed since the complement of an error-prone pattern is not detrimental in these devices. This paper introduces asymmetric LOCO codes (A-LOCO codes), which are lexicographically-ordered constrained codes that forbid only those patterns that are detrimental for Flash performance. A-LOCO codes are also capacity-achieving, and at finite-lengths, they offer higher rates than the available state-of-the-art constrained codes designed for the same goal. The mapping-demapping between the index and the codeword in A-LOCO codes allows low-complexity encoding and decoding algorithms that are simpler than their LOCO counterparts.


title: Bloch-to-N\'eel domain wall transition evinced through morphology of magnetic bubble expansion in Ta/CoFeB/MgO layers

abstract: Ta/CoFeB/MgO trilayers with perpendicular magnetic anisotropy are often characterised by vanishing or modest values of interfacial Dzyaloshinskii-Moriya interaction (DMI), which results in purely Bloch or mixed Bloch-N\'eel domain walls (DWs). Here we investigate the creep evolution of the overall magnetic bubble morphology in these systems under the combined presence of in-plane and out-of-plane magnetic fields and we show that He$^+$ ion irradiation induces a transition of the internal DW structure towards a fully N\'eel spin texture. This transition can be correlated to a simultaneous increase in DMI strength and reduction in saturation magnetisation -- which are a direct consequence of the effects of ion irradiation on the bottom and top CoFeB interfaces, respectively. The threshold irradiation dose above which DWs acquire a pure N\'eel character is experimentally found to be between 12 $\times$ 10$^{18}$ He$^+$/m$^2$ and 16 $\times$ 10$^{18}$ He$^+$/m$^2$, matching estimations from the one dimensional DW model based on material parameters. Our results indicate that evaluating the global bubble shape during its expansion can be an effective tool to sense the internal bubble DW structure. Furthermore, we show that ion irradiation can be used to achieve post-growth engineering of a desired DW spin texture.


title: A generic finite element framework on parallel tree-based adaptive meshes

abstract: In this work we formally derive and prove the correctness of the algorithms and data structures in a parallel, distributed-memory, generic finite element framework that supports h-adaptivity on computational domains represented as forest-of-trees. The framework is grounded on a rich representation of the adaptive mesh suitable for generic finite elements that is built on top of a low-level, light-weight forest-of-trees data structure handled by a specialized, highly parallel adaptive meshing engine, for which we have identified the requirements it must fulfill to be coupled into our framework. Atop this two-layered mesh representation, we build the rest of data structures required for the numerical integration and assembly of the discrete system of linear equations. We consider algorithms that are suitable for both subassembled and fully-assembled distributed data layouts of linear system matrices. The proposed framework has been implemented within the FEMPAR scientific software library, using p4est as a practical forest-of-octrees demonstrator. A strong scaling study of this implementation when applied to Poisson and Maxwell problems reveals remarkable scalability up to 32.2K CPU cores and 482.2M degrees of freedom. Besides, a comparative performance study of FEMPAR and the state-of-the-art deal.ii finite element software shows at least comparative performance, and at most factor 2-3 improvements in the h-adaptive approximation of a Poisson problem with first- and second-order Lagrangian finite elements, respectively.


title: StackVault: Protection from Untrusted Functions

abstract: Data exfiltration attacks have led to huge data breaches. Recently, the Equifax attack affected 147M users and a third-party library - Apache Struts - was alleged to be responsible for it. These attacks often exploit the fact that sensitive data are stored unencrypted in process memory and can be accessed by any function executing within the same process, including untrusted third-party library functions. This paper presents StackVault, a kernel-based system to prevent sensitive stack-based data from being accessed in an unauthorized manner by intra-process functions. Stack-based data includes data on stack as well as data pointed to by pointer variables on stack. StackVault consists of three components: (1) a set of programming APIs to allow users to specify which data needs to be protected, (2) a kernel module which uses unforgeable function identities to reliably carry out the sensitive data protection, and (3) an LLVM compiler extension that enables transparent placement of stack protection operations. The StackVault system automatically enforces stack protection through spatial and temporal access monitoring and control over both sensitive stack data and untrusted functions. We implemented StackVault and evaluated it using a number of popular real-world applications, including gRPC. The results show that StackVault is effective and efficient, incurring only up to 2.4% runtime overhead.


title: Quantum Anomalous Hall Effect by Coupling Heavy Atomic Layers with CrI$_{3}$

abstract: We explored the possibility of realizing quantum anomalous Hall effect by placing heavy-element atomic layer on top of monolayer CrI$_{3}$ with a natural cleavage surface and broken time-reversal symmetry. We showed that CrI$_{3}$/X (X = Bi, Sb, or As) systems can open up a sizable bulk gap to harbour quantum anomalous Hall effect, e.g., CrI$_{3}$/Bi is a natural magnetic insulator with a bulk gap of 30~meV, which can be further enlarged via strain engineering or adjusting spin orientations. We also found that the ferromagnetic properties (magnetic anisotropic energy and Curie temperature) of pristine CrI$_{3}$ can be further improved due to the presence of heavy atomic layers, and the spin orientation can be utilized as a useful knob to tune the band structure and Fermi level of CrI$_{3}$/Bi system. The topological nature, together with the enhanced ferromagnetism, can unlock new potential applications for CrI$_{3}$-based materials in spintronics and electronics.


title: Policy-Gradient Algorithms Have No Guarantees of Convergence in Linear Quadratic Games

abstract: We show by counterexample that policy-gradient algorithms have no guarantees of even local convergence to Nash equilibria in continuous action and state space multi-agent settings. To do so, we analyze gradient-play in N-player general-sum linear quadratic games, a classic game setting which is recently emerging as a benchmark in the field of multi-agent learning. In such games the state and action spaces are continuous and global Nash equilibria can be found be solving coupled Ricatti equations. Further, gradient-play in LQ games is equivalent to multi agent policy-gradient. We first show that these games are surprisingly not convex games. Despite this, we are still able to show that the only critical points of the gradient dynamics are global Nash equilibria. We then give sufficient conditions under which policy-gradient will avoid the Nash equilibria, and generate a large number of general-sum linear quadratic games that satisfy these conditions. In such games we empirically observe the players converging to limit cycles for which the time average does not coincide with a Nash equilibrium. The existence of such games indicates that one of the most popular approaches to solving reinforcement learning problems in the classic reinforcement learning setting has no local guarantee of convergence in multi-agent settings. Further, the ease with which we can generate these counterexamples suggests that such situations are not mere edge cases and are in fact quite common.


title: Angular momentum transport in massive stars and natal neutron star rotation rates

abstract: The internal rotational dynamics of massive stars are poorly understood. If angular momentum (AM) transport between the core and the envelope is inefficient, the large core AM upon core-collapse will produce rapidly rotating neutron stars (NSs). However, observations of low-mass stars suggest an efficient AM transport mechanism is at work, which could drastically reduce NS spin rates. Here we study the effects of the baroclinic instability and the magnetic Tayler instability in differentially rotating radiative zones. Although the baroclinic instability may occur, the Tayler instability is likely to be more effective for AM transport. We implement Tayler torques as prescribed by Fuller et al. 2019 into models of massive stars, finding they remove the vast majority of the core's AM as it contracts between the main sequence and helium-burning phases of evolution. If core AM is conserved during core-collapse, we predict natal NS rotation periods of $P_{\rm NS} \approx 50-200 \, {\rm ms}$, suggesting these torques help explain the relatively slow rotation rates of most young NSs, and the rarity of rapidly rotating engine-driven supernovae. Stochastic spin-up via waves just before core-collapse, asymmetric explosions, and various binary evolution scenarios may increase the initial rotation rates of many NSs.


title: Most Black Holes are Born Very Slowly Rotating

abstract: The age of gravitational wave (GW) astronomy has begun, and black hole (BH) mergers detected by LIGO are providing novel constraints on massive star evolution. A major uncertainty in stellar theory is the angular momentum (AM) transport within the star that determines its core rotation rate and the resulting BH's spin. Internal rotation rates of low-mass stars measured from asteroseismology prove that AM transport is efficient, suggesting that massive stellar cores may rotate slower than prior expectations. We investigate AM transport via the magnetic Tayler instability, which can largely explain the rotation rates of low-mass stars and white dwarfs. Implementing an updated AM transport prescription into models of high-mass stars, we compute the spins of their BH remnants. We predict that BHs born from single stars rotate very slowly, with $a \sim 10^{-2}$, regardless of initial rotation rate, possibly explaining the low $\chi_{\rm eff}$ of most BH binaries detected by LIGO thus far. A limited set of binary models suggests slow rotation for many binary scenarios as well, although homogeneous evolution and tidal spin-up of post-common envelope helium stars can create moderate or high BH spins. We make predictions for the values of $\chi_{\rm eff}$ in future LIGO events, and we discuss implications for engine-powered transients.


title: Predicting Customer Call Intent by Analyzing Phone Call Transcripts based on CNN for Multi-Class Classification

abstract: Auto dealerships receive thousands of calls daily from customers who are interested in sales, service, vendors and jobseekers. With so many calls, it is very important for auto dealers to understand the intent of these calls to provide positive customer experiences that ensure customer satisfaction, deep customer engagement to boost sales and revenue, and optimum allocation of agents or customer service representatives across the business. In this paper, we define the problem of customer phone call intent as a multi-class classification problem stemming from the large database of recorded phone call transcripts. To solve this problem, we develop a convolutional neural network (CNN)-based supervised learning model to classify the customer calls into four intent categories: sales, service, vendor and jobseeker. Experimental results show that with the thrust of our scalable data labeling method to provide sufficient training data, the CNN-based predictive model performs very well on long text classification according to the quantitative metrics of F1-Score, precision, recall, and accuracy.


title: Modeling and Simulation of the Quadrtor Delivery System

abstract: Unmanned Aerial Vehicle (UAV) quadrotor is a UAV with four rotors. The quadrotor control is a difficult task because the four-wheel system is inefficient. The purpose of this paper is to provide specifications and implement a separate quad system that integrates data from the camera and IMU (Inertial Measurement Unit) to allow high -resolution optical transmission. In this paper, a separate quad system was proposed. The system specification is specified. The system application introduced the SolidWorks design of the system, the mathematical modeling of the pickup and delivery (PDP) problem. The simulation results using MATLB for model implementation and the simultaneous localization and mapp ing (SLAM) were presented using the Extended Kalman (EKF-SLAM) filter algorithm used to make the system independent. Experimental results were introduced to use the candy edge detection algorithm.


title: Coexistence in a random growth model with competition

abstract: We consider a variation of the Hastings-Levitov model HL(0) for random growth in which the growing cluster consists of two competing regions. We allow the size of successive particles to depend both on the region in which the particle is attached, and the harmonic measure carried by that region. We identify conditions under which one can ensure coexistence of both regions. In particular, we consider whether it is possible for the process giving the relative harmonic measures of the regions to converge to a non-trivial ergodic limit.


title: CobWeb: A Research Prototype for Exploring User Bias in Political Fact-Checking

abstract: The effect of user bias in fact-checking has not been explored extensively from a user-experience perspective. We estimate the user bias as a function of the user's perceived reputation of the news sources (e.g., a user with liberal beliefs may tend to trust liberal sources). We build an interface to communicate the role of estimated user bias in the context of a fact-checking task. We also explore the utility of helping users visualize their detected level of bias. 80% of the users of our system find that the presence of an indicator for user bias is useful in judging the veracity of a political claim.


title: Multirate PWM balance method for the efficient field-circuit coupled simulation of power converters

abstract: The field-circuit coupled simulation of switch-mode power converters with conventional time discretization is computationally expensive since very small time steps are needed to appropriately account for steep transients occurring inside the converter, not only for the degrees of freedom (DOFs) in the circuit, but also for the large number of DOFs in the field model part. An efficient simulation technique for converters with idealized switches is obtained using multirate partial differential equations, which allow for a natural separation into components of different time scales. This paper introduces a set of new PWM eigenfunctions which decouple the systems of equations and thus yield an efficient simulation of the field-circuit coupled problem. The resulting method is called the multirate PWM balance method.


title: Catfish Effect Between Internal and External Attackers:Being Semi-honest is Helpful

abstract: The consensus protocol named proof of work (PoW) is widely applied by cryptocurrencies like Bitcoin. Although security of a PoW cryptocurrency is always the top priority, it is threatened by mining attacks like selfish mining. Researchers have proposed many mining attack models with one attacker, and optimized the attacker's strategy. During these mining attacks, an attacker pursues a higher relative revenue (RR) by wasting a large amount of computational power of the honest miners at the cost of a small amount of computational power of himself. In this paper, we propose a mining attack model with two phases: the original system and the multi-attacker system. It is the first model to provide both theoretical and quantitative analysis of mining attacks with two attackers. We explain how the original system turns into the multi-attacker system by introducing two attackers: the internal attacker and the external attacker. If both attackers take the attacking strategy selfish mining, the RR of the internal attacker in multi-attacker system will drop by up to 31.9% compared with his RR in original system. The external attacker will overestimate his RR by up to 44.6% in multiattacker system. Unexpected competitions, auctions between attackers and overestimation of attackers' influence factor are three main causes of both attackers' dropping RR. We propose a mining strategy named Partial Initiative Release (PIR) which is a semi-honest mining strategy in multi-attacker system. In some specific situations, PIR allows the attacker to get more block reward by launching an attack in multi-attacker system.


title: Consecutive square-free values of the form $\mathbf{[\alpha p], [\alpha p]+1}$

abstract: In this short paper we shall prove that there exist infinitely many consecutive square-free numbers of the form $[\alpha p]$, $[\alpha p]+1$, where $p$ is prime and $\alpha>0$ is irrational algebraic number. We also establish an asymptotic formula for the number of such square-free pairs when $p$ does not exceed given sufficiently large positive integer.


title: Gapless surface Dirac cone in antiferromagnetic topological insulator MnBi$_2$Te$_4$

abstract: The recent discovered antiferromagnetic topological insulators in Mn-Bi-Te family with intrinsic magnetic ordering have rapidly drawn broad interest since its cleaved surface state is believed to be gapped, hosting the unprecedented axion states with half-integer quantum Hall effect. Here, however, we show unambiguously by using high-resolution angle-resolved photoemission spectroscopy that a gapless Dirac cone at the (0001) surface of MnBi$_2$Te$_4$ exists between the bulk band gap. Such unexpected surface state remains unchanged across the bulk N\'eel temperature, and is even robust against severe surface degradation, indicating additional topological protection. Through symmetry analysis and $\textit{ab}$-$\textit{initio}$ calculations we consider different types of surface reconstruction of the magnetic moments as possible origins giving rise to such linear dispersion. Our results reveal that the intrinsic magnetic topological insulator hosts a rich platform to realize various topological phases such as topological crystalline insulator and time-reversal-preserved topological insulator, by tuning the magnetic configurations.


title: APML: An Architecture Proof Modeling Language

abstract: To address the increasing size and complexity of modern software systems, compositional verification separates the verification of single components from the verification of their composition. In architecture-based verification, the former is done using Model Checking, while this does not seem to be the case in general the latter is done using interactive theorem proving (ITP). As of today, however, architects are usually not trained in using a full-fledged interactive theorem prover. Thus, to bridge the gap between ITP and the architecture domain, we developed APML: an architecture proof modeling language. APML allows one to sketch proofs about component composition at the level of architecture using notations similar to Message Sequence Charts. With this paper, we introduce APML: We describe the language, show its soundness and completeness for the verification of architecture contracts, and provide an algorithm to map an APML proof to a corresponding proof for the interactive theorem prover Isabelle. Moreover, we describe its implementation in terms of an Eclipse/EMF modeling application, demonstrate it by means of a running example, and evaluate it in terms of a larger case study. Although our results are promising, the case study also reveals some limitations, which lead to new directions for future work.


title: Spin-Peierls transition of the dimer phase of the $J_1-J_2$ model: Energy cusp and CuGeO$_3$ thermodynamics

abstract: The spin-Peierls transition is modeled in the dimer phase of the spin-$1/2$ chain with exchanges $J_1$, $J_2 = \alpha J_1$ between first and second neighbors. The degenerate ground state generates an energy cusp that qualitatively changes the dimerization $\delta(T)$ compared to Peierls systems with nondegenerate ground states. The parameters $J_1 = 160$ K, $\alpha = 0.35$ plus a lattice stiffness account for the magnetic susceptibility of CuGeO$_3$, its specific heat anomaly, and the $T$ dependence of the lowest gap.


title: Couplings via comparison principle and exponential ergodicity of SPDEs in the hypoelliptic setting

abstract: We develop a general framework for studying ergodicity of order-preserving Markov semigroups. We establish natural and in a certain sense optimal conditions for existence and uniqueness of the invariant measure and exponential convergence of transition probabilities of an order-preserving Markov process. As an application, we show exponential ergodicity and exponentially fast synchronization-by-noise of the stochastic reaction-diffusion equation in the hypoelliptic setting. This refines and complements corresponding results of Hairer, Mattingly (2011).


title: Revisiting the Fanaroff-Riley dichotomy and radio-galaxy morphology with the LOFAR Two-Metre Sky Survey (LoTSS)

abstract: The relative positions of the high and low surface brightness regions of radio-loud active galaxies in the 3CR sample were found by Fanaroff and Riley to be correlated with their luminosity. We revisit this canonical relationship with a sample of 5805 extended radio-loud AGN from the LOFAR Two-Metre Sky Survey (LoTSS), compiling the most complete dataset of radio-galaxy morphological information obtained to date. We demonstrate that, for this sample, radio luminosity does *not* reliably predict whether a source is edge-brightened (FRII) or centre-brightened (FRI). We highlight a large population of low-luminosity FRIIs, extending three orders of magnitude below the traditional FR break, and demonstrate that their host galaxies are on average systematically fainter than those of high-luminosity FRIIs and of FRIs matched in luminosity. This result supports the jet power/environment paradigm for the FR break: low-power jets may remain undisrupted and form hotspots in lower mass hosts. We also find substantial populations that appear physically distinct from the traditional FR classes, including candidate restarting sources and ``hybrids''. We identify 459 bent-tailed sources, which we find to have a significantly higher SDSS cluster association fraction (at $z<0.4$) than the general radio-galaxy population, similar to the results of previous work. The complexity of the LoTSS faint, extended radio sources demonstrates the need for caution in the automated classification and interpretation of extended sources in modern radio surveys, but also reveals the wealth of morphological information such surveys will provide and its value for advancing our physical understanding of radio-loud AGN.


title: Theory of Spin Injection in Two-dimensional Metals with Proximity-Induced Spin-Orbit Coupling

abstract: Spin injection is a powerful experimental probe into a wealth of nonequilibrium spin-dependent phenomena displayed by materials with spin-orbit coupling (SOC). Here, we develop a theory of coupled spin-charge diffusive transport in two-dimensional spin-valve devices. The theory describes a realistic proximity-induced SOC with both spatially uniform and random components of the SOC due to adatoms and imperfections, and applies to the two dimensional electron gases found in two-dimensional materials and van der Walls heterostructures. The various charge-to-spin conversion mechanisms known to be present in diffusive metals, including the spin Hall effect and several mechanisms contributing current-induced spin polarization are accounted for. Our analysis shows that the dominant conversion mechanisms can be discerned by analyzing the nonlocal resistance of the spin-valve for different polarizations of the injected spins and as a function of the applied in-plane magnetic field.


title: Correlation via synthesis: end-to-end nodule image generation and radiogenomic map learning based on generative adversarial network

abstract: Radiogenomic map linking image features and gene expression profiles is useful for noninvasively identifying molecular properties of a particular type of disease. Conventionally, such map is produced in three separate steps: 1) gene-clustering to "metagenes", 2) image feature extraction, and 3) statistical correlation between metagenes and image features. Each step is independently performed and relies on arbitrary measurements. In this work, we investigate the potential of an end-to-end method fusing gene data with image features to generate synthetic image and learn radiogenomic map simultaneously. To achieve this goal, we develop a generative adversarial network (GAN) conditioned on both background images and gene expression profiles, synthesizing the corresponding image. Image and gene features are fused at different scales to ensure the realism and quality of the synthesized image. We tested our method on non-small cell lung cancer (NSCLC) dataset. Results demonstrate that the proposed method produces realistic synthetic images, and provides a promising way to find gene-image relationship in a holistic end-to-end manner.


title: Measurement of the top quark polarization and $\mathrm{t\bar{t}}$ spin correlations using dilepton final states in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: Measurements of the top quark polarization and top quark pair ($\mathrm{t\bar{t}}$) spin correlations are presented using events containing two oppositely charged leptons (e$^+$e$^-$, e$^\pm\mu^\mp$, or $\mu^+\mu^-$) produced in proton-proton collisions at a center-of-mass energy of 13 TeV. The data were recorded by the CMS experiment at the LHC in 2016 and correspond to an integrated luminosity of 35.9 fb$^{-1}$. A set of parton-level normalized differential cross sections, sensitive to each of the independent coefficients of the spin-dependent parts of the $\mathrm{t\bar{t}}$ production density matrix, is measured for the first time at 13 TeV. The measured distributions and extracted coefficients are compared with standard model predictions from simulations at next-to-leading-order (NLO) accuracy in quantum chromodynamics (QCD), and from NLO QCD calculations including electroweak corrections. All measurements are found to be consistent with the expectations of the standard model. The normalized differential cross sections are used in fits to constrain the anomalous chromomagnetic and chromoelectric dipole moments of the top quark to $-$0.24 $<C_\text{tG}/\Lambda^{2}$ $<$ 0.07 TeV$^{-2}$ and $-$0.33 $< C^{I}_\text{tG}/\Lambda^{2}$ $<$ 0.20 TeV$^{-2}$, respectively, at 95% confidence level.


title: Platypus: a Partially Synchronous Offchain Protocol for Blockchains

abstract: Offchain protocols aim at bypassing the scalability and privacy limitations of classic blockchains by allowing a subset of participants to execute multiple transactions outside the blockchain. While existing solutions like payment networks and factories depend on a complex routing protocol, other solutions simply require participants to build a \emph{childchain}, a secondary blockchain where their transactions are privately executed. Unfortunately, all childchain solutions assume either synchrony or a trusted execution environment. In this paper, we present Platypus a childchain that requires neither synchrony nor a trusted execution environment. Relieving the need for a trusted execution environment allows Platypus to ensure privacy without trusting a central authority, like Intel, that manufactures dedicated hardware chipset, like SGX. Relieving the need for synchrony means that no attacker can steal coins by leveraging clock drifts or message delays to lure timelocks. In order to prove our algorithm correct, we formalize the chilchain problem as a Byzantine variant of the classic Atomic Commit problem, where closing a childchain is equivalent to committing the whole set of payments previously recorded on the childchain ``atomically'' on the main chain. Platypus is resilience optimal and we explain how to generalize it to crosschain payments.


title: Earthquake Response Analysis of Yielding Structures Coupled with Rocking Walls

abstract: This paper investigates the inelastic response of a yielding structure coupled with a rocking wall which can be vertically restrained. The paper first derives the nonlinear equations of motion of a yielding oscillator coupled with a vertically restrained rocking wall and the dependability of the one-degree of freedom idealization is validated against the nonlinear time-history response analysis of a well-known 9-story moment-resisting steel frame that is coupled with a stepping rocking wall. While, the coupling of weak building frames with rocking walls is an efficient strategy that controls inelastic deformations by enforcing a uniform interstory-drift distribution, therefore, avoiding mid-story failures, the paper shows that even for medium-rise buildings the effect of vertical tendons on the inelastic structural response is marginal, with the exception of increasing the vertical reactions at the pivoting points of the rocking wall. Accordingly, the paper, concludes that for medium- to high-rise buildings vertical tendons in rocking walls are not beneficial.


title: Signatures of the Core-Powered Mass-Loss Mechanism in the Exoplanet Population: Dependence on Stellar Properties and Observational Predictions

abstract: Recent studies have shown that atmospheric mass-loss powered by the cooling luminosity of a planet's core can explain the observed radius valley separating super-Earths and sub-Neptunes, even without photoevaporation. In this work, we investigate the dependence of this core-powered mass-loss mechanism on stellar mass ($M_\ast$), metallicity ($Z_\ast$) and age ($\tau_\ast$). Without making any changes to the underlying planet population, we find that the core-powered mass-loss model yields a shift in the radius valley to larger planet sizes around more massive stars with a slope given by $\text{d log}R_p/\text{d log}M_\ast \simeq 0.35$, in agreement with observations. To first order, this slope is driven by the dependence of core-powered mass-loss on the bolometric luminosity of the host star and is given by $\text{d log}R_p/\text{d log}M_\ast \simeq (3\alpha-2)/36 \simeq 0.33$, where $(L_\ast/L_\odot) = (M_\ast/M_\odot)^\alpha$ is the stellar mass-luminosity relation and $\alpha\simeq 4.6$ for the CKS dataset. We therefore find, in contrast to photoevaporation models, no evidence for a linear correlation between planet and stellar mass, but can't rule it out either. In addition, we show that the location of the radius valley is, to first order, independent of stellar age and metallicity. Since core-powered mass-loss proceeds over Gyr timescales, the abundance of super-Earths relative to sub-Neptunes increases with age but decreases with stellar metallicity. Finally, due the dependence of the envelope's cooling timescale on metallicity, we find that the radii of sub-Neptunes increase with metallicity and decrease with age with slopes given by $\text{d log}R_p/\text{d log}Z_\ast \simeq 0.1$ and $\text{d log}R_p/\text{d log}\tau_\ast \simeq -0.1$, respectively. We conclude with a series of observational tests that can differentiate between core-powered mass-loss and photoevaporation models.


title: Regular Graphs with Minimum Spectral Gap

abstract: Aldous and Fill conjectured that the maximum relaxation time for the random walk on a connected regular graph with $n$ vertices is $(1+o(1)) \frac{3n^2}{2\pi^2}$. This conjecture can be rephrased in terms of the spectral gap as follows: the spectral gap (algebraic connectivity) of a connected $k$-regular graph on $n$ vertices is at least $(1+o(1))\frac{2k\pi^2}{3n^2}$, and the bound is attained for at least one value of $k$. Based upon previous work of Brand, Guiduli, and Imrich, we prove this conjecture for cubic graphs. We also investigate the structure of quartic (i.e. 4-regular) graphs with the minimum spectral gap among all connected quartic graphs. We show that they must have a path-like structure built from specific blocks.


title: Extending Single Molecule F\"orster Resonance Energy Transfer (FRET) Range Beyond 10 Nanometers in Zero-Mode Waveguides

abstract: Single molecule F\"orster resonance energy transfer (smFRET) is widely used to monitor conformations and interactions dynamics at the molecular level. However, conventional smFRET measurements are ineffective at donor-acceptor distances exceeding 10 nm, impeding the studies on biomolecules of larger size. Here, we show that zero-mode waveguide (ZMW) apertures can be used to overcome the 10 nm barrier in smFRET. Using an optimized ZMW structure, we demonstrate smFRET between standard commercial fluorophores up to 13.6 nm distance with a significantly improved FRET efficiency. To further break into the classical FRET range limit, ZMWs are combined with molecular constructs featuring multiple acceptor dyes to achieve high FRET efficiencies together with high fluorescence count rates. As we discuss general guidelines for quantitative smFRET measurements inside ZMWs, the technique can be readily applied for monitoring conformations and interactions on large molecular complexes with enhanced brightness.


title: Boundaries and unphysical fixed points in Dynamical Quantum Phase Transitions

abstract: We show that dynamic quantum phase transitions (DQPT) in many situations involve renormalization group (RG) fixed points that are unphysical in the context of thermal phase transitions. In such cases, boundary conditions are shown to become relevant to the extent of even completely suppressing the bulk transitions. We establish these by performing exact RG analysis of the quantum Ising model on scale-invariant lattices of different dimensions, and by analyzing the zeros of the Loschmidt amplitude. Further corroboration of boundaries affecting the bulk transition comes from the three-state quantum Potts chain, for which we also show that the DQPT corresponds to a pair of period-2 fixed points.


title: LocationSpark: In-memory Distributed Spatial Query Processing and Optimization

abstract: Due to the ubiquity of spatial data applications and the large amounts of spatial data that these applications generate and process, there is a pressing need for scalable spatial query processing. In this paper, we present new techniques for spatial query processing and optimization in an in-memory and distributed setup to address scalability. More specifically, we introduce new techniques for handling query skew, which is common in practice, and optimize communication costs accordingly. We propose a distributed query scheduler that use a new cost model to optimize the cost of spatial query processing. The scheduler generates query execution plans that minimize the effect of query skew. The query scheduler employs new spatial indexing techniques based on bitmap filters to forward queries to the appropriate local nodes. Each local computation node is responsible for optimizing and selecting its best local query execution plan based on the indexes and the nature of the spatial queries in that node. All the proposed spatial query processing and optimization techniques are prototyped inside Spark, a distributed memory-based computation system. The experimental study is based on real datasets and demonstrates that distributed spatial query processing can be enhanced by up to an order of magnitude over existing in-memory and distributed spatial systems.


title: Easton's theorem for the tree property below aleph_omega

abstract: Starting with infinitely many supercompact cardinals, we show that the tree property at every cardinal $\aleph_n$, $1 < n <\omega$, is consistent with an arbitrary continuum function below $\aleph_\omega$ which satisfies $2^{\aleph_n} > \aleph_{n+1}$, $n<\omega$. Thus the tree property has no provable effect on the continuum function below $\aleph_\omega$ except for the restriction that the tree property at $\kappa^{++}$ implies $2^\kappa>\kappa^+$ for every infinite $\kappa$.


title: The Haar System in Triebel-Lizorkin Spaces: Endpoint Results

abstract: We characterize the Schauder and unconditional basis properties for the Haar system in the Triebel-Lizorkin spaces $F^s_{p,q}(\Bbb R^d)$, at the endpoint cases $s=1$, $s=d/p-d$ and $p=\infty$. Together with the earlier results in [10], [4], this completes the picture for such properties in the Triebel-Lizorkin scale, and complements a similar study for the Besov spaces given in [5].


title: Point-Voxel CNN for Efficient 3D Deep Learning

abstract: We present Point-Voxel CNN (PVCNN) for efficient, fast 3D deep learning. Previous work processes 3D data using either voxel-based or point-based NN models. However, both approaches are computationally inefficient. The computation cost and memory footprints of the voxel-based models grow cubically with the input resolution, making it memory-prohibitive to scale up the resolution. As for point-based networks, up to 80% of the time is wasted on structuring the sparse data which have rather poor memory locality, not on the actual feature extraction. In this paper, we propose PVCNN that represents the 3D input data in points to reduce the memory consumption, while performing the convolutions in voxels to reduce the irregular, sparse data access and improve the locality. Our PVCNN model is both memory and computation efficient. Evaluated on semantic and part segmentation datasets, it achieves much higher accuracy than the voxel-based baseline with 10x GPU memory reduction; it also outperforms the state-of-the-art point-based models with 7x measured speedup on average. Remarkably, the narrower version of PVCNN achieves 2x speedup over PointNet (an extremely efficient model) on part and scene segmentation benchmarks with much higher accuracy. We validate the general effectiveness of PVCNN on 3D object detection: by replacing the primitives in Frustrum PointNet with PVConv, it outperforms Frustrum PointNet++ by 2.4% mAP on average with 1.5x measured speedup and GPU memory reduction.


title: Solving p-adic polynomial systems via iterative eigenvector algorithms

abstract: In this article, we describe an implementation of a polynomial system solver to compute the approximate solutions of a 0-dimensional polynomial system with finite precision p-adic arithmetic. We also describe an improvement to an algorithm of Caruso, Roe, and Vaccon for calculating the eigenvalues and eigenvectors of a p-adic matrix.


title: Expressive power of tensor-network factorizations for probabilistic modeling, with applications from hidden Markov models to quantum machine learning

abstract: Tensor-network techniques have enjoyed outstanding success in physics, and have recently attracted attention in machine learning, both as a tool for the formulation of new learning algorithms and for enhancing the mathematical understanding of existing methods. Inspired by these developments, and the natural correspondence between tensor networks and probabilistic graphical models, we provide a rigorous analysis of the expressive power of various tensor-network factorizations of discrete multivariate probability distributions. These factorizations include non-negative tensor-trains/MPS, which are in correspondence with hidden Markov models, and Born machines, which are naturally related to local quantum circuits. When used to model probability distributions, they exhibit tractable likelihoods and admit efficient learning algorithms. Interestingly, we prove that there exist probability distributions for which there are unbounded separations between the resource requirements of some of these tensor-network factorizations. Particularly surprising is the fact that using complex instead of real tensors can lead to an arbitrarily large reduction in the number of parameters of the network. Additionally, we introduce locally purified states (LPS), a new factorization inspired by techniques for the simulation of quantum systems, with provably better expressive power than all other representations considered. The ramifications of this result are explored through numerical experiments. Our findings imply that LPS should be considered over hidden Markov models, and furthermore provide guidelines for the design of local quantum circuits for probabilistic modeling.

categories: cs.LG cond-mat.str-el math.OC quant-ph stat.ML


title: Neural Networks on Groups

abstract: Although neural networks traditionally are typically used to approximate functions defined over $\mathbb{R}^n$, the successes of graph neural networks, point-cloud neural networks, and manifold deep learning among other methods have demonstrated the clear value of leveraging neural networks to approximate functions defined over more general spaces. The theory of neural networks has not kept up however,and the relevant theoretical results (when they exist at all) have been proven on a case-by-case basis without a general theory or connection to classical work. The process of deriving new theoretical backing for each new type of network has become a bottleneck to understanding and validating new approaches. In this paper we extend the definition of neural networks to general topological groups and prove that neural networks with a single hidden layer and a bounded non-constant activation function can approximate any $\mathcal{L}^p$ function defined over any locally compact Abelian group. This framework and universal approximation theorem encompass all of the aforementioned contexts. We also derive important corollaries and extensions with minor modification, including the case for approximating continuous functions on a compact subset, neural networks with ReLU activation functions on a linearly bi-ordered group, and neural networks with affine transformations on a vector space. Our work obtains as special cases the recent theorems of Qi et al. [2017], Sennai et al. [2019], Keriven and Peyre [2019], and Maron et al. [2019]


title: A K-means-based Multi-subpopulation Particle Swarm Optimization for Neural Network Ensemble

abstract: This paper presents a k-means-based multi-subpopulation particle swarm optimization, denoted as KMPSO, for training the neural network ensemble. In the proposed KMPSO, particles are dynamically partitioned into clusters via the k-means clustering algorithm at every iteration, and each of the resulting clusters is responsible for training a component neural network. The performance of the KMPSO has been evaluated on several benchmark problems. Our results show that the proposed method can effectively control the trade-off between the diversity and accuracy in the ensemble, thus achieving competitive results in comparison with related algorithms.


title: Estimating Commuting Patterns from High Resolution Phone GPS Data

abstract: The rise of location positioning technologies has generated enormous volumes of digital footprints. Translating this big data into understandable trip patterns plays a crucial role in estimating infrastructure demands. Previous studies were unable to correctly represent commuting patterns on smaller urban scales due to insufficient spatial accuracy. In this study, we investigated if, and to what extent, estimated commuting patterns identified from GPS data can replicate the results from transportation surveys and to what degree these estimates improve the estimates of trips distribution pattern on census tract level using higher resolution data. We inferred average daily home-to-work trips by analyzing phone GPS data and compared these patterns with U.S. Census summary tables. We found that trips detected by GPS data highly correlate with census trips. Furthermore, GPS data is a better proxy for Census tract-pairs with larger numbers of trips.


title: Heating up holography for single-trace $J\bar{T}$ deformations

abstract: We study thermodynamic aspects of a tractable toy model of holography for extremal Kerr black holes proposed in [arXiv:1806.10127]. On the gravity side, the theory can be described by the worldsheet action of string theory on a warped AdS$_3$ background supported by NS-NS flux. Once we turn on temperature, the deformed background is described by a black string solution of type IIB supergravity that features a locally warped AdS$_3$ factor. The dual field theory is conjectured to be a single-trace version of a $J\bar{T}$-deformed CFT at finite temperature. As evidence for the correspondence we show that the spectrum of strings winding on the deformed background agrees with the spectrum of $J\bar{T}$-deformed CFTs. Furthermore, we show that the gravitational charges of the black string match the averaged charges of a thermal ensemble in the dual field theory. Finally, we reproduce the Bekenstein-Hawking entropy of the black string from the microscopic density of states of $J\bar{T}$-deformed CFTs.


title: Ram-pressure stripping of a kicked Hill sphere: Prompt electromagnetic emission from the merger of stellar mass black holes in an AGN accretion disk

abstract: Accretion disks around supermassive black holes (SMBH) are promising sites for stellar mass black hole (BH) mergers due to mass segregation and merger acceleration by disk gas torques. Here we show that a GW-kick at BH merger causes ram-pressure stripping of gas within the BH Hill sphere. If $R_{H}\geq H$, the disk height, an off-center UV flare at $a_{\rm BH} \sim 10^{3}r_{g}$ emerges within $t_{\rm UV} \sim \rm{O}(2 {\rm days})(a_{\rm BH}/10^{3}r_{g})(M_{\rm SMBH}/10^{8}M_{\odot})(v_{\rm kick}/10^{2}\rm{km/s})$ post-merger and lasts O$(R_{H}/v_{\rm kick}) \sim \rm{O}(5 t_{\rm UV}$). The flare emerges with luminosity O($10^{42}{\rm erg/s})(t_{\rm UV}/2{\rm days})^{-1}(M_{\rm Hill}/1M_{\odot})(v_{\rm kick}/10^{2}{\rm km/s})^{2}$. AGN optical/UV photometry alters and asymmetric broad emission line profiles can develop after weeks. If $R_{H}<H$, detectability depends on disk optical depth. Follow-up by large optical sky surveys is optimized for small GW error volumes and for LIGO/Virgo triggers $>50M_{\odot}$.


title: Finite-Volume Simulation of Capillary-Dominated Flow in Matrix-Fracture Systems using Interface Conditions

abstract: In numerical simulations of multiphase flow and transport in fractured porous media, the estimation of the hydrocarbon recovery requires accurately predicting the capillary-driven imbibition rate of the wetting phase initially present in the fracture into the low-permeability matrix. In the fully implicit finite-volume scheme, this entails a robust methodology that captures the capillary flux at the interface between the matrix and the fracture even when very coarse control volumes are used to discretize the matrix. Here, we investigate the application of discrete interface conditions at the matrix-fracture interface to improve the accuracy of the flux computation without relying on extreme grid refinement. In particular, we study the interaction of the upwinding scheme with the discrete interface conditions. Considering first capillary-dominated spontaneous imbibition and then forced imbibition with viscous, buoyancy, and capillary forces, we illustrate the importance of the interface conditions to accurately capture the matrix-fracture flux and correctly represent the flow dynamics in the problem.


title: Learning Neural Sequence-to-Sequence Models from Weak Feedback with Bipolar Ramp Loss

abstract: In many machine learning scenarios, supervision by gold labels is not available and consequently neural models cannot be trained directly by maximum likelihood estimation (MLE). In a weak supervision scenario, metric-augmented objectives can be employed to assign feedback to model outputs, which can be used to extract a supervision signal for training. We present several objectives for two separate weakly supervised tasks, machine translation and semantic parsing. We show that objectives should actively discourage negative outputs in addition to promoting a surrogate gold structure. This notion of bipolarity is naturally present in ramp loss objectives, which we adapt to neural models. We show that bipolar ramp loss objectives outperform other non-bipolar ramp loss objectives and minimum risk training (MRT) on both weakly supervised tasks, as well as on a supervised machine translation task. Additionally, we introduce a novel token-level ramp loss objective, which is able to outperform even the best sequence-level ramp loss on both weakly supervised tasks.


title: Kantorovich's Mass Transport Problem for Capacities

abstract: The aim of the present paper is to extend Kantorovich's mass transport problem to the framework of upper/lower continuous capacities and to prove the cyclic monotonicity of the supports of optimal supermodular plans. As in the probabilistic case, this easily yields the corresponding extension of the Kantorovich duality.


title: Neural Aspect and Opinion Term Extraction with Mined Rules as Weak Supervision

abstract: Lack of labeled training data is a major bottleneck for neural network based aspect and opinion term extraction on product reviews. To alleviate this problem, we first propose an algorithm to automatically mine extraction rules from existing training examples based on dependency parsing results. The mined rules are then applied to label a large amount of auxiliary data. Finally, we study training procedures to train a neural model which can learn from both the data automatically labeled by the rules and a small amount of data accurately annotated by human. Experimental results show that although the mined rules themselves do not perform well due to their limited flexibility, the combination of human annotated data and rule labeled auxiliary data can improve the neural model and allow it to achieve performance better than or comparable with the current state-of-the-art.


title: Classification of Cayley Rose Window Graphs

abstract: Rose window graphs are a family of tetravalent graphs, introduced by Steve Wilson. Following it, Kovacs, Kutnar and Marusic classified the edge-transitive rose window graphs and Dobson, Kovacs and Miklavic characterized the vertex transitive rose window graphs. In this paper, we classify the Cayley rose window graphs.


title: Improving short text classification through global augmentation methods

abstract: We study the effect of different approaches to text augmentation. To do this we use 3 datasets that include social media and formal text in the form of news articles. Our goal is to provide insights for practitioners and researchers on making choices for augmentation for classification use cases. We observe that Word2vec-based augmentation is a viable option when one does not have access to a formal synonym model (like WordNet-based augmentation). The use of \emph{mixup} further improves performance of all text based augmentations and reduces the effects of overfitting on a tested deep learning model. Round-trip translation with a translation service proves to be harder to use due to cost and as such is less accessible for both normal and low resource use-cases.


title: Foundations for conditional probability

abstract: The main result presented in this article is that probability can fundamentally be characterized as a subset of conditional expectation induced by a plausible preorder on random quantities. This is justified by the fact that probability is coherent as confirmed by its common formalizations, and by our result that a function is coherent if and only if it is a subset of conditional expectation induced by a plausible preorder on random quantities. In addition to offering a different perspective on conditional probability, our use of a plausible preorder in the role of a fundamental notion extends conditional probability to cases in which the calculation of conditional probability using the P(A|C)=\frac{P(A\wedge C)}{P(C)} rule fails: if P is a coherent function, then it can be extended so that for every event A and nonzero event C holds that P(A|C)=0 if A\wedge C=0 and P(A|C)=1 if A\wedge C=C, no matter whether the unconditional probability P(C) is zero or whether it is defined.


title: Spectral Numerical Mode Matching Method for 3D Layered Multi-Region Structures

abstract: The spectral numerical mode-matching (SNMM) method is developed to simulate the 3D layered multi-region structures. The SNMM method is a semi-analytical solver having the properties of dimensionality reduction to reduce computational costs; it is especially useful for microwave and optical integrated circuits where fabrication is often done in a layered structure. Furthermore, at some layer interfaces, very thin surfaces such as good conductor surfaces and metasurfaces can be deposited to achieve desired properties such as high absorbance and/or anomalous reflection/refraction. In this work, the 3D SNMM method is further extended from a single interface to multiple layers so that the electromagnetic propagation and scattering in the longitudinal direction is treated analytically through reflection and transmission matrices by using the eigenmode expansions in the transverse directions. Therefore, it effectively reduces the original 3D problem into a series of 2D eigenvalue problems for periodic structures. We apply this method to characterize metasurfaces and lithography models, and show that the SNMM method is especially efficient when the longitudinal layer thicknesses are large compared with wavelength. Numerical experiments indicate that the SNMM method is highly efficient and accurate for the metasurfaces and the lithography models.


title: Applications of a Novel Knowledge Discovery and Data Mining Process Model for Metabolomics

abstract: This work demonstrates the execution of a novel process model for knowledge discovery and data mining for metabolomics (MeKDDaM). It aims to illustrate MeKDDaM process model applicability using four different real-world applications and to highlight its strengths and unique features. The demonstrated applications provide coverage for metabolite profiling, target analysis, and metabolic fingerprinting. The data analysed in these applications were captured by chromatographic separation and mass spectrometry technique (LC-MS), Fourier transform infrared spectroscopy (FT-IR), and nuclear magnetic resonance spectroscopy (NMR) and involve the analysis of plant, animal, and human samples. The process was executed using both data-driven and hypothesis-driven data mining approaches in order to perform various data mining goals and tasks by applying a number of data mining techniques. The applications were selected to achieve a range of analytical goals and research questions and to provide coverage for metabolite profiling, target analysis, and metabolic fingerprinting using datasets that were captured by NMR, LC-MS, and FT-IR using samples of a plant, animal, and human origin. The process was applied using an implementation environment which was created in order to provide a computer-aided realisation of the process model execution.


title: Neutaint: Efficient Dynamic Taint Analysis with Neural Networks

abstract: Dynamic taint analysis (DTA) is widely used by various applications to track information flow during runtime execution. Existing DTA techniques use rule-based taint-propagation, which is neither accurate (i.e., high false positive) nor efficient (i.e., large runtime overhead). It is hard to specify taint rules for each operation while covering all corner cases correctly. Moreover, the overtaint and undertaint errors can accumulate during the propagation of taint information across multiple operations. Finally, rule-based propagation requires each operation to be inspected before applying the appropriate rules resulting in prohibitive performance overhead on large real-world applications. In this work, we propose NEUTAINT, a novel end-to-end approach to track information flow using neural program embeddings. The neural program embeddings model the target's programs computations taking place between taint sources and sinks, which automatically learns the information flow by observing a diverse set of execution traces. To perform lightweight and precise information flow analysis, we utilize saliency maps to reason about most influential sources for different sinks. NEUTAINT constructs two saliency maps, a popular machine learning approach to influence analysis, to summarize both coarse-grained and fine-grained information flow in the neural program embeddings. We compare NEUTAINT with 3 state-of-the-art dynamic taint analysis tools. The evaluation results show that NEUTAINT can achieve 68% accuracy, on average, which is 10% improvement while reducing 40 times runtime overhead over the second-best taint tool Libdft on 6 real world programs. NEUTAINT also achieves 61% more edge coverage when used for taint-guided fuzzing indicating the effectiveness of the identified influential bytes.


title: Discovery of a close-separation binary quasar at the heart of a z~0.2 merging galaxy and its implications for low-frequency gravitational waves

abstract: Supermassive black hole (SMBH) binaries with masses of ~10^8--10^9 Msun are expected to dominate the contribution to the as-yet undetected gravitational wave background (GWB) signal at the nanohertz frequencies accessible to Pulsar Timing Arrays (PTA). We currently lack firm empirical constraints on the amplitude of the GWB due to the dearth of confirmed SMBH binaries in the required mass range. Using HST/WFC3 images, we have discovered a z~0.2 quasar hosted in a merger remnant with two closely separated (0.13'' or ~430pc) continuum cores at the heart of the galaxy SDSSJ1010+1413. The two cores are spatially coincident with two powerful [OIII]-emitting point sources with quasar-like luminosities (L_AGN ~ 5x10^46 erg/s, suggesting the presence of a bound SMBH system, each with M_BH > 4x10^8 Msun. We place an upper limit on the merging timescale of the SMBH pair of 2.5 billion years, roughly the Universe lookback time at z~0.2. There is likely a population of quasar binaries similar to SDSSJ1010+1413 that contribute to a stochastic GWB that should be detected in the next several years. If the GWB is not detected this could indicate that SMBHs merge only over extremely long timescales, remaining as close separation binaries for many Hubble times, the so-called `final-parsec problem'.


title: Magnetic Inflation and Stellar Mass III: Revised Parameters for the Component Stars of NSVS 07394765

abstract: We perform a new analysis of the M dwarf-M dwarf eclipsing binary system NSVS 07394765 in order to investigate the reported hyper-inflated radius of one of the component stars. Our analysis is based on archival photometry from the Wide Angle Search for Planets (WASP), new photometry from the 32 cm {Command Module Observatory (CMO) telescope in Arizona and the 70 cm telescope at Thacher Observatory in California}, and new high-resolution infrared spectra obtained with the Immersion Grating Infrared Spectrograph (IGRINS) on the Discovery Channel Telescope. The masses and radii we measure for each component star disagree with previously reported measurements. We show that both stars are early M-type main-sequence stars without evidence for youth or hyper-inflation ($M_1= 0.661\ ^{+0.008}_{-0.036}\ \rm{M_{sun}}$, $M_2= 0.608\ ^{+0.003}_{-0.028}\ \rm{M_{sun}}$, $R_1= 0.599\ ^{+0.032}_{-0.019}\ \rm{R_{sun}}$, $R_2= 0.625\ ^{+0.012}_{-0.027}\ \rm{R_{sun}}$), and we update the orbital period and eclipse ephemerides for the system. We suggest that the likely cause of the initial hyper-inflated result is the use of moderate-resolution spectroscopy for precise radial velocity measurements.


title: $O(d,d)$ transformations preserve classical integrability

abstract: In this note, we study the action of $O(d,d)$ transformations on the integrable structure of two-dimensional non-linear sigma models via the doubled formalism. We construct the Lax pairs associated with the $O(d,d)$-transformed model and find that they are in general non-local because they depend on the winding modes. We conclude that every $O(d,d;\mathbb{R})$ deformation preserves integrability. As an application we compute the Lax pairs for continuous families of deformations, such as $J\bar{J}$ marginal deformations and TsT transformations of the three-sphere with $H$-flux.


title: External photoevaporation of circumstellar disks constrains the timescale for planet formation

abstract: Planet-forming circumstellar disks are a fundamental part of the star formation process. Since stars form in a hierarchical fashion in groups of up to hundreds or thousands, the UV radiation environment that these disks are exposed to can vary in strength by at least six orders of magnitude. This radiation can limit the masses and sizes of the disks. Diversity in star forming environments can have long lasting effects in disk evolution and in the resulting planetary populations. We perform simulations to explore the evolution of circumstellar disks in young star clusters. We include viscous evolution, as well as the impact of dynamical encounters and external photoevaporation. We find that photoevaporation is an important process in destroying circumstellar disks: in regions of stellar density $\rho \sim 100 \mathrm{\ M}_\odot \mathrm{\ pc}^{-3}\mathrm{\ }$ around 80% of disks are destroyed before 2 Myr of cluster evolution. Our findings are in agreement with observed disk fractions in young star forming regions and support previous estimations that planet formation must start in timescales < 0.1 - 1 Myr.


title: The TRGB distance to the second galaxy "missing dark matter". Evidence for two groups of galaxies at 13.5 and 19 Mpc in the line of sight of NGC1052

abstract: A second galaxy ``missing dark matter" (NGC1052-DF4) has been recently reported. Here we show, using the location of the Tip of the Red Giant Branch (TRGB), that the distance to this galaxy is 14.2+-0.7 Mpc. This locates the galaxy 6 Mpc closer than previously determined. We also analyse the distances to the brightest galaxies in the field-of-view (FOV) of NGC1052. We find this field is populated by two groups of galaxies in projection: one dominated by NGC1052 and NGC1047 at ~19 Mpc and another group containing NGC1042 and NGC1035 (as well as [KKS2000]04 and NGC1052-DF4) at ~13.5 Mpc. At a distance of 13.5 Mpc the globular clusters of NGC1052-DF4 have the same properties than globular clusters in the Milky Way and other dwarf galaxies.


title: Rolling with quantum fields

abstract: We study the dynamics of a classical scalar field that rolls down a linear potential as it interacts bi-quadratically with a quantum field. We explicitly solve the dynamical problem by using the classical-quantum correspondence (CQC). Rolling solutions on the effective potential are shown to compare very poorly with the full solution. Spatially homogeneous initial conditions maintain their homogeneity and small inhomogeneities in the initial conditions do not grow.

categories: hep-th cond-mat.other gr-qc hep-ph quant-ph


title: Stellar Overdensity in the Local Arm in Gaia DR2

abstract: Using the cross-matched data of Gaia DR2 and 2MASS Point Source Catalog, we investigated the surface density distribution of stars aged ~1 Gyr in the thin disk in the range of 90{\deg} <= l <= 270{\deg}. We selected 4,654 stars above the turnoff corresponding to the age ~1 Gyr, that fall within a small box region in the color-magnitude diagram, (J-Ks)0 versus M(Ks), for which the distance and reddening are corrected. The selected sample shows an arm-like overdensity at 90{\deg} <= l <= 190{\deg}.This overdensity is located close to the Local arm traced by high-mass star forming regions (HMSFRs), but its pitch angle is slightly larger than that of the HMSFR-defined arm. Although the significance of the overdensity we report is marginal, its structure poses questions concerning both of the competing scenarios of spiral arms, the density-wave theory and the dynamic spiral arm model. The offset between the arms traced by stars and HMSFRs, i.e., gas, is difficult to be explained by the dynamic arm scenario. On the other hand, the pitch angle of the stellar Local arm, if confirmed, larger than that of the Perseus arm is difficult to be explained with the classical density-wave scenario. The dynamic arm scenario can explain it if the Local arm is in a growing up phase, while the Perseus arm is in a disrupting phase. Our result provides a new and complex picture of the Galactic spiral arms, and encourages further studies.


title: How to GAN LHC Events

abstract: Event generation for the LHC can be supplemented by generative adversarial networks, which generate physical events and avoid highly inefficient event unweighting. For top pair production we show how such a network describes intermediate on-shell particles, phase space boundaries, and tails of distributions. In particular, we introduce the maximum mean discrepancy to resolve sharp local features. It can be extended in a straightforward manner to include for instance off-shell contributions, higher orders, or approximate detector effects.


title: Dynamically stable ergostars exist: General relativistic models and simulations

abstract: We construct the first dynamically stable ergostars (equilibrium neutron stars that contain an ergoregion) for a compressible, causal equation of state. We demonstrate their stability by evolving both strict and perturbed equilibrium configurations in full general relativity for over a hundred dynamical timescales ($\gtrsim 30$ rotational periods) and observing their stationary behavior. This stability is in contrast to earlier models which prove radially unstable to collapse. Our solutions are highly differentially rotating hypermassive neutron stars with a corresponding spherical compaction of $C=0.3$. Such ergostars can provide new insights into the geometry of spacetimes around highly compact, rotating objects and on the equation of state at supranuclear densities. Ergostars may form as remnants of extreme binary neutron star mergers and possibly provide another mechanism for powering short gamma-ray bursts.


title: Gaia Data Release 2 Catalogue of Extremely-low Mass White Dwarf Candidates

abstract: Extremely-low mass white dwarf stars (ELMs) are M < 0.3 MSun helium-core white dwarfs born either as a result of a common-envelope phase or after a stable Roche-lobe overflow episode in a multiple system. The Universe is not old enough for ELMs to have formed through single-star evolution channels. As remnants of binary evolution, ELMs can shed light onto the poorly understood phase of common-envelope evolution and provide constraints to the physics of mass accretion. Most known ELMs will merge in less than a Hubble time, providing an important contribution to the signal to be detected by upcoming space-based gravitational wave detectors. There are currently less than 150 known ELMs; most were selected by colour, focusing on hot objects, in a magnitude-limited survey of the Northern hemisphere only. Recent theoretical models have predicted a much larger spacial density for ELMs than estimated observationally based on this limited sample. In order to perform meaningful comparisons with theoretical models and test their predictions, a larger well-defined sample is required. In this work, we present a catalogue of ELM candidates selected from the second data release of Gaia (DR2). We have used predictions from theoretical models and analysed the properties of the known sample to map the space spanned by ELMs in the Gaia Hertzsprung-Russell diagram. Defining a set of colour cuts and quality flags, we have obtained a final sample of 5762 ELM candidates down to Teff ~ 5000K.


title: Axion-like Relics: New Constraints from Old Comagnetometer Data

abstract: The noble-alkali comagnetometer, developed in recent years, has been shown to be a very accurate measuring device of anomalous magnetic-like fields. An ultra-light relic axion-like particle can source an anomalous field that permeates space, allowing for its detection by comagnetometers. Here we derive new constraints on relic axion-like particles interaction with neutrons and electrons from old comagnetometer data. We show that the decade-old experimental data place the most stringent terrestrial constraints to date on ultra-light axion-like particles coupled to neutrons. The constraints are comparable to those from stellar cooling, providing a complementary probe. Future planned improvements of comagnetometer measurements through altered geometry, constituent content and data analysis techniques could enhance the sensitivity to axion-like relics coupled to nucleons or electrons by many orders of magnitude.


title: How Dense a CSM is Sufficient to Choke a Jet?

abstract: The progenitor stars of stripped-envelope high-velocity supernovae (Ic-BL SNe) can explode inside a dense circumstellar medium (CSM) that extends out to many times the progenitor radius. This complicates the question of whether all Ic-BL SNe harbor a jet, which can tunnel through the star and be viewed on-axis as a long-duration gamma-ray burst (GRB). More specifically, a sufficiently dense CSM might "choke" the jet, redistributing its energy quasi-spherically. In this study, we numerically calculate the CSM density necessary for jet-choking. For typical GRBs, we determine the jet is not choked in the CSM unless $\rho r^2 > 4 \times 10^{19}$ g/cm; this requires several solar masses of CSM to be situated within $10^{13}$ cm of the progenitor, a much higher density than any CSM observed. We conclude that typical GRB jets are not choked in the CSM. However, in many cases the CSM has sufficient mass to decelerate the jet to a modest Lorentz factor ($\Gamma \sim 10$), which should lead to a long coasting phase for the jet, observable as a long plateau (potentially up to a few days) in the afterglow light curve. For extreme cases of low-energy GRBs in a high-mass CSM, the jet will decelerate to nonrelativistic velocities, causing it to spread modestly to a larger opening angle ($\theta_j \approx 20$ degrees) before breaking out of the CSM. Even in these extreme examples, the jet does not have time to redistribute its energy quasi-spherically in the CSM before breakout.


title: Error-run-time trade-off in the adiabatic approximation beyond scaling relations

abstract: The use of the adiabatic approximation in practical applications, as in adiabatic quantum computation, demands an assessment of the errors made in finite-time evolutions. Aiming at such scenarios, we derive bounds relating error and evolution time in the adiabatic approximation that go beyond typical scaling relations. Using the Adiabatic Perturbation Theory, we obtain leading-order expressions valid for long evolution time $T$, while explicitly determining the shortest time $T$ and the largest error $\varepsilon$ for which they are valid. In this validity regime, we can make clear and precise statements about the evolution time needed to reach a given error and vice-versa. As an example of practical importance, we apply these results to the adiabatic search, and obtain for the first time an error-run-time trade-off relation that fully reproduces the discrete-Grover-search scaling. We also pioneer the obtention of tight numerical values for $\varepsilon$ and $T$ under the error-reducing strategy ``boundary cancelation''.