-
Key Science Goals for the Next-Generation Event Horizon Telescope
Authors:
Michael D. Johnson,
Kazunori Akiyama,
Lindy Blackburn,
Katherine L. Bouman,
Avery E. Broderick,
Vitor Cardoso,
R. P. Fender,
Christian M. Fromm,
Peter Galison,
José L. Gómez,
Daryl Haggard,
Matthew L. Lister,
Andrei P. Lobanov,
Sera Markoff,
Ramesh Narayan,
Priyamvada Natarajan,
Tiffany Nichols,
Dominic W. Pesce,
Ziri Younsi,
Andrew Chael,
Koushik Chatterjee,
Ryan Chaves,
Juliusz Doboszewski,
Richard Dodson,
Sheperd S. Doeleman
, et al. (20 additional authors not shown)
Abstract:
The Event Horizon Telescope (EHT) has led to the first images of a supermassive black hole, revealing the central compact objects in the elliptical galaxy M87 and the Milky Way. Proposed upgrades to this array through the next-generation EHT (ngEHT) program would sharply improve the angular resolution, dynamic range, and temporal coverage of the existing EHT observations. These improvements will u…
▽ More
The Event Horizon Telescope (EHT) has led to the first images of a supermassive black hole, revealing the central compact objects in the elliptical galaxy M87 and the Milky Way. Proposed upgrades to this array through the next-generation EHT (ngEHT) program would sharply improve the angular resolution, dynamic range, and temporal coverage of the existing EHT observations. These improvements will uniquely enable a wealth of transformative new discoveries related to black hole science, extending from event-horizon-scale studies of strong gravity to studies of explosive transients to the cosmological growth and influence of supermassive black holes. Here, we present the key science goals for the ngEHT and their associated instrument requirements, both of which have been formulated through a multi-year international effort involving hundreds of scientists worldwide.
△ Less
Submitted 21 April, 2023;
originally announced April 2023.
-
Online fair division with arbitrary entitlements
Authors:
Kushagra Chatterjee,
Biswadeep Sen,
Yuhao Wang
Abstract:
The division of goods in the online realm poses opportunities and challenges. While innovative mechanisms can be developed, uncertainty about the future may hinder effective solutions. This project aims to explore fair distribution models for goods among agents with arbitrary entitlements, specifically addressing food charity challenges in the real world. Building upon prior work in [AAGW15], whic…
▽ More
The division of goods in the online realm poses opportunities and challenges. While innovative mechanisms can be developed, uncertainty about the future may hinder effective solutions. This project aims to explore fair distribution models for goods among agents with arbitrary entitlements, specifically addressing food charity challenges in the real world. Building upon prior work in [AAGW15], which focuses on equal entitlements, our project seeks to better understand the proofs of the theorems mentioned in that paper, which currently only provide proof sketches. Our approach employs different proof techniques from those presented in [AAGW15]
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Quantum Mpemba effect in a quantum dot with reservoirs
Authors:
Amit Kumar Chatterjee,
Satoshi Takada,
Hisao Hayakawa
Abstract:
We demonstrate the quantum Mpemba effect in a quantum dot coupled to two reservoirs, described by the Anderson model. We show that the system temperatures starting from two different initial values (hot and cold), cross each other at finite time (and thereby reverse their identities i.e. hot becomes cold and vice versa) to generate thermal quantam Mpemba effect. The slowest relaxation mode believe…
▽ More
We demonstrate the quantum Mpemba effect in a quantum dot coupled to two reservoirs, described by the Anderson model. We show that the system temperatures starting from two different initial values (hot and cold), cross each other at finite time (and thereby reverse their identities i.e. hot becomes cold and vice versa) to generate thermal quantam Mpemba effect. The slowest relaxation mode believed to play the dominating role in Mpemba effect in Markovian systems, does not contribute to such anomalous relaxation in the present model. In this connection, our analytical result provides necessary condition for producing quantum Mpemba effect in the density matrix elements of the quantum dot, as a combined effect of the remaining relaxation modes.
△ Less
Submitted 13 July, 2023; v1 submitted 5 April, 2023;
originally announced April 2023.
-
Comparison of Polarized Radiative Transfer Codes used by the EHT Collaboration
Authors:
Ben S. Prather,
Jason Dexter,
Monika Moscibrodzka,
Hung-Yi Pu,
Thomas Bronzwaer,
Jordy Davelaar,
Ziri Younsi,
Charles F. Gammie,
Roman Gold,
George N. Wong,
Kazunori Akiyama,
Antxon Alberdi,
Walter Alef,
Juan Carlos Algaba,
Richard Anantua,
Keiichi Asada,
Rebecca Azulay,
Uwe Bach,
Anne-Kathrin Baczko,
David Ball,
Mislav Baloković,
John Barrett,
Michi Bauböck,
Bradford A. Benson,
Dan Bintley
, et al. (248 additional authors not shown)
Abstract:
Interpretation of resolved polarized images of black holes by the Event Horizon Telescope (EHT) requires predictions of the polarized emission observable by an Earth-based instrument for a particular model of the black hole accretion system. Such predictions are generated by general relativistic radiative transfer (GRRT) codes, which integrate the equations of polarized radiative transfer in curve…
▽ More
Interpretation of resolved polarized images of black holes by the Event Horizon Telescope (EHT) requires predictions of the polarized emission observable by an Earth-based instrument for a particular model of the black hole accretion system. Such predictions are generated by general relativistic radiative transfer (GRRT) codes, which integrate the equations of polarized radiative transfer in curved spacetime. A selection of ray-tracing GRRT codes used within the EHT collaboration is evaluated for accuracy and consistency in producing a selection of test images, demonstrating that the various methods and implementations of radiative transfer calculations are highly consistent. When imaging an analytic accretion model, we find that all codes produce images similar within a pixel-wise normalized mean squared error (NMSE) of 0.012 in the worst case. When imaging a snapshot from a cell-based magnetohydrodynamic simulation, we find all test images to be similar within NMSEs of 0.02, 0.04, 0.04, and 0.12 in Stokes I, Q, U , and V respectively. We additionally find the values of several image metrics relevant to published EHT results to be in agreement to much better precision than measurement uncertainties.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Classical and quantum facilitated exclusion processes
Authors:
Amit Kumar Chatterjee,
Adhip Agarwala
Abstract:
We demonstrate exciting similarities between classical and quantum many body systems whose microscopic dynamics are composed of non-reciprocal three-site facilitated exclusion processes. We show that the quantum analogue of the classical facilitated process engineers an interesting $quantum$ $absorbing$ $transition$ where the quantum particles transit from an unentangled direct-product absorbing p…
▽ More
We demonstrate exciting similarities between classical and quantum many body systems whose microscopic dynamics are composed of non-reciprocal three-site facilitated exclusion processes. We show that the quantum analogue of the classical facilitated process engineers an interesting $quantum$ $absorbing$ $transition$ where the quantum particles transit from an unentangled direct-product absorbing phase to an entangled steady state with a finite current at density $ρ=1/2$. In the generalised classical facilitated exclusion process, which includes independent hop** of particles with rate $p$, our analytical and Monte-Carlo results establish emergence of a special density $ρ^*=1/3$ that demarcates two regimes in the steady state, based on the competition between two current carrying modes (facilitated and independent). The corresponding quantum system also displays similar qualitative behaviours with striking non-monotonic features in the bipartite entanglement. Our work ties the two sub-fields of classically interacting exclusion processes, and interacting non-Hermitian quantum Hamiltonians to show common themes in the non-equilibrium phases they realise.
△ Less
Submitted 27 February, 2023; v1 submitted 17 February, 2023;
originally announced February 2023.
-
Millimeter Observational Signatures of Flares in Magnetically Arrested Black Hole Accretion Models
Authors:
He Jia,
Bart Ripperda,
Eliot Quataert,
Christopher J. White,
Koushik Chatterjee,
Alexander Philippov,
Matthew Liska
Abstract:
In general relativistic magneto-hydrodynamic (GRMHD) simulations, accreted magnetic flux on the black hole horizon episodically decays, during which magnetic reconnection heats up the plasma near the horizon, potentially powering high-energy flares like those observed in M87* and Sgr A*. We study the mm observational counterparts of such flaring episodes. The change in 230 GHz flux during the expe…
▽ More
In general relativistic magneto-hydrodynamic (GRMHD) simulations, accreted magnetic flux on the black hole horizon episodically decays, during which magnetic reconnection heats up the plasma near the horizon, potentially powering high-energy flares like those observed in M87* and Sgr A*. We study the mm observational counterparts of such flaring episodes. The change in 230 GHz flux during the expected high energy flares depends primarily on the efficiency of accelerating $γ\gtrsim 100$ ($T_e \gtrsim 10^{11}$ K) electrons. For models in which the electrons are heated to $T_e \sim 10^{11}$ K during flares, the hot plasma produced by reconnection significantly enhances 230 GHz emission and increases the size of the 230 GHz image. By contrast, for models in which the electrons are heated to higher temperatures (which we argue are better motivated), the reconnection-heated plasma is too hot to produce significant 230 GHz synchrotron emission, and the 230 GHz flux decreases during high energy flares. We do not find a significant change in the mm polarization during flares as long as the emission is Faraday thin. We also present expectations for the ring-shaped image as observed by the Event Horizon Telescope during flares, as well as multi-wavelength synchrotron spectra. Our results highlight several limitations of standard post-processing prescriptions for the electron temperature in GRMHD simulations. We also discuss the implications of our results for current and future observations of flares in Sgr A*, M87*, and related systems. Appendices contain detailed convergence studies with respect to resolution and plasma magnetization.
△ Less
Submitted 23 September, 2023; v1 submitted 21 January, 2023;
originally announced January 2023.
-
Exploring the role of composition and mass-loading on the properties of hadronic jets
Authors:
Dimitrios Kantzas,
Sera Markoff,
Matteo Lucchini,
Chiara Ceccobello,
Koushik Chatterjee
Abstract:
Astrophysical jets are relativistic outflows that remain collimated for remarkably many orders of magnitude. Despite decades of research, the origin of cosmic rays (CRs) remains unclear, but jets launched by both supermassive black holes in the centre of galaxies and stellar-mass black holes harboured in X-ray binaries (BHXBs) are among the candidate sources for CR acceleration. When CRs accelerat…
▽ More
Astrophysical jets are relativistic outflows that remain collimated for remarkably many orders of magnitude. Despite decades of research, the origin of cosmic rays (CRs) remains unclear, but jets launched by both supermassive black holes in the centre of galaxies and stellar-mass black holes harboured in X-ray binaries (BHXBs) are among the candidate sources for CR acceleration. When CRs accelerate in astrophysical jets, they initiate particle cascades that form γ-rays and neutrinos. In the so-called hadronic scenario, the population of accelerated CRs requires a significant amount of energy to properly explain the spectral constraints similarly to a purely leptonic scenario. The amount of energy required often exceeds the Eddington limit, or even the total energy available within the jets. The exact energy source for the accelerated protons is unclear, but due to energy conservation along the jets, it is believed to come from the jet itself via transfer of energy from the magnetic fields, or kinetic energy from the outflow. To address this hadronic energy issue and to self-consistently evolve the energy flux along the flows, we explore a novel treatment for including hadronic content, in which instabilities along the jet/wind border play a critical role. We discuss the impact of the different jet composition on the jet dynamics for a pair dominated and an electron-proton jet, and consequently the emitted spectrum, accounting for both leptonic and hadronic processes. Finally, we discuss the implications of this mass-loading scenario to address the proton energy issue.
△ Less
Submitted 16 January, 2023;
originally announced January 2023.
-
The ngEHT Analysis Challenges
Authors:
Freek Roelofs,
Lindy Blackburn,
Greg Lindahl,
Sheperd S. Doeleman,
Michael D. Johnson,
Philipp Arras,
Koushik Chatterjee,
Razieh Emami,
Christian Fromm,
Antonio Fuentes,
Jakob Knollmueller,
Nikita Kosogorov,
Hendrik Mueller,
Nimesh Patel,
Alexander Raymond,
Paul Tiede,
Thalia Traianou,
Justin Vega
Abstract:
The next-generation Event Horizon Telescope (ngEHT) will be a significant enhancement of the Event Horizon Telescope (EHT) array, with $\sim 10$ new antennas and instrumental upgrades of existing antennas. The increased $uv$-coverage, sensitivity, and frequency coverage allow a wide range of new science opportunities to be explored. The ngEHT Analysis Challenges have been launched to inform develo…
▽ More
The next-generation Event Horizon Telescope (ngEHT) will be a significant enhancement of the Event Horizon Telescope (EHT) array, with $\sim 10$ new antennas and instrumental upgrades of existing antennas. The increased $uv$-coverage, sensitivity, and frequency coverage allow a wide range of new science opportunities to be explored. The ngEHT Analysis Challenges have been launched to inform development of the ngEHT array design, science objectives, and analysis pathways. For each challenge, synthetic EHT and ngEHT datasets are generated from theoretical source models and released to the challenge participants, who analyze the datasets using image reconstruction and other methods. The submitted analysis results are evaluated with quantitative metrics. In this work, we report on the first two ngEHT Analysis Challenges. These have focused on static and dynamical models of M87* and Sgr A*, and shown that high-quality movies of the extended jet structure of M87* and near-horizon hourly timescale variability of Sgr A* can be reconstructed by the reference ngEHT array in realistic observing conditions, using current analysis algorithms. We identify areas where there is still room for improvement of these algorithms and analysis strategies. Other science cases and arrays will be explored in future challenges.
△ Less
Submitted 21 December, 2022;
originally announced December 2022.
-
Accretion Flow Morphology in Numerical Simulations of Black Holes from the ngEHT Model Library: The Impact of Radiation Physics
Authors:
Koushik Chatterjee,
Andrew Chael,
Paul Tiede,
Yosuke Mizuno,
Razieh Emami,
Christian Fromm,
Angelo Ricarte,
Lindy Blackburn,
Freek Roelofs,
Michael D. Johnson,
Sheperd S. Doeleman,
Philipp Arras,
Antonio Fuentes,
Jakob Knollmüller,
Nikita Kosogorov,
Greg Lindahl,
Hendrik Müller,
Nimesh Patel,
Alexander Raymond,
Efthalia Traianou,
Justin Vega
Abstract:
In the past few years, the Event Horizon Telescope (EHT) has provided the first-ever event horizon-scale images of the supermassive black holes (BHs) (M87*) and Sagittarius A$^*$ (Sgr A*). The next-generation EHT project is an extension of the EHT array that promises larger angular resolution and higher sensitivity to the dim, extended flux around the central ring-like structure, possibly connecti…
▽ More
In the past few years, the Event Horizon Telescope (EHT) has provided the first-ever event horizon-scale images of the supermassive black holes (BHs) (M87*) and Sagittarius A$^*$ (Sgr A*). The next-generation EHT project is an extension of the EHT array that promises larger angular resolution and higher sensitivity to the dim, extended flux around the central ring-like structure, possibly connecting the accretion flow and the jet. The ngEHT Analysis Challenges aim to understand the science extractability from synthetic images and movies to inform the ngEHT array design and analysis algorithm development. In this work, we compare the accretion flow structure and dynamics in numerical fluid simulations that specifically target M87* and Sgr A*, and were used to construct the source models in the challenge set. We consider (1) a steady-state axisymmetric radiatively inefficient accretion flow model with a time-dependent shearing hotspot, (2) two time-dependent single fluid general relativistic magnetohydrodynamic (GRMHD) simulations from the H-AMR code, (3) a two-temperature GRMHD simulation from the BHAC code, and (4) a two-temperature radiative GRMHD simulation from the KORAL code. We find that the different models exhibit remarkably similar temporal and spatial properties, except for the electron temperature, since radiative losses substantially cool down electrons near the BH and the jet sheath, signaling the importance of radiative cooling even for slowly accreting BHs such as M87*. We restrict ourselves to standard torus accretion flows, and leave larger explorations of alternate accretion models to future work.
△ Less
Submitted 7 March, 2023; v1 submitted 4 December, 2022;
originally announced December 2022.
-
Quantization-aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks
Authors:
Mathias Lechner,
Đorđe Žikelić,
Krishnendu Chatterjee,
Thomas A. Henzinger,
Daniela Rus
Abstract:
We study the problem of training and certifying adversarially robust quantized neural networks (QNNs). Quantization is a technique for making neural networks more efficient by running them using low-bit integer arithmetic and is therefore commonly adopted in industry. Recent work has shown that floating-point neural networks that have been verified to be robust can become vulnerable to adversarial…
▽ More
We study the problem of training and certifying adversarially robust quantized neural networks (QNNs). Quantization is a technique for making neural networks more efficient by running them using low-bit integer arithmetic and is therefore commonly adopted in industry. Recent work has shown that floating-point neural networks that have been verified to be robust can become vulnerable to adversarial attacks after quantization, and certification of the quantized representation is necessary to guarantee robustness. In this work, we present quantization-aware interval bound propagation (QA-IBP), a novel method for training robust QNNs. Inspired by advances in robust learning of non-quantized networks, our training algorithm computes the gradient of an abstract representation of the actual network. Unlike existing approaches, our method can handle the discrete semantics of QNNs. Based on QA-IBP, we also develop a complete verification procedure for verifying the adversarial robustness of QNNs, which is guaranteed to terminate and produce a correct answer. Compared to existing approaches, the key advantage of our verification procedure is that it runs entirely on GPU or other accelerator devices. We demonstrate experimentally that our approach significantly outperforms existing methods and establish the new state-of-the-art for training and certifying the robustness of QNNs.
△ Less
Submitted 29 November, 2022;
originally announced November 2022.
-
Tracing the hot spot motion using the next generation Event Horizon Telescope (ngEHT)
Authors:
Razieh Emami,
Paul Tiede,
Sheperd S. Doeleman,
Freek Roelofs,
Maciek Wielgus,
Lindy Blackburn,
Matthew Liska,
Koushik Chatterjee,
Bart Ripperda,
Antonio Fuentes,
Avery Broderick,
Lars Hernquist,
Charles Alcock,
Ramesh Narayan,
Randall Smith,
Grant Tremblay,
Angelo Ricarte,
He Sun,
Richard Anantua,
Yuri Y. Kovalev,
Priyamvada Natarajan,
Mark Vogelsberger
Abstract:
We propose to trace the dynamical motion of a shearing hot spot near the SgrA* source through a dynamical image reconstruction algorithm, StarWarps. Such a hot spot may form as the exhaust of magnetic reconnection in a current sheet near the black hole horizon. A hot spot that is ejected from the current sheet into an orbit in the accretion disk may shear and diffuse due to instabilities at its bo…
▽ More
We propose to trace the dynamical motion of a shearing hot spot near the SgrA* source through a dynamical image reconstruction algorithm, StarWarps. Such a hot spot may form as the exhaust of magnetic reconnection in a current sheet near the black hole horizon. A hot spot that is ejected from the current sheet into an orbit in the accretion disk may shear and diffuse due to instabilities at its boundary during its orbit, resulting in a distinct signature. We subdivide the motion to two distinct phases; the first phase refers to the appearance of the hot spot modelled as a bright blob, followed by a subsequent shearing phase simulated as a stretched ellipse. We employ different observational arrays, including EHT(2017,2022) and the next generation event horizon telescope (ngEHTp1, ngEHT) arrays, in which few new additional sites are added to the observational array. We make dynamical image reconstructions for each of these arrays. Subsequently, we infer the hot spot phase in the first phase followed by the axes ratio and the ellipse area in the second phase. We focus on the direct observability of the orbiting hot spot in the sub-mm wavelength. Our analysis demonstrates that newly added dishes may easily trace the first phase as well as part of the second phase, before the flux is reduced substantially. The algorithm used in this work can be extended to any other types of the dynamical motion. Consequently, we conclude that the ngEHT is a key to directly observe the dynamical motions near variable sources, such as SgrA*.
△ Less
Submitted 15 November, 2022; v1 submitted 12 November, 2022;
originally announced November 2022.
-
Flux eruption events drive angular momentum transport in magnetically arrested accretion flows
Authors:
Koushik Chatterjee,
Ramesh Narayan
Abstract:
We evolve two high-resolution general relativistic magnetohydrodynamic (GRMHD) simulations of advection-dominated accretion flows around non-spinning black holes (BHs), each over a duration $\sim 3\times 10^5\,GM_{\rm BH}/c^3$. One model captures the evolution of a weakly magnetized (SANE) disk and the other a magnetically arrested disk (MAD). Magnetic flux eruptions in the MAD model push out gas…
▽ More
We evolve two high-resolution general relativistic magnetohydrodynamic (GRMHD) simulations of advection-dominated accretion flows around non-spinning black holes (BHs), each over a duration $\sim 3\times 10^5\,GM_{\rm BH}/c^3$. One model captures the evolution of a weakly magnetized (SANE) disk and the other a magnetically arrested disk (MAD). Magnetic flux eruptions in the MAD model push out gas from the disk and launch strong winds with outflow efficiencies at times reaching $10\%$ of the incoming accretion power. Despite the substantial power in these winds, average mass outflow rates remain small out to a radius $\sim100\,GM_{\rm BH}/c^2$, only reaching $\sim 60-80\%$ of the horizon accretion rate. The average outward angular momentum transport is primarily radial in both modes of accretion, but with a clear distinction: magnetic flux eruption-driven disk winds cause a strong vertical flow of angular momentum in the MAD model, while for the SANE model, the magnetorotational instability (MRI) moves angular momentum mostly equatorially through the disk. Further, we find that the MAD state is highly transitory and non-axisymmetric, with the accretion mode often changing to a SANE-like state following an eruption before reattaining magnetic flux saturation with time. The Reynolds stress changes direction during such transitions, with the MAD (SANE) state showing an inward (outward) stress, possibly pointing to intermittent MRI-driven accretion in MADs. Pinning down the nature of flux eruptions using next-generation telescopes will be crucial in understanding the flow of mass, magnetic flux and angular momentum in sub-Eddington accreting BHs like M87$^*$ and Sagittarius A$^*$.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Relativistic Signatures of Flux Eruption Events Near Black Holes
Authors:
Zachary Gelles,
Koushik Chatterjee,
Michael Johnson,
Bart Ripperda,
Matthew Liska
Abstract:
Images of supermassive black holes produced using very long baseline interferometry provide a pathway to directly observing effects of a highly curved spacetime, such as a bright ``photon ring'' that arises from strongly lensed emission. In addition, the emission near supermassive black holes is highly variable, with bright high-energy flares regularly observed. We demonstrate that intrinsic varia…
▽ More
Images of supermassive black holes produced using very long baseline interferometry provide a pathway to directly observing effects of a highly curved spacetime, such as a bright ``photon ring'' that arises from strongly lensed emission. In addition, the emission near supermassive black holes is highly variable, with bright high-energy flares regularly observed. We demonstrate that intrinsic variability can introduce prominent associated changes in the relative brightness of the photon ring. We analyze both semianalytic toy models and GRMHD simulations with magnetic flux eruption events, showing that they each exhibit a characteristic ``loop'' in the space of relative photon ring brightness versus total flux density. For black holes viewed at high inclination, the relative photon ring brightness can change by an order of magnitude, even with variations in total flux density that are comparatively mild. We show that gravitational lensing, Doppler boosting, and magnetic field structure all significantly affect this feature, and we discuss the prospects for observing it in observations of M87* and Sgr A* with the next-generation Event Horizon Telescope.
△ Less
Submitted 24 November, 2022; v1 submitted 13 October, 2022;
originally announced October 2022.
-
Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees
Authors:
Đorđe Žikelić,
Mathias Lechner,
Thomas A. Henzinger,
Krishnendu Chatterjee
Abstract:
We study the problem of learning controllers for discrete-time non-linear stochastic dynamical systems with formal reach-avoid guarantees. This work presents the first method for providing formal reach-avoid guarantees, which combine and generalize stability and safety guarantees, with a tolerable probability threshold $p\in[0,1]$ over the infinite time horizon. Our method leverages advances in ma…
▽ More
We study the problem of learning controllers for discrete-time non-linear stochastic dynamical systems with formal reach-avoid guarantees. This work presents the first method for providing formal reach-avoid guarantees, which combine and generalize stability and safety guarantees, with a tolerable probability threshold $p\in[0,1]$ over the infinite time horizon. Our method leverages advances in machine learning literature and it represents formal certificates as neural networks. In particular, we learn a certificate in the form of a reach-avoid supermartingale (RASM), a novel notion that we introduce in this work. Our RASMs provide reachability and avoidance guarantees by imposing constraints on what can be viewed as a stochastic extension of level sets of Lyapunov functions for deterministic systems. Our approach solves several important problems -- it can be used to learn a control policy from scratch, to verify a reach-avoid specification for a fixed control policy, or to fine-tune a pre-trained policy if it does not satisfy the reach-avoid specification. We validate our approach on $3$ stochastic non-linear reinforcement learning tasks.
△ Less
Submitted 29 November, 2022; v1 submitted 11 October, 2022;
originally announced October 2022.
-
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems
Authors:
Matin Ansaripour,
Krishnendu Chatterjee,
Thomas A. Henzinger,
Mathias Lechner,
Đorđe Žikelić
Abstract:
We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability~$1$. Our approach is based on the novel notion of stabilizing ranking supermartingales (sRSMs) that we introduce in this work. Our sRSMs overcome the limitation of methods proposed in previous works whose app…
▽ More
We consider the problem of learning control policies in discrete-time stochastic systems which guarantee that the system stabilizes within some specified stabilization region with probability~$1$. Our approach is based on the novel notion of stabilizing ranking supermartingales (sRSMs) that we introduce in this work. Our sRSMs overcome the limitation of methods proposed in previous works whose applicability is restricted to systems in which the stabilizing region cannot be left once entered under any control policy. We present a learning procedure that learns a control policy together with an sRSM that formally certifies probability~$1$ stability, both learned as neural networks. We show that this procedure can also be adapted to formally verifying that, under a given Lipschitz continuous control policy, the stochastic system stabilizes within some stabilizing region with probability~$1$. Our experimental evaluation shows that our learning procedure can successfully learn provably stabilizing policies in practice.
△ Less
Submitted 28 July, 2023; v1 submitted 11 October, 2022;
originally announced October 2022.
-
Social Balance on Networks: Local Minima and Best Edge Dynamics
Authors:
Krishnendu Chatterjee,
Jakub Svoboda,
Ðorđe Žikelić,
Andreas Pavlogiannis,
Josef Tkadlec
Abstract:
Structural balance theory is an established framework for studying social relationships of friendship and enmity. These relationships are modeled by a signed network whose energy potential measures the level of imbalance, while stochastic dynamics drives the network towards a state of minimum energy that captures social balance. It is known that this energy landscape has local minima that can trap…
▽ More
Structural balance theory is an established framework for studying social relationships of friendship and enmity. These relationships are modeled by a signed network whose energy potential measures the level of imbalance, while stochastic dynamics drives the network towards a state of minimum energy that captures social balance. It is known that this energy landscape has local minima that can trap socially-aware dynamics, preventing it from reaching balance. Here we first study the robustness and attractor properties of these local minima. We show that a stochastic process can reach them from an abundance of initial states, and that some local minima cannot be escaped by mild perturbations of the network. Motivated by these anomalies, we introduce Best Edge Dynamics (BED), a new plausible stochastic process. We prove that BED always reaches balance, and that it does so fast in various interesting settings.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
Unraveling Twisty Linear Polarization Morphologies in Black Hole Images
Authors:
Razieh Emami,
Angelo Ricarte,
George N. Wong,
Daniel Palumbo,
Dominic Chang,
Sheperd S. Doeleman,
Avery Broaderick,
Ramesh Narayan,
Maciek Wielgus,
Lindy Blackburn,
Ben S. Prather,
Andrew A. Chael,
Richard Anantua,
Koushik Chatterjee,
Ivan Marti-Vidal,
Jose L. Gomez,
Kazunori Akiyama,
Matthew Liska,
Lars Hernquist,
Grant Tremblay,
Mark Vogelsberger,
Charles Alcock,
Randall Smith,
James Steiner,
Paul Tiede
, et al. (1 additional authors not shown)
Abstract:
We investigate general relativistic magnetohydrodynamic simulations (GRMHD) to determine the physical origin of the twisty patterns of linear polarization seen in spatially resolved black hole images and explain their morphological dependence on black hole spin. By characterising the observed emission with a simple analytic ring model, we find that the twisty morphology is determined by the magnet…
▽ More
We investigate general relativistic magnetohydrodynamic simulations (GRMHD) to determine the physical origin of the twisty patterns of linear polarization seen in spatially resolved black hole images and explain their morphological dependence on black hole spin. By characterising the observed emission with a simple analytic ring model, we find that the twisty morphology is determined by the magnetic field structure in the emitting region. Moreover, the dependence of this twisty pattern on spin can be attributed to changes in the magnetic field geometry that occur due to the frame dragging. By studying an analytic ring model, we find that the roles of Doppler boosting and lensing are subdominant. Faraday rotation may cause a systematic shift in the linear polarization pattern, but we find that its impact is subdominant for models with strong magnetic fields and modest ion-to-electron temperature ratios. Models with weaker magnetic fields are much more strongly affected by Faraday rotation and have more complicated emission geometries than can be captured by a ring model. However, these models are currently disfavoured by the recent EHT observations of M87*. Our results suggest that linear polarization maps can provide a probe of the underlying magnetic field structure around a black hole, which may then be usable to indirectly infer black hole spins. The generality of these results should be tested with alternative codes, initial conditions, and plasma physics prescriptions.
△ Less
Submitted 28 March, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
Repeated Prophet Inequality with Near-optimal Bounds
Authors:
Krishnendu Chatterjee,
Mona Mohammadi,
Raimundo Saona
Abstract:
In modern sample-driven Prophet Inequality, an adversary chooses a sequence of $n$ items with values $v_1, v_2, \ldots, v_n$ to be presented to a decision maker (DM). The process follows in two phases. In the first phase (sampling phase), some items, possibly selected at random, are revealed to the DM, but she can never accept them. In the second phase, the DM is presented with the other items in…
▽ More
In modern sample-driven Prophet Inequality, an adversary chooses a sequence of $n$ items with values $v_1, v_2, \ldots, v_n$ to be presented to a decision maker (DM). The process follows in two phases. In the first phase (sampling phase), some items, possibly selected at random, are revealed to the DM, but she can never accept them. In the second phase, the DM is presented with the other items in a random order and online fashion. For each item, she must make an irrevocable decision to either accept the item and stop the process or reject the item forever and proceed to the next item. The goal of the DM is to maximize the expected value as compared to a Prophet (or offline algorithm) that has access to all information. In this setting, the sampling phase has no cost and is not part of the optimization process. However, in many scenarios, the samples are obtained as part of the decision-making process.
We model this aspect as a two-phase Prophet Inequality where an adversary chooses a sequence of $2n$ items with values $v_1, v_2, \ldots, v_{2n}$ and the items are randomly ordered. Finally, there are two phases of the Prophet Inequality problem with the first $n$-items and the rest of the items, respectively. We show that some basic algorithms achieve a ratio of at most $0.450$. We present an algorithm that achieves a ratio of at least $0.495$. Finally, we show that for every algorithm the ratio it can achieve is at most $0.502$. Hence our algorithm is near-optimal.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Online Admission Control and Rebalancing in Payment Channel Networks
Authors:
Mahsa Bastankhah,
Krishnendu Chatterjee,
Mohammad Ali Maddah-Ali,
Stefan Schmid,
Jakub Svoboda,
Michelle Yeo
Abstract:
Payment channel networks (PCNs) are a promising technology to improve the scalability of cryptocurrencies. PCNs, however, face the challenge that the frequent usage of certain routes may deplete channels in one direction, and hence prevent further transactions. In order to reap the full potential of PCNs, recharging and rebalancing mechanisms are required to provision channels, as well as an admis…
▽ More
Payment channel networks (PCNs) are a promising technology to improve the scalability of cryptocurrencies. PCNs, however, face the challenge that the frequent usage of certain routes may deplete channels in one direction, and hence prevent further transactions. In order to reap the full potential of PCNs, recharging and rebalancing mechanisms are required to provision channels, as well as an admission control logic to decide which transactions to reject in case capacity is insufficient. This paper presents a formal model of this optimisation problem. In particular, we consider an online algorithms perspective, where transactions arrive over time in an unpredictable manner. Our main contributions are competitive online algorithms which come with provable guarantees over time. We empirically evaluate our algorithms on randomly generated transactions to compare the average performance of our algorithms to our theoretical bounds. We also show how this model and approach differs from related problems in classic communication networks.
△ Less
Submitted 24 September, 2022;
originally announced September 2022.
-
Popular Edges with Critical Nodes
Authors:
Kushagra Chatterjee,
Prajakta Nimbhorkar
Abstract:
In the popular edge problem, the input is a bipartite graph $G = (A \cup B,E)$ where $A$ and $B$ denote a set of men and a set of women respectively, and each vertex in $A\cup B$ has a strict preference ordering over its neighbours. A matching $M$ in $G$ is said to be {\em popular} if there is no other matching $M'$ such that the number of vertices that prefer $M'$ to $M$ is more than the number o…
▽ More
In the popular edge problem, the input is a bipartite graph $G = (A \cup B,E)$ where $A$ and $B$ denote a set of men and a set of women respectively, and each vertex in $A\cup B$ has a strict preference ordering over its neighbours. A matching $M$ in $G$ is said to be {\em popular} if there is no other matching $M'$ such that the number of vertices that prefer $M'$ to $M$ is more than the number of vertices that prefer $M$ to $M'$. The goal is to determine, whether a given edge $e$ belongs to some popular matching in $G$. A polynomial-time algorithm for this problem appears in \cite{CK18}. We consider the popular edge problem when some men or women are prioritized or critical. A matching that matches all the critical nodes is termed as a feasible matching. It follows from \cite{Kavitha14,Kavitha21,NNRS21,NN17} that, when $G$ admits a feasible matching, there always exists a matching that is popular among all feasible matchings. We give a polynomial-time algorithm for the popular edge problem in the presence of critical men or women. We also show that an analogous result does not hold in the many-to-one setting, which is known as the Hospital-Residents Problem in literature, even when there are no critical nodes.
△ Less
Submitted 22 September, 2022;
originally announced September 2022.
-
Properties of MAXI J1348-630 during Its Second Outburst in 2019
Authors:
Riya Bhowmick,
Dipak Debnath,
Kaushik Chatterjee,
Arghajit Jana,
Sujoy Kumar Nath
Abstract:
The newly discovered galactic black hole candidate (BHC) MAXI~J1348-630 showed two major outbursts in 2019, just after its discovery. Here, we provide a detailed spectral and temporal analysis of the less-studied second outburst using archive data from multiple satellites, namely Swift, MAXI, NICER, NuSTAR and AstroSat. The outburst continued for around two and a half months. Unlike the first outb…
▽ More
The newly discovered galactic black hole candidate (BHC) MAXI~J1348-630 showed two major outbursts in 2019, just after its discovery. Here, we provide a detailed spectral and temporal analysis of the less-studied second outburst using archive data from multiple satellites, namely Swift, MAXI, NICER, NuSTAR and AstroSat. The outburst continued for around two and a half months. Unlike the first outburst from this source, this second outburst was a `failed' one. The source did not transition to soft or intermediate spectral states. During the entire outburst, the source was in the hard state with high dominance of non-thermal photons. The presence of strong shocks are inferred from spectral fitting using a TCAF model. In NuSTAR spectra, weak reflection is observed from spectral fitting. Low-frequency quasi-periodic oscillations are also detected in AstroSat data.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Estimating Prevalence of Post-war Health Disorders Using Capture-recapture Data
Authors:
Prajamitra Bhuyan,
Kiranmoy Chatterjee
Abstract:
Effective surveillance on the long-term public health impact due to war and terrorist attacks remain limited. Such health issues are commonly under-reported, specifically for a large group of individuals. For this purpose, efficient estimation of the size of the population under the risk of physical and mental health hazards is of utmost necessity. In this context, multiple system estimation is a…
▽ More
Effective surveillance on the long-term public health impact due to war and terrorist attacks remain limited. Such health issues are commonly under-reported, specifically for a large group of individuals. For this purpose, efficient estimation of the size of the population under the risk of physical and mental health hazards is of utmost necessity. In this context, multiple system estimation is a potential strategy that has recently been applied to quantify under-reported events allowing heterogeneity among the individuals and dependence between the sources of information. To model such complex phenomena, a novel trivariate Bernoulli model is developed, and an estimation methodology using Monte Carlo based EM algorithm is proposed. Simulation results show superiority of the performance of the proposed method over existing competitors and robustness under model mis-specifications. The method is applied to analyze real case studies on the Gulf War and 9/11 Terrorist Attack at World Trade Center, US. The results provide interesting insights that can assist in effective decision making and policy formulation for monitoring the health status of post-war survivors.
△ Less
Submitted 10 September, 2023; v1 submitted 25 August, 2022;
originally announced August 2022.
-
The Photon Ring in M87*
Authors:
Avery E. Broderick,
Dominic W. Pesce,
Paul Tiede,
Hung-Yi Pu,
Roman Gold,
Richard Anantua,
Silke Britzen,
Chiara Ceccobello,
Koushik Chatterjee,
Yongjun Chen,
Nicholas S. Conroy,
Geoffrey B. Crew,
Alejandro Cruz-Osorio,
Yuzhu Cui,
Sheperd S. Doeleman,
Razieh Emami,
Joseph Farah,
Christian M. Fromm,
Peter Galison,
Boris Georgiev,
Luis C. Ho,
David J. James,
Britton Jeter,
Alejandra Jimenez-Rosales,
Jun Yi Koay
, et al. (26 additional authors not shown)
Abstract:
We report measurements of the gravitationally lensed secondary image -- the first in an infinite series of so-called "photon rings" -- around the supermassive black hole M87* via simultaneous modeling and imaging of the 2017 Event Horizon Telescope (EHT) observations. The inferred ring size remains constant across the seven days of the 2017 EHT observing campaign and is consistent with theoretical…
▽ More
We report measurements of the gravitationally lensed secondary image -- the first in an infinite series of so-called "photon rings" -- around the supermassive black hole M87* via simultaneous modeling and imaging of the 2017 Event Horizon Telescope (EHT) observations. The inferred ring size remains constant across the seven days of the 2017 EHT observing campaign and is consistent with theoretical expectations, providing clear evidence that such measurements probe spacetime and a striking confirmation of the models underlying the first set of EHT results. The residual diffuse emission evolves on timescales comparable to one week. We are able to detect with high significance a southwestern extension consistent with that expected from the base of a jet that is rapidly rotating in the clockwise direction. This result adds further support to the identification of the jet in M87* with a black hole spin-driven outflow, launched via the Blandford-Znajek process. We present three revised estimates for the mass of M87* based on identifying the modeled thin ring component with the bright ringlike features seen in simulated images, one of which is only weakly sensitive to the astrophysics of the emission region. All three estimates agree with each other and previously reported values. Our strongest mass constraint combines information from both the ring and the diffuse emission region, which together imply a mass-to-distance ratio of $4.20^{+0.12}_{-0.06}~μ{\rm as}$ and a corresponding black hole mass of $(7.13\pm0.39)\times10^9M_\odot$, where the error on the latter is now dominated by the systematic uncertainty arising from the uncertain distance to M87*.
△ Less
Submitted 18 August, 2022;
originally announced August 2022.
-
Counter-flow induced clustering: Exact results
Authors:
Amit Kumar Chatterjee,
Hisao Hayakawa
Abstract:
We analyze the cluster formation in a non-ergodic stochastic system as a result of counter-flow, with the aid of an exactly solvable model. To illustrate the clustering, a two species asymmetric simple exclusion process with impurities on a periodic lattice is considered, where the impurity can activate flips between the two non-conserved species. Exact analytical results, supported by Monte Carlo…
▽ More
We analyze the cluster formation in a non-ergodic stochastic system as a result of counter-flow, with the aid of an exactly solvable model. To illustrate the clustering, a two species asymmetric simple exclusion process with impurities on a periodic lattice is considered, where the impurity can activate flips between the two non-conserved species. Exact analytical results, supported by Monte Carlo simulations, show two distinct phases, free flowing phase and clustering phase. The clustering phase is characterized by constant density and vanishing current of the non-conserved species, whereas the free flowing phase is identified with non-monotonic density and non-monotonic finite current of the same. The $n$-point spatial correlation between $n$ consecutive vacancies grows with increasing $n$ in the clustering phase, indicating the formation of two macroscopic clusters in this phase, one of the vacancies and the other consisting of all the particles. We define a rearrangement parameter that permutes the ordering of particles in the initial configuration, kee** all the input parameters fixed. This rearrangement parameter reveals the significant effect of non-ergodicity on the onset of clustering. For a special choice of the microscopic dynamics, we connect the present model to a system of run and tumble particles used to model active matter, where the two species having opposite net bias manifest the two possible run directions of the run and tumble particles, and the impurities act as tumbling reagents that enable the tumbling process.
△ Less
Submitted 22 May, 2023; v1 submitted 5 August, 2022;
originally announced August 2022.
-
Millimeter light curves of Sagittarius A* observed during the 2017 Event Horizon Telescope campaign
Authors:
Maciek Wielgus,
Nicola Marchili,
Ivan Marti-Vidal,
Garrett K. Keating,
Venkatessh Ramakrishnan,
Paul Tiede,
Ed Fomalont,
Sara Issaoun,
Joey Neilsen,
Michael A. Nowak,
Lindy Blackburn,
Charles F. Gammie,
Ciriaco Goddi,
Daryl Haggard,
Daeyoung Lee,
Monika Moscibrodzka,
Alexandra J. Tetarenko,
Geoffrey C. Bower,
Chi-Kwan Chan,
Koushik Chatterjee,
Paul M. Chesler,
Jason Dexter,
Sheperd S. Doeleman,
Boris Georgiev,
Mark Gurwell
, et al. (6 additional authors not shown)
Abstract:
The Event Horizon Telescope (EHT) observed the compact radio source, Sagittarius A* (Sgr A*), in the Galactic Center on 2017 April 5-11 in the 1.3 millimeter wavelength band. At the same time, interferometric array data from the Atacama Large Millimeter/submillimeter Array and the Submillimeter Array were collected, providing Sgr A* light curves simultaneous with the EHT observations. These data s…
▽ More
The Event Horizon Telescope (EHT) observed the compact radio source, Sagittarius A* (Sgr A*), in the Galactic Center on 2017 April 5-11 in the 1.3 millimeter wavelength band. At the same time, interferometric array data from the Atacama Large Millimeter/submillimeter Array and the Submillimeter Array were collected, providing Sgr A* light curves simultaneous with the EHT observations. These data sets, complementing the EHT very-long-baseline interferometry, are characterized by a cadence and signal-to-noise ratio previously unattainable for Sgr A* at millimeter wavelengths, and they allow for the investigation of source variability on timescales as short as a minute. While most of the light curves correspond to a low variability state of Sgr A*, the April 11 observations follow an X-ray flare, and exhibit strongly enhanced variability. All of the light curves are consistent with a red noise process, with a power spectral density (PSD) slope measured to be between -2 and -3 on timescales between 1 min and several hours. Our results indicate a steepening of the PSD slope for timescales shorter than 0.3 h. The spectral energy distribution is flat at 220 GHz and there are no time-lags between the 213 and 229 GHz frequency bands, suggesting low optical depth for the event horizon scale source. We characterize Sgr A*'s variability, highlighting the different behavior observed just after the X-ray flare, and use Gaussian process modeling to extract a decorrelation timescale and a PSD slope. We also investigate the systematic calibration uncertainties by analyzing data from independent data reduction pipelines.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Learning Stabilizing Policies in Stochastic Control Systems
Authors:
Đorđe Žikelić,
Mathias Lechner,
Krishnendu Chatterjee,
Thomas A. Henzinger
Abstract:
In this work, we address the problem of learning provably stable neural network policies for stochastic control systems. While recent work has demonstrated the feasibility of certifying given policies using martingale theory, the problem of how to learn such policies is little explored. Here, we study the effectiveness of jointly learning a policy together with a martingale certificate that proves…
▽ More
In this work, we address the problem of learning provably stable neural network policies for stochastic control systems. While recent work has demonstrated the feasibility of certifying given policies using martingale theory, the problem of how to learn such policies is little explored. Here, we study the effectiveness of jointly learning a policy together with a martingale certificate that proves its stability using a single learning algorithm. We observe that the joint optimization problem becomes easily stuck in local minima when starting from a randomly initialized policy. Our results suggest that some form of pre-training of the policy is required for the joint optimization to repair and verify the policy successfully.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Multi species asymmetric simple exclusion process with impurity activated flips
Authors:
Amit Kumar Chatterjee,
Hisao Hayakawa
Abstract:
We obtain an exact matrix product steady state for a class of multi species asymmetric simple exclusion process with impurities, under periodic boundary condition. Alongside the usual hop** dynamics, an additional flip dynamics is activated only in the presence of impurities. Although the microscopic dynamics renders the system to be non-ergodic, exact analytical results for observables are obta…
▽ More
We obtain an exact matrix product steady state for a class of multi species asymmetric simple exclusion process with impurities, under periodic boundary condition. Alongside the usual hop** dynamics, an additional flip dynamics is activated only in the presence of impurities. Although the microscopic dynamics renders the system to be non-ergodic, exact analytical results for observables are obtained in steady states for a specific class of initial configurations. Interesting physical features including negative differential mobility and transition of correlations from negative to positive with changing vacancy density, have been observed. We discuss plausible connections of this exactly solvable model with multi lane asymmetric simple exclusion processes as well as enzymatic chemical reactions.
△ Less
Submitted 24 November, 2022; v1 submitted 6 May, 2022;
originally announced May 2022.
-
Bridging Bondi and Event Horizon Scales: 3D GRMHD Simulations Reveal X-Shaped Radio Galaxy Morphology
Authors:
Aretaios Lalakos,
Ore Gottlieb,
Nick Kaaz,
Koushik Chatterjee,
Matthew Liska,
Ian M. Christie,
Alexander Tchekhovskoy,
Irina Zhuravleva,
Elena Nokhrina
Abstract:
X-shaped radio galaxies (XRGs) produce misaligned X-shaped jet pairs and make up $\lesssim10\%$ of radio galaxies. XRGs are thought to emerge in galaxies featuring a binary supermassive black hole ($\rm SMBH$), $\rm SMBH$ merger, or large-scale ambient medium asymmetry. We demonstrate that XRG morphology can naturally form without such special, preexisting conditions. Our 3D general-relativistic m…
▽ More
X-shaped radio galaxies (XRGs) produce misaligned X-shaped jet pairs and make up $\lesssim10\%$ of radio galaxies. XRGs are thought to emerge in galaxies featuring a binary supermassive black hole ($\rm SMBH$), $\rm SMBH$ merger, or large-scale ambient medium asymmetry. We demonstrate that XRG morphology can naturally form without such special, preexisting conditions. Our 3D general-relativistic magnetohydrodynamic (GRMHD) simulation for the first time follows magnetized rotating gas from outside the $\rm SMBH$ sphere of influence of radius $R_{\rm B}$ to the $\rm SMBH$ of gravitational radius $R_{\rm g}$, at the largest scale separation $R_{\rm B}/R_{\rm g} = 10^3$ to date. Initially, our axisymmetric system of constant-density hot gas contains weak vertical magnetic field and rotates in an equatorial plane of a rapidly spinning $\rm SMBH$. We seed the gas with small-scale $2\%$-level pressure perturbations. Infalling gas forms an accretion disk, and the $\rm SMBH$ launches relativistically-magnetized collimated jets reaching well outside $R_{\rm B}$. Under the pressure of the infalling gas, the jets intermittently turn on and off, erratically wobble, and inflate pairs of cavities in different directions, resembling an X-shaped jet morphology. Synthetic X-ray images reveal multiple pairs of jet-powered shocks and cavities. Large-scale magnetic flux accumulates on the $\rm SMBH$, becomes dynamically important, and leads to a magnetically arrested disk state. The $\rm SMBH$ accretes at $2\%$ of the Bondi rate ($\dot{M}\simeq2.4\times10^{-3}M_{\odot}\,{\rm yr}^{-1}$ for M87*), and launches twin jets at $η=150\%$ efficiency. These jets are powerful enough ($P_{\rm jets}\simeq2\times10^{44}\,{\rm erg\,s}^{-1}$) to escape along the spin axis and end the short-lived jets state whose transient nature can account for the rarity of XRGs
△ Less
Submitted 16 February, 2022;
originally announced February 2022.
-
Jet Formation in 3D GRMHD Simulations of Bondi-Hoyle-Lyttleton Accretion
Authors:
Nicholas Kaaz,
Ariadna Murguia-Berthier,
Koushik Chatterjee,
Matthew Liska,
Alexander Tchekhovskoy
Abstract:
A black hole (BH) travelling through a uniform, gaseous medium is described by Bondi-Hoyle-Lyttleton (BHL) accretion. If the medium is magnetized, then the black hole can produce relativistic outflows. We performed the first 3D, general-relativistic magnetohydrodynamics simulations of BHL accretion onto rapidly rotating black holes using the code H-AMR, where we mainly varied the strength of a bac…
▽ More
A black hole (BH) travelling through a uniform, gaseous medium is described by Bondi-Hoyle-Lyttleton (BHL) accretion. If the medium is magnetized, then the black hole can produce relativistic outflows. We performed the first 3D, general-relativistic magnetohydrodynamics simulations of BHL accretion onto rapidly rotating black holes using the code H-AMR, where we mainly varied the strength of a background magnetic field that threads the medium. We found that the ensuing accretion continuously drags to the BH the magnetic flux, which accumulates near the event horizon until it becomes dynamically important. Depending on the strength of the background magnetic field, the BHs can sometimes launch relativistic jets with high enough power to drill out of the inner accretion flow, become bent by the headwind, and escape to large distances. While for stronger background magnetic fields the jets are continuously powered, at weaker field strengths they are intermittent, turning on and off depending on the fluctuating gas and magnetic flux distributions near the event horizon. We find that our jets reach extremely high efficiencies of $\sim100-300\%$, even in the absence of an accretion disk. We also calculated the drag forces exerted by the gas onto to the BH, finding that the presence of magnetic fields causes drag forces to be much less efficient than in unmagnetized BHL accretion, and sometimes become negative, accelerating the BH rather than slowing it down. Our results extend classical BHL accretion to rotating BHs moving through magnetized media and demonstrate that accretion and drag are significantly altered in this environment.
△ Less
Submitted 10 May, 2023; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales
Authors:
Mathias Lechner,
Đorđe Žikelić,
Krishnendu Chatterjee,
Thomas A. Henzinger
Abstract:
We consider the problem of formally verifying almost-sure (a.s.) asymptotic stability in discrete-time nonlinear stochastic control systems. While verifying stability in deterministic control systems is extensively studied in the literature, verifying stability in stochastic control systems is an open problem. The few existing works on this topic either consider only specialized forms of stochasti…
▽ More
We consider the problem of formally verifying almost-sure (a.s.) asymptotic stability in discrete-time nonlinear stochastic control systems. While verifying stability in deterministic control systems is extensively studied in the literature, verifying stability in stochastic control systems is an open problem. The few existing works on this topic either consider only specialized forms of stochasticity or make restrictive assumptions on the system, rendering them inapplicable to learning algorithms with neural network policies. In this work, we present an approach for general nonlinear stochastic control problems with two novel aspects: (a) instead of classical stochastic extensions of Lyapunov functions, we use ranking supermartingales (RSMs) to certify a.s.~asymptotic stability, and (b) we present a method for learning neural network RSMs. We prove that our approach guarantees a.s.~asymptotic stability of the system and provides the first method to obtain bounds on the stabilization time, which stochastic Lyapunov functions do not. Finally, we validate our approach experimentally on a set of nonlinear stochastic reinforcement learning environments with neural network policies.
△ Less
Submitted 17 December, 2021;
originally announced December 2021.
-
Properties of 2017-18 'failed' Outburst of GX 339-4
Authors:
Dipak Debnath,
Kaushik Chatterjee,
Sujoy Kumar Nath,
Hsiang-Kuang Chang,
Riya Bhowmick
Abstract:
The Galactic transient black hole candidate GX 339-4 is a very interesting object to study as it showed both complete and failed types of outbursts. We studied both spectral and temporal properties of the 2017-18 outburst of the source using archival data of NICER and AstroSat instruments. This 2017-18 outburst is found to be failed in nature, as during the entire period of the outburst, the sourc…
▽ More
The Galactic transient black hole candidate GX 339-4 is a very interesting object to study as it showed both complete and failed types of outbursts. We studied both spectral and temporal properties of the 2017-18 outburst of the source using archival data of NICER and AstroSat instruments. This 2017-18 outburst is found to be failed in nature, as during the entire period of the outburst, the source was only in the hard spectral state. Source spectra were highly dominated with the non-thermal fluxes. When we tried to fit spectra with phenomenological models, most of the spectra were fitted with only the powerlaw model, and only six spectra required disk black body plus powerlaw models. While fitting spectra with the physical two-component advective flow (TCAF) model, we observed that the flow was highly dominated by the sub-Keplerian halo rate. The presence of stronger shock at a larger radius from the black hole was also observed during the rising and declining phases of the outburst. A prominent signature of $0.31$~Hz QPO is observed with its four harmonics. Mass of the black hole was also estimated from our spectral analysis with the TCAF model as $10.76^{+0.77}_{-1.07}~M_\odot$.
△ Less
Submitted 26 January, 2022; v1 submitted 26 November, 2021;
originally announced November 2021.
-
Extending the Dissipating Energy Flow Method to Flexible AC Transmission Systems
Authors:
Kaustav Chatterjee,
Sayan Samanta,
Nilanjan Ray Chaudhuri
Abstract:
In recent years, the dissipating energy flow (DEF) method has emerged as a promising tool for online localization of oscillation sources. In literature, the mathematical foundations of this method are well-studied for networks with synchronous generators. In this paper, we extend the analysis to flexible AC transmission systems (FACTS). To that end, we derive the DEF-expressions for a thyristor co…
▽ More
In recent years, the dissipating energy flow (DEF) method has emerged as a promising tool for online localization of oscillation sources. In literature, the mathematical foundations of this method are well-studied for networks with synchronous generators. In this paper, we extend the analysis to flexible AC transmission systems (FACTS). To that end, we derive the DEF-expressions for a thyristor controlled series capacitor (TCSC) and a static synchronous compensator (STATCOM) operating with conventional control strategies. Analyzing their respective DEFs, we obtain the conditions for which these FACTS devices could behave as the sources of oscillation energy. Our findings are structured into propositions and are supported through numerical case studies on IEEE test systems.
△ Less
Submitted 21 November, 2021;
originally announced November 2021.
-
Natural selection of mutants that modify population structure
Authors:
Josef Tkadlec,
Kamran Kaveh,
Krishnendu Chatterjee,
Martin A. Nowak
Abstract:
Evolution occurs in populations of reproducing individuals. It is well known that population structure can affect evolutionary dynamics. Traditionally, natural selection is studied between mutants that differ in reproductive rate, but are subject to the same population structure. Here we study how natural selection acts on mutants that have the same reproductive rate, but experience different popu…
▽ More
Evolution occurs in populations of reproducing individuals. It is well known that population structure can affect evolutionary dynamics. Traditionally, natural selection is studied between mutants that differ in reproductive rate, but are subject to the same population structure. Here we study how natural selection acts on mutants that have the same reproductive rate, but experience different population structures. In our framework, mutation alters population structure, which is given by a graph that specifies the dispersal of offspring. Reproduction can be either genetic or cultural. Competing mutants disperse their offspring on different graphs. A more connected graph implies higher motility. We show that enhanced motility tends to increase an invader's fixation probability, but there are interesting exceptions. For island models, we show that the magnitude of the effect depends crucially on the exact layout of the additional links. Finally, we show that for low-dimensional lattices, the effect of altered motility is comparable to that of altered fitness: in the limit of large population size, the invader's fixation probability is either constant or exponentially small, depending on whether it is more or less motile than the resident.
△ Less
Submitted 21 November, 2021;
originally announced November 2021.
-
A Swift study of long-term changes in the X-ray flaring properties of Sagittarius A*
Authors:
A. Andrés,
J. van den Eijnden,
N. Degenaar,
P. A. Evans,
K. Chatterjee,
M. Reynolds,
J. M. Miller,
J. Kennea,
R. Wijnands,
S. Markoff,
D. Altamirano,
C. O. Heinke,
A. Bahramian,
G. Ponti,
D. Haggard
Abstract:
The radiative counterpart of the supermassive black hole at the Galactic Centre, Sagittarius A*, displays flaring emission in the X-ray band atop a steady, quiescent level. Flares are also observed in the near-infrared band. The physical process producing the flares is not fully understood and it is unclear if the flaring rate varies, although some recent works suggest it has reached unprecedented…
▽ More
The radiative counterpart of the supermassive black hole at the Galactic Centre, Sagittarius A*, displays flaring emission in the X-ray band atop a steady, quiescent level. Flares are also observed in the near-infrared band. The physical process producing the flares is not fully understood and it is unclear if the flaring rate varies, although some recent works suggest it has reached unprecedented variability in recent years. Using over a decade of regular X-ray monitoring of Neil Gehrels Swift Observatory, we studied the variations in count rate of Sgr A* on time scales of years. We decomposed the X-ray emission into quiescent and flaring emission, modelled as a constant and power law process, respectively. We found that the complete, multi-year dataset cannot be described by a stationary distribution of flare fluxes, while individual years follow this model better. In three of the ten studied years, the data is consistent with a purely Poissonian quiescent distribution, while for five years only an upper limit of the flare flux distribution parameter could be determined. We find that these possible changes cannot be explained fully by the different number of observations per year. Combined, these results are instead consistent with a changing flaring rate of Sgr A*, appearing more active between 2006-2007 and 2017-2019, than between 2008-2012. Finally, we discuss this result in the context of flare models and the passing of gaseous objects, and discuss the extra statistical steps taken, for instance to deal with the background in the Swift observations.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
Event Horizon Telescope observations of the jet launching and collimation in Centaurus A
Authors:
Michael Janssen,
Heino Falcke,
Matthias Kadler,
Eduardo Ros,
Maciek Wielgus,
Kazunori Akiyama,
Mislav Baloković,
Lindy Blackburn,
Katherine L. Bouman,
Andrew Chael,
Chi-kwan Chan,
Koushik Chatterjee,
Jordy Davelaar,
Philip G. Edwards,
Christian M. Fromm,
José L. Gómez,
Ciriaco Goddi,
Sara Issaoun,
Michael D. Johnson,
Junhan Kim,
Jun Yi Koay,
Thomas P. Krichbaum,
Jun Liu,
Elisabetta Liuzzo,
Sera Markoff
, et al. (215 additional authors not shown)
Abstract:
Very-long-baseline interferometry (VLBI) observations of active galactic nuclei at millimeter wavelengths have the power to reveal the launching and initial collimation region of extragalactic radio jets, down to $10-100$ gravitational radii ($r_g=GM/c^2$) scales in nearby sources. Centaurus A is the closest radio-loud source to Earth. It bridges the gap in mass and accretion rate between the supe…
▽ More
Very-long-baseline interferometry (VLBI) observations of active galactic nuclei at millimeter wavelengths have the power to reveal the launching and initial collimation region of extragalactic radio jets, down to $10-100$ gravitational radii ($r_g=GM/c^2$) scales in nearby sources. Centaurus A is the closest radio-loud source to Earth. It bridges the gap in mass and accretion rate between the supermassive black holes (SMBHs) in Messier 87 and our galactic center. A large southern declination of $-43^{\circ}$ has however prevented VLBI imaging of Centaurus A below $λ1$cm thus far. Here, we show the millimeter VLBI image of the source, which we obtained with the Event Horizon Telescope at $228$GHz. Compared to previous observations, we image Centaurus A's jet at a tenfold higher frequency and sixteen times sharper resolution and thereby probe sub-lightday structures. We reveal a highly-collimated, asymmetrically edge-brightened jet as well as the fainter counterjet. We find that Centaurus A's source structure resembles the jet in Messier 87 on ${\sim}500r_g$ scales remarkably well. Furthermore, we identify the location of Centaurus A's SMBH with respect to its resolved jet core at $λ1.3$mm and conclude that the source's event horizon shadow should be visible at THz frequencies. This location further supports the universal scale invariance of black holes over a wide range of masses.
△ Less
Submitted 5 November, 2021;
originally announced November 2021.
-
Infinite Time Horizon Safety of Bayesian Neural Networks
Authors:
Mathias Lechner,
Đorđe Žikelić,
Krishnendu Chatterjee,
Thomas A. Henzinger
Abstract:
Bayesian neural networks (BNNs) place distributions over the weights of a neural network to model uncertainty in the data and the network's prediction. We consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with infinite time horizon systems. Compared to the existing sampling-based approaches, which are inapplicable to the infinite time horizon…
▽ More
Bayesian neural networks (BNNs) place distributions over the weights of a neural network to model uncertainty in the data and the network's prediction. We consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with infinite time horizon systems. Compared to the existing sampling-based approaches, which are inapplicable to the infinite time horizon setting, we train a separate deterministic neural network that serves as an infinite time horizon safety certificate. In particular, we show that the certificate network guarantees the safety of the system over a subset of the BNN weight posterior's support. Our method first computes a safe weight set and then alters the BNN's weight posterior to reject samples outside this set. Moreover, we show how to extend our approach to a safe-exploration reinforcement learning setting, in order to avoid unsafe trajectories during the training of the policy. We evaluate our approach on a series of reinforcement learning benchmarks, including non-Lyapunovian safety specifications.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
The Variability of the Black-Hole Image in M87 at the Dynamical Time Scale
Authors:
Kaushik Satapathy,
Dimitrios Psaltis,
Feryal Ozel,
Lia Medeiros,
Sean T. Dougall,
Chi-kwan Chan,
Maciek Wielgus,
Ben S. Prather,
George N. Wong,
Charles F. Gammie,
Kazunori Akiyama,
Antxon Alberdi,
Walter Alef,
Juan Carlos Algaba,
Richard Anantua,
Keiichi Asada,
Rebecca Azulay,
Anne-Kathrin Baczko,
David R. Ball,
Mislav Baloković,
John Barrett,
Bradford A. Benson,
Dan Bintley,
Lindy Blackburn,
Raymond Blundell
, et al. (213 additional authors not shown)
Abstract:
The black-hole images obtained with the Event Horizon Telescope (EHT) are expected to be variable at the dynamical timescale near their horizons. For the black hole at the center of the M87 galaxy, this timescale (5-61 days) is comparable to the 6-day extent of the 2017 EHT observations. Closure phases along baseline triangles are robust interferometric observables that are sensitive to the expect…
▽ More
The black-hole images obtained with the Event Horizon Telescope (EHT) are expected to be variable at the dynamical timescale near their horizons. For the black hole at the center of the M87 galaxy, this timescale (5-61 days) is comparable to the 6-day extent of the 2017 EHT observations. Closure phases along baseline triangles are robust interferometric observables that are sensitive to the expected structural changes of the images but are free of station-based atmospheric and instrumental errors. We explored the day-to-day variability in closure phase measurements on all six linearly independent non-trivial baseline triangles that can be formed from the 2017 observations. We showed that three triangles exhibit very low day-to-day variability, with a dispersion of $\sim3-5^\circ$. The only triangles that exhibit substantially higher variability ($\sim90-180^\circ$) are the ones with baselines that cross visibility amplitude minima on the $u-v$ plane, as expected from theoretical modeling. We used two sets of General Relativistic magnetohydrodynamic simulations to explore the dependence of the predicted variability on various black-hole and accretion-flow parameters. We found that changing the magnetic field configuration, electron temperature model, or black-hole spin has a marginal effect on the model consistency with the observed level of variability. On the other hand, the most discriminating image characteristic of models is the fractional width of the bright ring of emission. Models that best reproduce the observed small level of variability are characterized by thin ring-like images with structures dominated by gravitational lensing effects and thus least affected by turbulence in the accreting plasmas.
△ Less
Submitted 1 November, 2021;
originally announced November 2021.
-
Pairwise Reachability Oracles and Preservers under Failures
Authors:
Diptarka Chakraborty,
Kushagra Chatterjee,
Keerti Choudhary
Abstract:
In this paper, we consider reachability oracles and reachability preservers for directed graphs/networks prone to edge/node failures. Let $G = (V, E)$ be a directed graph on $n$-nodes, and $P\subseteq V\times V$ be a set of vertex pairs in $G$. We present the first non-trivial constructions of single and dual fault-tolerant pairwise reachability oracle with constant query time. Furthermore, we pro…
▽ More
In this paper, we consider reachability oracles and reachability preservers for directed graphs/networks prone to edge/node failures. Let $G = (V, E)$ be a directed graph on $n$-nodes, and $P\subseteq V\times V$ be a set of vertex pairs in $G$. We present the first non-trivial constructions of single and dual fault-tolerant pairwise reachability oracle with constant query time. Furthermore, we provide extremal bounds for sparse fault-tolerant reachability preservers, resilient to two or more failures. Prior to this work, such oracles and reachability preservers were widely studied for the special scenario of single-source and all-pairs settings. However, for the scenario of arbitrary pairs, no prior (non-trivial) results were known for dual (or more) failures, except those implied from the single-source setting. One of the main questions is whether it is possible to beat the $O(n |P|)$ size bound (derived from the single-source setting) for reachability oracle and preserver for dual failures (or $O(2^k n|P|)$ bound for $k$ failures). We answer this question affirmatively.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Black hole flares: ejection of accreted magnetic flux through 3D plasmoid-mediated reconnection
Authors:
Bart Ripperda,
Matthew Liska,
Koushik Chatterjee,
Gibwa Musoke,
Alexander A. Philippov,
Sera B. Markoff,
Alexander Tchekhovskoy,
Ziri Younsi
Abstract:
Magnetic reconnection can power bright, rapid flares originating from the inner magnetosphere of accreting black holes. We conduct extremely high resolution ($5376\times2304\times2304$ cells) general-relativistic magnetohydrodynamics simulations, capturing plasmoid-mediated reconnection in a 3D magnetically arrested disk for the first time. We show that an equatorial, plasmoid-unstable current she…
▽ More
Magnetic reconnection can power bright, rapid flares originating from the inner magnetosphere of accreting black holes. We conduct extremely high resolution ($5376\times2304\times2304$ cells) general-relativistic magnetohydrodynamics simulations, capturing plasmoid-mediated reconnection in a 3D magnetically arrested disk for the first time. We show that an equatorial, plasmoid-unstable current sheet forms in a transient, non-axisymmetric, low-density magnetosphere within the inner few Schwarzschild radii. Magnetic flux bundles escape from the event horizon through reconnection at the universal plasmoid-mediated rate in this current sheet. The reconnection feeds on the highly-magnetized plasma in the jets and heats the plasma that ends up trapped in flux bundles to temperatures proportional to the jet's magnetization. The escaped flux bundles can complete a full orbit as low-density hot spots, consistent with Sgr A$^{*}$ observations by the GRAVITY interferometer. Reconnection near the horizon produces sufficiently energetic plasma to explain flares from accreting black holes, such as the TeV emission observed from M87. The drop in mass accretion rate during the flare, and the resulting low-density magnetosphere make it easier for very high energy photons produced by reconnection-accelerated particles to escape. The extreme resolution results in a converged plasmoid-mediated reconnection rate that directly determines the timescales and properties of the flare.
△ Less
Submitted 6 February, 2022; v1 submitted 30 September, 2021;
originally announced September 2021.
-
Jets in Magnetically Arrested Hot Accretion Flows: Geometry, Power and Black Hole Spindown
Authors:
Ramesh Narayan,
Andrew Chael,
Koushik Chatterjee,
Angelo Ricarte,
Brandon Curd
Abstract:
We present the results of nine simulations of radiatively-inefficient magnetically arrested disks (MADs) across different values of the black hole spin parameter $a_*$: $-0.9$, $-0.7$, $-0.5$, $-0.3$, 0, 0.3, 0.5, 0.7, and 0.9. Each simulation was run up to $t \gtrsim 100,000\,GM/c^3$ to ensure disk inflow equilibrium out to large radii. We find that the saturated magnetic flux level, and conseque…
▽ More
We present the results of nine simulations of radiatively-inefficient magnetically arrested disks (MADs) across different values of the black hole spin parameter $a_*$: $-0.9$, $-0.7$, $-0.5$, $-0.3$, 0, 0.3, 0.5, 0.7, and 0.9. Each simulation was run up to $t \gtrsim 100,000\,GM/c^3$ to ensure disk inflow equilibrium out to large radii. We find that the saturated magnetic flux level, and consequently also jet power, of MAD disks depends strongly on the black hole spin, confirming previous results. Prograde disks saturate at a much higher relative magnetic flux and have more powerful jets than their retrograde counterparts. MADs with spinning black holes naturally launch jets with generalized parabolic profiles whose widths vary as a power of distance from the black hole. For distances up to $100\;GM/c^2$, the power-law index is $k \approx 0.27-0.42$. There is a strong correlation between the disk-jet geometry and the dimensionless magnetic flux, resulting in prograde systems displaying thinner equatorial accretion flows near the black hole and wider jets, compared to retrograde systems. Prograde and retrograde MADs also exhibit different trends in disk variability: accretion rate variability increases with increasing spin for $a_*>0$ and remains almost constant for $a_*\lesssim 0$, while magnetic flux variability shows the opposite trend. Jets in the MAD state remove more angular momentum from black holes than is accreted, effectively spinning down the black hole. If powerful jets from MAD systems in Nature are persistent, this loss of angular momentum will notably reduce the black hole spin over cosmic time.
△ Less
Submitted 27 January, 2022; v1 submitted 27 August, 2021;
originally announced August 2021.
-
Accretion Flow Properties of MAXI J1910-057/Swift J1910.2-0546 During Its 2012-13 Outburst
Authors:
Sujoy Kumar Nath,
Dipak Debnath,
Kaushik Chatterjee,
Arghajit Jana,
Debjit Chatterjee,
Riya Bhowmick
Abstract:
Galactic black hole candidate MAXI J1910-057/Swift J1910.2-0546 was simultaneously discovered by MAXI/GSC and Swift/BAT satellites during its first outburst in 2012. We study the detailed spectral and temporal properties of the source in a broad energy range using archival data from Swift/XRT, MAXI/GSC and Swift/BAT satellites/instruments. Low frequency quasi periodic oscillations are observed dur…
▽ More
Galactic black hole candidate MAXI J1910-057/Swift J1910.2-0546 was simultaneously discovered by MAXI/GSC and Swift/BAT satellites during its first outburst in 2012. We study the detailed spectral and temporal properties of the source in a broad energy range using archival data from Swift/XRT, MAXI/GSC and Swift/BAT satellites/instruments. Low frequency quasi periodic oscillations are observed during the outburst. The combined 1-50 keV spectra are analyzed using the transonic flow solution based Two Component Advective Flow (TCAF) model. Based on the variations of soft and hard X-ray fluxes, their hardness ratios and the variations of the spectral model fitted parameters, we find that the source has evolved through six spectral states. We interpret this spectral state evolution to be a result of two connected outbursts where the leftover matter from a primary outburst is released from the pile-up radius due to a sudden rise of viscosity causing a reflare/secondary outburst. We show a possible configuration of the evolution of accretion flow during the outburst. From the spectral analysis with TCAF model, we estimate the mass of the black hole to be $9.97^{+3.51}_{-3.24}$ $M_\odot$ , and the source distance is estimated to be $3.4-9.6$~kpc from transition luminosity considerations.
△ Less
Submitted 6 September, 2022; v1 submitted 17 August, 2021;
originally announced August 2021.
-
On Lexicographic Proof Rules for Probabilistic Termination
Authors:
Krishnendu Chatterjee,
Ehsan Kafshdar Goharshady,
Petr Novotný,
Jiří Zárevúcky,
Đorđe Žikelić
Abstract:
We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking functions provide a sound and practical approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via lexicographic ranking supermartingales (LexRSMs). However, LexRSMs int…
▽ More
We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking functions provide a sound and practical approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via lexicographic ranking supermartingales (LexRSMs). However, LexRSMs introduced in the previous work have a limitation that impedes their automation: all of their components have to be non-negative in all reachable states. This might result in LexRSM not existing even for simple terminating programs. Our contributions are twofold: First, we introduce a generalization of LexRSMs which allows for some components to be negative. This standard feature of non-probabilistic termination proofs was hitherto not known to be sound in the probabilistic setting, as the soundness proof requires a careful analysis of the underlying stochastic process. Second, we present polynomial-time algorithms using our generalized LexRSMs for proving a.s. termination in broad classes of linear-arithmetic programs.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
Prediction of the final rank of Players in PUBG with the optimal number of features
Authors:
Diptakshi Sen,
Rupam Kumar Roy,
Ritajit Majumdar,
Kingshuk Chatterjee,
Debayan Ganguly
Abstract:
PUBG is an online video game that has become very popular among the youths in recent years. Final rank, which indicates the performance of a player, is one of the most important feature for this game. This paper focuses on predicting the final rank of the players based on their skills and abilities. In this paper we have used different machine learning algorithms to predict the final rank of the p…
▽ More
PUBG is an online video game that has become very popular among the youths in recent years. Final rank, which indicates the performance of a player, is one of the most important feature for this game. This paper focuses on predicting the final rank of the players based on their skills and abilities. In this paper we have used different machine learning algorithms to predict the final rank of the players on a dataset obtained from kaggle which has 29 features. Using the correlation heatmap,we have varied the number of features used for the model. Out of these models GBR and LGBM have given the best result with the accuracy of 91.63% and 91.26% respectively for 14 features and the accuracy of 90.54% and 90.01% for 8 features. Although the accuracy of the models with 14 features is slightly better than 8 features, the empirical time taken by 8 features is 1.4x lesser than 14 features for LGBM and 1.5x lesser for GBR. Furthermore, reducing the number of features any more significantly hampers the performance of all the ML models. Therefore, we conclude that 8 is the optimal number of features that can be used to predict the final rank of a player in PUBG with high accuracy and low run-time.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Anomalous nature of outbursts of the black hole candidate 4U 1630-472
Authors:
Kaushik Chatterjee,
Dipak Debnath,
Riya Bhowmick,
Sujoy Kumar Nath,
Debjit Chatterjee
Abstract:
The Galactic black hole candidate (BHC) 4U~1630-472 has gone through several outbursts (13 to be particular) in the last two and a half decades starting from the RXTE era till date. Like the outbursts of other transient BHCs, the outbursts of this source show variations in duration, peak numbers, highest peak flux, etc. However, unlike any other soft X-ray transients, this source showed outbursts…
▽ More
The Galactic black hole candidate (BHC) 4U~1630-472 has gone through several outbursts (13 to be particular) in the last two and a half decades starting from the RXTE era till date. Like the outbursts of other transient BHCs, the outbursts of this source show variations in duration, peak numbers, highest peak flux, etc. However, unlike any other soft X-ray transients, this source showed outbursts of two types, such as normal and super. The normal outbursts of duration $\sim 100-200$~days are observed quasi periodically at an average recurrence/quiescence period of $\sim 500$~days. The super outbursts of duration $\sim 1.5-2.5$~years contain one or more normal outbursts other than one mega outburst. We make an effort to separate flux contribution of the normal and the mega outbursts from the super outbursts, and tried to understand the nature of evolution of both types (normal and mega) of outbursts, based on the quiescent period prior to the outbursts. Archival data of RXTE/ASM from January 1996 to June 2011, and MAXI/GSC from August 2009 to July 2020 are used for our study. A possible linear relation between the quiescent and outburstsing periods for both types of outbursts are observed. This makes the BHC a special source, and it may contain two companion binaries. Two companions might be responsible for two types of outbursts.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
A Novel SEPIC-Ćuk Based High Gain Solar Micro-Inverter for Grid Integration
Authors:
Arup Ratan Paul,
Arghyadip Bhattacharya,
Kishore Chatterjee
Abstract:
Solar micro-inverters are becoming increasingly popular as they are modular, and they posses the capability of extracting maximum available power from the individual photovoltaic (PV) modules of a solar array. For realizing micro-inverters single stage transformer-less topologies are preferred as they offer better power evacuation efficacy. A SEPIC-Ćuk based transformer-less micro-inverter, having…
▽ More
Solar micro-inverters are becoming increasingly popular as they are modular, and they posses the capability of extracting maximum available power from the individual photovoltaic (PV) modules of a solar array. For realizing micro-inverters single stage transformer-less topologies are preferred as they offer better power evacuation efficacy. A SEPIC-Ćuk based transformer-less micro-inverter, having only one high frequency switch and four line frequency switches, is proposed in this paper. The proposed converter can be employed to interface a 35 V PV module to a 220 V single phase ac grid. As a very high gain is required to be achieved for the converter, it is made to operate in discontinuous conduction mode (DCM) for all possible operating conditions. Since the ground of the each PV modules is connected to the ground of the utility, there is no possibility of leakage current flow between the module and the utility. Detailed simulation studies are carried out to ascertain the efficacy of the proposed micro-inverter. A laboratory prototype of the inverter is fabricated, and detailed experimental studies are carried out to confirm the viability of the proposed scheme.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Dynamical regimes of finite temperature discrete nonlinear Schrödinger chain
Authors:
Amit Kumar Chatterjee,
Manas Kulkarni,
Anupam Kundu
Abstract:
We show that the one dimensional discrete nonlinear Schrödinger chain (DNLS) at finite temperature has three different dynamical regimes (ultra-low, low and high temperature regimes). This has been established via (i) one point macroscopic thermodynamic observables (temperature $T$ , energy density $ε$ and the relationship between them), (ii) emergence and disappearance of an additional almost con…
▽ More
We show that the one dimensional discrete nonlinear Schrödinger chain (DNLS) at finite temperature has three different dynamical regimes (ultra-low, low and high temperature regimes). This has been established via (i) one point macroscopic thermodynamic observables (temperature $T$ , energy density $ε$ and the relationship between them), (ii) emergence and disappearance of an additional almost conserved quantity (total phase difference) and (iii) classical out-of-time-ordered correlators (OTOC) and related quantities (butterfly speed and Lyapunov exponents). The crossover temperatures $T_{\textit{l-ul}}$ (between low and ultra-low temperature regimes) and $T_{\textit{h-l}}$ (between high and low temperature regimes) extracted from these three different approaches are consistent with each other. The analysis presented here is an important step forward towards the understanding of DNLS which is ubiquitous in many fields and has a non-separable Hamiltonian form. Our work also shows that the different methods used here can serve as important tools to identify dynamical regimes in other interacting many body systems.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Optical and Thermodynamic Properties of a Rotating Dyonic Black Hole Spacetime in $\mathcal{N} = 2, U(1)^2$ gauged supergravity
Authors:
Prateek Sharma,
Hemwati Nandan,
Uma Papnoi,
Arindam Kumar Chatterjee
Abstract:
The null geodesics and the distance of closest approach for photon around a rotating dyonic black hole in $\mathcal{N} = 2, U(1)^2$ gauged supergravity is studied. The phenomenon of black hole shadows with various black hole parameters has also analyzed. Further, the investigation of various thermodynamic properties for this black hole is performed with various thermodynamic parameters at the hori…
▽ More
The null geodesics and the distance of closest approach for photon around a rotating dyonic black hole in $\mathcal{N} = 2, U(1)^2$ gauged supergravity is studied. The phenomenon of black hole shadows with various black hole parameters has also analyzed. Further, the investigation of various thermodynamic properties for this black hole is performed with various thermodynamic parameters at the horizon. The heat capacity to study the thermodynamic stability of this black hole spacetime is also studied. The influence for different values of the black hole parameters $ ν$, $ e $, $ ν$, $ g $ and $N_{g}$ on the phenomenon of black hole shadows and thermodynamic parameters is also investigated visually.
△ Less
Submitted 26 May, 2021;
originally announced May 2021.
-
Constraints on black-hole charges with the 2017 EHT observations of M87*
Authors:
Prashant Kocherlakota,
Luciano Rezzolla,
Heino Falcke,
Christian M. Fromm,
Michael Kramer,
Yosuke Mizuno,
Antonios Nathanail,
Hector Olivares,
Ziri Younsi,
Kazunori Akiyama,
Antxon Alberdi,
Walter Alef,
Juan Carlos Algaba,
Richard Anantua,
Keiichi Asada,
Rebecca Azulay,
Anne-Kathrin Baczko,
David Ball,
Mislav Balokovic,
John Barrett,
Bradford A. Benson,
Dan Bintley,
Lindy Blackburn,
Raymond Blundell,
Wilfred Boland
, et al. (212 additional authors not shown)
Abstract:
Our understanding of strong gravity near supermassive compact objects has recently improved thanks to the measurements made by the Event Horizon Telescope (EHT). We use here the M87* shadow size to infer constraints on the physical charges of a large variety of nonrotating or rotating black holes. For example, we show that the quality of the measurements is already sufficient to rule out that M87*…
▽ More
Our understanding of strong gravity near supermassive compact objects has recently improved thanks to the measurements made by the Event Horizon Telescope (EHT). We use here the M87* shadow size to infer constraints on the physical charges of a large variety of nonrotating or rotating black holes. For example, we show that the quality of the measurements is already sufficient to rule out that M87* is a highly charged dilaton black hole. Similarly, when considering black holes with two physical and independent charges, we are able to exclude considerable regions of the space of parameters for the doubly-charged dilaton and the Sen black holes.
△ Less
Submitted 19 May, 2021;
originally announced May 2021.
-
Estimation of Population Size with Heterogeneous Catchability and Behavioural Dependence: Applications to Air and Water Borne Disease Surveillance
Authors:
Kiranmoy Chatterjee,
Prajamitra Bhuyan
Abstract:
Population size estimation based on the capture-recapture experiment is an interesting problem in various fields including epidemiology, criminology, demography, etc. In many real-life scenarios, there exists inherent heterogeneity among the individuals and dependency between capture and recapture attempts. A novel trivariate Bernoulli model is considered to incorporate these features, and the Bay…
▽ More
Population size estimation based on the capture-recapture experiment is an interesting problem in various fields including epidemiology, criminology, demography, etc. In many real-life scenarios, there exists inherent heterogeneity among the individuals and dependency between capture and recapture attempts. A novel trivariate Bernoulli model is considered to incorporate these features, and the Bayesian estimation of the model parameters is suggested using data augmentation. Simulation results show robustness under model misspecification and the superiority of the performance of the proposed method over existing competitors. The method is applied to analyse real case studies on epidemiological surveillance. The results provide interesting insight on the heterogeneity and dependence involved in the capture-recapture mechanism. The methodology proposed can assist in effective decision-making and policy formulation.
△ Less
Submitted 29 July, 2023; v1 submitted 18 May, 2021;
originally announced May 2021.
-
Dissipation of Oscillation Energy and Distribution of Dam** Power in a Multimachine Power System: A Small-signal Analysis
Authors:
Kaustav Chatterjee,
Nilanjan Ray Chaudhuri
Abstract:
This paper revisits the concept of dam** torque in a multimachine power system and its relation to the dissipation of oscillation energy in synchronous machine windings. As a multimachine extension of an existing result on a single-machine-infinite-bus (SMIB) system, we show that the total dam** power for a mode stemming from the interaction of electromagnetic torques and rotor speeds is equal…
▽ More
This paper revisits the concept of dam** torque in a multimachine power system and its relation to the dissipation of oscillation energy in synchronous machine windings. As a multimachine extension of an existing result on a single-machine-infinite-bus (SMIB) system, we show that the total dam** power for a mode stemming from the interaction of electromagnetic torques and rotor speeds is equal to the sum of average power dissipations in the generator windings corresponding to the modal oscillation. Further, counter-intuitive to the SMIB result, we demonstrate that, although the equality holds on an aggregate, such is not the case for individual machines in an interconnected system. To that end, distribution factors are derived for expressing the average dam** power of each generator as a linear combination of average powers of modal energy dissipation in the windings of all machines in the system. These factors represent the distribution of dam** power in a multimachine system. The results are validated on IEEE 4-machine and 16-machine test systems.
△ Less
Submitted 27 May, 2021; v1 submitted 17 May, 2021;
originally announced May 2021.