-
Interpreting the Spectro-Temporal Properties of the Black Hole Candidate Swift J151857.0-572147 during its First Outburst in 2024
Authors:
Kaushik Chatterjee,
S. Pujitha Suribhatla,
Santanu Mondal,
Chandra B. Singh
Abstract:
For the first time, in March 2024, the transient Galactic black hole candidate Swift J151857.0-572147 experienced an outburst. Using publicly available archived {\it Insight}-HXMT data, we analyze the timing and spectral features of this source. Through model fitting of the power density spectrum, we were able to extract the properties of quasi-periodic oscillations, and based on those properties,…
▽ More
For the first time, in March 2024, the transient Galactic black hole candidate Swift J151857.0-572147 experienced an outburst. Using publicly available archived {\it Insight}-HXMT data, we analyze the timing and spectral features of this source. Through model fitting of the power density spectrum, we were able to extract the properties of quasi-periodic oscillations, and based on those properties, we have determined that the QPOs are of type C. We also conclude that the shock instabilities in the transonic advective accretion processes surrounding black holes may be the source of the QPOs. This shock instability could produce variabilities of flux up to 48 keV, as we checked from the QPO energy dependence. High-frequency QPO is not observed during this period. In the broad energy band of $2-100$ keV, simultaneous data from the three on-board instruments of \textit{Insight}-HXMT were used to perform the spectral analysis. A combination of models, including broken power-law, multi-color disk-blackbody continuum, interstellar absorption, and reflection in both neutral and ionized medium were needed for spectral fitting to obtain the best fit. We discovered that at the beginning of the analysis period, the source was in an intermediate state and was transitioning toward the softer states based on the spectral features. It has a hydrogen column density of $(4.3-6.9) \times 10^{22}$ cm$^{-2}$.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
A primitive normal pair with prescribed prenorm
Authors:
K. Chatterjee,
S. K. Tiwari
Abstract:
For any positive integers $q$, $n$, $m$ with $q$ being a prime power and $n \geq 5$, we establish a condition sufficient to ensure the existence of a primitive normal pair $(ε,f(ε))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{PN}_{q^n/q}(ε)=a$, where $a\in\mathbb{F}_{q}$ is prescribed. Here $f={f_{1}}/{f_{2}}\in\mathbb{F}_{q^n}(x)$ is a rational function subject to some minor…
▽ More
For any positive integers $q$, $n$, $m$ with $q$ being a prime power and $n \geq 5$, we establish a condition sufficient to ensure the existence of a primitive normal pair $(ε,f(ε))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{PN}_{q^n/q}(ε)=a$, where $a\in\mathbb{F}_{q}$ is prescribed. Here $f={f_{1}}/{f_{2}}\in\mathbb{F}_{q^n}(x)$ is a rational function subject to some minor restrictions such that deg($f_{1}$)+deg($f_{2}$)$=m$ and $\mathrm{PN}_{q^n/q}(ε)
=\sum_{i=0}^{n-1}\Bigg(\underset{j\neq i}{\underset{0\leq j\leq n-1}{\prod_{}^{}}}ε^{q^j}\Bigg)$. Finally, we conclude that for $m=3$, $n\geq 6$, and $q=7^k$ where $k\in\mathbb{N}$, such a pair will exist certainly for all $(q,n)$ except possibly $10$ choices at most.
△ Less
Submitted 26 June, 2024; v1 submitted 5 June, 2024;
originally announced June 2024.
-
Ergodic Unobservable MDPs: Decidability of Approximation
Authors:
Krishnendu Chatterjee,
David Lurie,
Raimundo Saona,
Bruno Ziliotto
Abstract:
Unobservable Markov decision processes (UMDPs) serve as a prominent mathematical framework for modeling sequential decision-making problems. A key aspect in computational analysis is the consideration of decidability, which concerns the existence of algorithms. In general, the computation of the exact and approximated values is undecidable for UMDPs with the long-run average objective. Building on…
▽ More
Unobservable Markov decision processes (UMDPs) serve as a prominent mathematical framework for modeling sequential decision-making problems. A key aspect in computational analysis is the consideration of decidability, which concerns the existence of algorithms. In general, the computation of the exact and approximated values is undecidable for UMDPs with the long-run average objective. Building on matrix product theory and ergodic properties, we introduce a novel subclass of UMDPs, termed ergodic UMDPs. Our main result demonstrates that approximating the value within this subclass is decidable. However, we show that the exact problem remains undecidable. Finally, we discuss the primary challenges of extending these results to partially observable Markov decision processes.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Existence of primitive normal pairs over finite fields with prescribed subtrace
Authors:
K. Chatterjee,
G. Kapetanakis,
S. K. Tiwari,
H. Sharma
Abstract:
Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(ε,f(ε))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{STr}_{q^n/q}(ε)=a$, where $f(x)=\frac{f_{1}(x)}{f_{2}(x)}\in\mathbb{F}_{q^n}(x)$ is a rational function together with deg$(f_{1})+$deg$(f_{2})=m$ and…
▽ More
Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(ε,f(ε))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{STr}_{q^n/q}(ε)=a$, where $f(x)=\frac{f_{1}(x)}{f_{2}(x)}\in\mathbb{F}_{q^n}(x)$ is a rational function together with deg$(f_{1})+$deg$(f_{2})=m$ and $\mathrm{STr}_{q^n/q}(ε) = \sum_{0\leq i<j\leq n-1}^{}ε^{q^i+q^j}$. Finally, we conclude that for $m=3$, $n\geq 6$ and $q=7^k$; $k\in\mathbb{N}$, such a pair will exist certainly for all $(q,n)$ except at most $14$ choices.
△ Less
Submitted 19 May, 2024;
originally announced May 2024.
-
Structural Impact of Grid-Forming Inverters on Power System Coherency
Authors:
Sayak Mukherjee,
Ramij Raja Hossain,
Kaustav Chatterjee,
Soumya Kundu,
Kyung-Bin Kwon,
Sameer Nekkalapu,
Marcelo Elizondo
Abstract:
This paper addresses the following fundamental research question: how does the integration of grid-forming inverters (GFMs) replacing conventional synchronous generators (SGs) impact the slow coherent eigen-structure and the low-frequency oscillatory behavior of future power systems? Due to time-scale separated dynamics, generator states inside a coherent area synchronize over a fast time-scale du…
▽ More
This paper addresses the following fundamental research question: how does the integration of grid-forming inverters (GFMs) replacing conventional synchronous generators (SGs) impact the slow coherent eigen-structure and the low-frequency oscillatory behavior of future power systems? Due to time-scale separated dynamics, generator states inside a coherent area synchronize over a fast time-scale due to stronger coupling, while the areas themselves synchronize over a slower time scale. Our mathematical analysis shows that due to the large-scale integration of GFMs, the weighted Laplacian structure of the frequency dynamics is preserved, however, the entries of the Laplacian may be significantly modified based on the location and penetration levels of the GFMs. This can impact and potentially significantly alter the coherency structure of the system. We have validated our findings with numerical results using the IEEE 68-bus test system.
△ Less
Submitted 15 May, 2024;
originally announced May 2024.
-
Early phase simultaneous multi-band observations of Type II supernova SN 2024ggi with Mephisto
Authors:
Xinlei Chen,
Brajesh Kumar,
Xinzhong Er,
Helong Guo,
Yuan-Pei Yang,
Weikang Lin,
Yuan Fang,
Guowang Du,
Chenxu Liu,
Jiewei Zhao,
Tianyu Zhang,
Yuxi Bao,
Xingzhu Zou,
Yu Pan,
Yu Wang,
Xufeng Zhu,
Kaushik Chatterjee,
Xiangkun Liu,
Dezi Liu,
Edoardo P. Lagioia,
Geeta Rangwal,
Shiyan Zhong,
**ghua Zhang,
Jianhui Lian,
Yongzhi Cai
, et al. (2 additional authors not shown)
Abstract:
We present early-phase good cadence simultaneous multi-band ($ugi$, $vrz$--bands) imaging of nearby supernova SN 2024ggi, which exploded in the nearby galaxy, NGC~3621. A quick follow-up was conducted within less than a day after the explosion and continued $\sim$23 days. The $uvg$-band light curves display a rapid rise ($\sim$1.4 mag day$^{-1}$) to maximum in $\sim$4 days and absolute magnitude…
▽ More
We present early-phase good cadence simultaneous multi-band ($ugi$, $vrz$--bands) imaging of nearby supernova SN 2024ggi, which exploded in the nearby galaxy, NGC~3621. A quick follow-up was conducted within less than a day after the explosion and continued $\sim$23 days. The $uvg$-band light curves display a rapid rise ($\sim$1.4 mag day$^{-1}$) to maximum in $\sim$4 days and absolute magnitude $M_{g}\sim$--17.75 mag. The post-peak decay rate in redder bands is $\sim$0.01 mag day$^{-1}$. Different colors (e.g., $u-g$ and $v-r$) of SN~2024ggi are slightly redder than SN~2023ixf. A significant rise ($\sim$12.5 kK) in black-body temperature (optical) was noticed within $\sim$2 days after the explosion, which successively decreased, indicating shock break out inside a dense circumstellar medium (CSM) surrounding the progenitor. Using semi-analytical modeling, the ejecta mass and progenitor radius were estimated as 1.2 M$_{\odot}$ and $\sim$550 R$_{\odot}$, respectively. The archival deep images ($g,r,i,z$-bands) from the Dark Energy Camera Legacy Survey (DECaLS) were examined, and a possible progenitor was detected in each band ($\sim$22--22.5 mag) and had a mass range of 14--17 M$_{\odot}$.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains
Authors:
Krishnendu Chatterjee,
Amirali Ebrahimzadeh,
Mehrdad Karrabi,
Krzysztof Pietrzak,
Michelle Yeo,
Đorđe Žikelić
Abstract:
We study selfish mining attacks in longest-chain blockchains like Bitcoin, but where the proof of work is replaced with efficient proof systems -- like proofs of stake or proofs of space -- and consider the problem of computing an optimal selfish mining attack which maximizes expected relative revenue of the adversary, thus minimizing the chain quality. To this end, we propose a novel selfish mini…
▽ More
We study selfish mining attacks in longest-chain blockchains like Bitcoin, but where the proof of work is replaced with efficient proof systems -- like proofs of stake or proofs of space -- and consider the problem of computing an optimal selfish mining attack which maximizes expected relative revenue of the adversary, thus minimizing the chain quality. To this end, we propose a novel selfish mining attack that aims to maximize this objective and formally model the attack as a Markov decision process (MDP). We then present a formal analysis procedure which computes an $ε$-tight lower bound on the optimal expected relative revenue in the MDP and a strategy that achieves this $ε$-tight lower bound, where $ε>0$ may be any specified precision. Our analysis is fully automated and provides formal guarantees on the correctness. We evaluate our selfish mining attack and observe that it achieves superior expected relative revenue compared to two considered baselines.
In concurrent work [Sarenche FC'24] does an automated analysis on selfish mining in predictable longest-chain blockchains based on efficient proof systems. Predictable means the randomness for the challenges is fixed for many blocks (as used e.g., in Ouroboros), while we consider unpredictable (Bitcoin-like) chains where the challenge is derived from the previous block.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
Authors:
S. Akshay,
Krishnendu Chatterjee,
Tobias Meggendorfer,
Đorđe Žikelić
Abstract:
Markov Decision Processes (MDPs) are a classical model for decision making in the presence of uncertainty. Often they are viewed as state transformers with planning objectives defined with respect to paths over MDP states. An increasingly popular alternative is to view them as distribution transformers, giving rise to a sequence of probability distributions over MDP states. For instance, reachabil…
▽ More
Markov Decision Processes (MDPs) are a classical model for decision making in the presence of uncertainty. Often they are viewed as state transformers with planning objectives defined with respect to paths over MDP states. An increasingly popular alternative is to view them as distribution transformers, giving rise to a sequence of probability distributions over MDP states. For instance, reachability and safety properties in modeling robot swarms or chemical reaction networks are naturally defined in terms of probability distributions over states. Verifying such distributional properties is known to be hard and often beyond the reach of classical state-based verification techniques.
In this work, we consider the problems of certified policy (i.e. controller) verification and synthesis in MDPs under distributional reach-avoidance specifications. By certified we mean that, along with a policy, we also aim to synthesize a (checkable) certificate ensuring that the MDP indeed satisfies the property. Thus, given the target set of distributions and an unsafe set of distributions over MDP states, our goal is to either synthesize a certificate for a given policy or synthesize a policy along with a certificate, proving that the target distribution can be reached while avoiding unsafe distributions. To solve this problem, we introduce the novel notion of distributional reach-avoid certificates and present automated procedures for (1) synthesizing a certificate for a given policy, and (2) synthesizing a policy together with the certificate, both providing formal guarantees on certificate correctness. Our experimental evaluation demonstrates the ability of our method to solve several non-trivial examples, including a multi-agent robot-swarm model, to synthesize certified policies and to certify existing policies.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Concurrent Stochastic Games with Stateful-discounted and Parity Objectives: Complexity and Algorithms
Authors:
Ali Asadi,
Krishnendu Chatterjee,
Raimundo Saona,
Jakub Svoboda
Abstract:
We study two-player zero-sum concurrent stochastic games with finite state and action space played for an infinite number of steps. In every step, the two players simultaneously and independently choose an action. Given the current state and the chosen actions, the next state is obtained according to a stochastic transition function. An objective is a measurable function on plays (or infinite traj…
▽ More
We study two-player zero-sum concurrent stochastic games with finite state and action space played for an infinite number of steps. In every step, the two players simultaneously and independently choose an action. Given the current state and the chosen actions, the next state is obtained according to a stochastic transition function. An objective is a measurable function on plays (or infinite trajectories) of the game, and the value for an objective is the maximal expectation that the player can guarantee against the adversarial player. We consider: (a) stateful-discounted objectives, which are similar to the classical discounted-sum objectives, but states are associated with different discount factors rather than a single discount factor; and (b) parity objectives, which are a canonical representation for $ω$-regular objectives. For stateful-discounted objectives, given an ordering of the discount factors, the limit value is the limit of the value of the stateful-discounted objectives, as the discount factors approach zero according to the given order.
The computational problem we consider is the approximation of the value within an arbitrary additive error. The above problem is known to be in EXPSPACE for the limit value of stateful-discounted objectives and in PSPACE for parity objectives. The best-known algorithms for both the above problems are at least exponential time, with an exponential dependence on the number of states and actions. Our main results for the value approximation problem for the limit value of stateful-discounted objectives and parity objectives are as follows: (a) we establish TFNP[NP] complexity; and (b) we present algorithms that improve the dependency on the number of actions in the exponent from linear to logarithmic. In particular, if the number of states is constant, our algorithms run in polynomial time.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights
Authors:
Ali Asadi,
Krishnendu Chatterjee,
Raimundo Saona,
Jakub Svoboda
Abstract:
Turn-based discounted-sum games are two-player zero-sum games played on finite directed graphs. The vertices of the graph are partitioned between player 1 and player 2. Plays are infinite walks on the graph where the next vertex is decided by a player that owns the current vertex. Each edge is assigned an integer weight and the payoff of a play is the discounted-sum of the weights of the play. The…
▽ More
Turn-based discounted-sum games are two-player zero-sum games played on finite directed graphs. The vertices of the graph are partitioned between player 1 and player 2. Plays are infinite walks on the graph where the next vertex is decided by a player that owns the current vertex. Each edge is assigned an integer weight and the payoff of a play is the discounted-sum of the weights of the play. The goal of player 1 is to maximize the discounted-sum payoff against the adversarial player 2. These games lie in NP and coNP and are among the rare combinatorial problems that belong to this complexity class and the existence of a polynomial-time algorithm is a major open question. Since breaking the general exponential barrier has been a challenging problem, faster parameterized algorithms have been considered. If the discount factor is expressed in unary, then discounted-sum games can be solved in polynomial time. However, if the discount factor is arbitrary (or expressed in binary), but the weights are in unary, none of the existing approaches yield a sub-exponential bound. Our main result is a new analysis technique for a classical algorithm (namely, the strategy iteration algorithm) that present a new runtime bound which is $n^{O ( W^{1/4} \sqrt{n} )}$, for game graphs with $n$ vertices and maximum absolute weight of at most $W$. In particular, our result yields a deterministic sub-exponential bound for games with weights that are constant or represented in unary.
△ Less
Submitted 20 May, 2024; v1 submitted 3 May, 2024;
originally announced May 2024.
-
Insight-HXMT View of the BHC Swift J1727.8-1613 during its outburst in 2023
Authors:
Kaushik Chatterjee,
Santanu Mondal,
Chandra B. Singh,
Mutsumi Sugizaki
Abstract:
The transient Galactic black hole candidate Swift\,J1727.8-1613 went through an outburst for the very first time that started in August 2023 and lasted for almost 6 months. We study the timing and spectral properties of this source using publicly available archival {\it Insight-HXMT} data for the first 10 observation IDs that last from MJD 60181 to 60198 with a total of 92 exposures for all three…
▽ More
The transient Galactic black hole candidate Swift\,J1727.8-1613 went through an outburst for the very first time that started in August 2023 and lasted for almost 6 months. We study the timing and spectral properties of this source using publicly available archival {\it Insight-HXMT} data for the first 10 observation IDs that last from MJD 60181 to 60198 with a total of 92 exposures for all three energy bands. We extracted the quasi-periodic oscillation properties by model fitting the power density spectrum and from those properties we designate that the QPOs are type-C in nature. We also conclude that the origin of the QPOs could be the shock instabilities in the transonic advective accretion flows around black holes. The spectral analysis was performed using simultaneous data from the three on-board instruments LE, ME, and HE of \textit{Insight-HXMT} in the broad energy band of $2-150 $ keV. To achieve the best fit, spectral fitting required a combination of models e.g. interstellar absorption, power-law, multi-color disk-blackbody continuum, gaussian emission/absorption, and reflection by neutral material. From the spectral properties, we found that the source was in an intermediate state at the start of the analysis period and was making a transition toward the softer states. The inner edge of the accretion disk moved inward in progressive days following the spectral nature. We found that the source has a high inclination. The average hydrogen column density estimated from the model fitting is $0.27_{-0.17}^{+0.08}\times10^{22}$ cm$^{-2}$.
△ Less
Submitted 12 May, 2024; v1 submitted 2 May, 2024;
originally announced May 2024.
-
Resolution analysis of magnetically arrested disk simulations
Authors:
Leon Sosapanta Salas,
Gibwa Musoke,
Koushik Chatterjee,
Sera Markoff,
Oliver Porth,
Matthew Liska,
Bart Ripperda
Abstract:
Polarisation measurements by the Event Horizon Telescope from M87$^{\ast}$ and Sgr A$^\ast$ suggest that there is a dynamically strong, ordered magnetic field, typical of what is expected of a magnetically arrested accretion disk (MAD). In such disks the strong poloidal magnetic field can suppress the accretion flow and cause episodic flux eruptions. Recent work shows that General Relativistic Mag…
▽ More
Polarisation measurements by the Event Horizon Telescope from M87$^{\ast}$ and Sgr A$^\ast$ suggest that there is a dynamically strong, ordered magnetic field, typical of what is expected of a magnetically arrested accretion disk (MAD). In such disks the strong poloidal magnetic field can suppress the accretion flow and cause episodic flux eruptions. Recent work shows that General Relativistic Magnetohydrodynamic (GRMHD) MAD simulations feature dynamics of turbulence and mixing instabilities that are becoming resolved at higher resolutions. We perform a convergence study of MADs exceeding the status quo by an order of magnitude in resolution. We use existing 3D simulations performed with the H-AMR code, up to resolution of 5376 x 2304 x 2304 in a logarithmic spherical-polar grid. We find consistent time-averaged disk properties across all resolutions. However, higher resolutions reveal signs of inward angular momentum transport attributed to turbulent convection, particularly evident when mixing instabilities occur at the surfaces of flux tubes during flux eruptions. Additionally, we see wave-like features in the jet sheath, which become more prominent at higher resolutions, that may induce mixing between jet and disk. At higher resolutions, we observe the sheath to be thinner, resulting in increased temperature, reduced magnetisation, and greater variability. Those differences could affect the dissipation of energy, that would eventually result in distinct observable radiative emission from high-resolution simulations. With higher resolutions, we can delve into crucial questions about horizon-scale physics and its impact on the dynamics and emission properties of larger-scale jets.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Constraining accretion-ejection parameters of a newly discovered Galactic transient Swift\,J151857.0-572147 using {\it IXPE} and {\it NuSTAR} observations
Authors:
Santanu Mondal,
S. Pujitha Suribhatla,
Kaushik Chatterjee,
Chandra B. Singh,
Rwitika Chatterjee
Abstract:
We study the spectro-polarimetric properties of a newly discovered black hole X-ray binary Swift\,J151857.0-572147 jointly using {\it IXPE} and {\it NuSTAR} observations during March 2024. The analysis of {\it IXPE} data reports mode-independent polarization degree (PD) $1.34\pm0.27$ and polarization angle (PA) $-13.69^\circ\pm5.85^\circ$, while the model-dependent analysis gives PD $1.18\pm0.23$…
▽ More
We study the spectro-polarimetric properties of a newly discovered black hole X-ray binary Swift\,J151857.0-572147 jointly using {\it IXPE} and {\it NuSTAR} observations during March 2024. The analysis of {\it IXPE} data reports mode-independent polarization degree (PD) $1.34\pm0.27$ and polarization angle (PA) $-13.69^\circ\pm5.85^\circ$, while the model-dependent analysis gives PD $1.18\pm0.23$ and PA $-14.01^\circ\pm5.80^\circ$. The joint spectral analysis of the broadband data and {\it NuSTAR} analysis in isolation constrain the mass of the central black hole between $\sim 9.2\pm1.6-10.5\pm1.8 M_\odot$ and a moderate spin parameter of $\sim0.6\pm0.2-0.7\pm0.2$ with disk inclination $\sim 38^\circ\pm9^\circ-47^\circ\pm15^\circ$. The power-law photon index and cutoff energy are $2.27\pm0.03-2.42\pm0.05$ and $\sim 40\pm7-62\pm8$ keV, suggesting a transition to the soft spectral state of the source during the observation period. Additionally, the best-fitted halo mass accretion is less compared to the disk mass accretion rate, and a relatively lower corona size of 6-9 r$_g$ indicates the same spectral state. The mass outflow rate was also low ($<3$\% $\dot M_{\rm Edd}$) during these epochs. The hydrogen column density obtained from the fit is relatively high $\sim 4-5\times 10^{22}$ cm$^{-2}$.
△ Less
Submitted 18 June, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Equivalence and Similarity Refutation for Probabilistic Programs
Authors:
Krishnendu Chatterjee,
Ehsan Kafshdar Goharshady,
Petr Novotný,
Đorđe Žikelić
Abstract:
We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two fundamental relational properties of probabilistic programs that are essential for their correctness both in implementation and in compilation. In this work, we present a new method for static equivalence and similarity r…
▽ More
We consider the problems of statically refuting equivalence and similarity of output distributions defined by a pair of probabilistic programs. Equivalence and similarity are two fundamental relational properties of probabilistic programs that are essential for their correctness both in implementation and in compilation. In this work, we present a new method for static equivalence and similarity refutation. Our method refutes equivalence and similarity by computing a function over program outputs whose expected value with respect to the output distributions of two programs is different. The function is computed simultaneously with an upper expectation supermartingale and a lower expectation submartingale for the two programs, which we show to together provide a formal certificate for refuting equivalence and similarity. To the best of our knowledge, our method is the first approach to relational program analysis to offer the combination of the following desirable features: (1) it is fully automated, (2) it is applicable to infinite-state probabilistic programs, and (3) it provides formal guarantees on the correctness of its results. We implement a prototype of our method and our experiments demonstrate the effectiveness of our method to refute equivalence and similarity for a number of examples collected from the literature.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
Learning Algorithms for Verification of Markov Decision Processes
Authors:
Tomáš Brázdil,
Krishnendu Chatterjee,
Martin Chmelik,
Vojtěch Forejt,
Jan Křetínský,
Marta Kwiatkowska,
Tobias Meggendorfer,
David Parker,
Mateusz Ujma
Abstract:
We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs). The primary goal of our techniques is to improve performance by avoiding an exhaustive exploration of the state space, instead focussing on particularly relevant areas of the system, guided by heuristics. Our work builds on the previous results of Br{á}z…
▽ More
We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs). The primary goal of our techniques is to improve performance by avoiding an exhaustive exploration of the state space, instead focussing on particularly relevant areas of the system, guided by heuristics. Our work builds on the previous results of Br{á}zdil et al., significantly extending it as well as refining several details and fixing errors.
The presented framework focuses on probabilistic reachability, which is a core problem in verification, and is instantiated in two distinct scenarios. The first assumes that full knowledge of the MDP is available, in particular precise transition probabilities. It performs a heuristic-driven partial exploration of the model, yielding precise lower and upper bounds on the required probability. The second tackles the case where we may only sample the MDP without knowing the exact transition dynamics. Here, we obtain probabilistic guarantees, again in terms of both the lower and upper bounds, which provides efficient stop** criteria for the approximation. In particular, the latter is an extension of statistical model-checking (SMC) for unbounded properties in MDPs. In contrast to other related approaches, we do not restrict our attention to time-bounded (finite-horizon) or discounted properties, nor assume any particular structural properties of the MDP.
△ Less
Submitted 20 March, 2024; v1 submitted 14 March, 2024;
originally announced March 2024.
-
What Can Quantum Information Theory Offer to Quantum Chemistry?
Authors:
Damiano Aliverti-Piuri,
Kaustav Chatterjee,
Lexin Ding,
Ke Liao,
Julia Liebert,
Christian Schilling
Abstract:
It is the ultimate goal of this work to foster synergy between quantum chemistry and the flourishing field of quantum information theory. For this, we first translate quantum information concepts such as entanglement and correlation into the context of quantum chemical systems. In particular, we establish two conceptually distinct perspectives on `electron correlation' leading to a notion of orbit…
▽ More
It is the ultimate goal of this work to foster synergy between quantum chemistry and the flourishing field of quantum information theory. For this, we first translate quantum information concepts such as entanglement and correlation into the context of quantum chemical systems. In particular, we establish two conceptually distinct perspectives on `electron correlation' leading to a notion of orbital and particle correlation. We then demonstrate that particle correlation equals total orbital correlation minimized over all orbital bases. Accordingly, particle correlation resembles the minimal, thus intrinsic, complexity of many-electron wave functions while orbital correlation quantifies their complexity relative to a basis. We illustrate these concepts of intrinsic and extrinsic correlation complexity in molecular systems, which also manifests the crucial link between the two correlation pictures. Our results provide theoretical justification for the long-favored natural orbitals for simplifying electronic structures, and open new pathways for develo** more efficient approaches towards the electron correlation problem.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
Authors:
Krishnendu Chatterjee,
Amir Kafshdar Goharshady,
Ehsan Kafshdar Goharshady,
Mehrdad Karrabi,
Đorđe Žikelić
Abstract:
We study the classical problem of verifying programs with respect to formal specifications given in the linear temporal logic (LTL). We first present novel sound and complete witnesses for LTL verification over imperative programs. Our witnesses are applicable to both verification (proving) and refutation (finding bugs) settings. We then consider LTL formulas in which atomic propositions can be po…
▽ More
We study the classical problem of verifying programs with respect to formal specifications given in the linear temporal logic (LTL). We first present novel sound and complete witnesses for LTL verification over imperative programs. Our witnesses are applicable to both verification (proving) and refutation (finding bugs) settings. We then consider LTL formulas in which atomic propositions can be polynomial constraints and turn our focus to polynomial arithmetic programs, i.e. programs in which every assignment and guard consists only of polynomial expressions. For this setting, we provide an efficient algorithm to automatically synthesize such LTL witnesses. Our synthesis procedure is both sound and semi-complete. Finally, we present experimental results demonstrating the effectiveness of our approach and that it can handle programs which were beyond the reach of previous state-of-the-art tools.
△ Less
Submitted 1 July, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Ordered magnetic fields around the 3C 84 central black hole
Authors:
G. F. Paraschos,
J. -Y. Kim,
M. Wielgus,
J. Röder,
T. P. Krichbaum,
E. Ros,
I. Agudo,
I. Myserlis,
M. Moscibrodzka,
E. Traianou,
J. A. Zensus,
L. Blackburn,
C. -K. Chan,
S. Issaoun,
M. Janssen,
M. D. Johnson,
V. L. Fish,
K. Akiyama,
A. Alberdi,
W. Alef,
J. C. Algaba,
R. Anantua,
K. Asada,
R. Azulay,
U. Bach
, et al. (258 additional authors not shown)
Abstract:
3C84 is a nearby radio source with a complex total intensity structure, showing linear polarisation and spectral patterns. A detailed investigation of the central engine region necessitates the use of VLBI above the hitherto available maximum frequency of 86GHz. Using ultrahigh resolution VLBI observations at the highest available frequency of 228GHz, we aim to directly detect compact structures a…
▽ More
3C84 is a nearby radio source with a complex total intensity structure, showing linear polarisation and spectral patterns. A detailed investigation of the central engine region necessitates the use of VLBI above the hitherto available maximum frequency of 86GHz. Using ultrahigh resolution VLBI observations at the highest available frequency of 228GHz, we aim to directly detect compact structures and understand the physical conditions in the compact region of 3C84. We used EHT 228GHz observations and, given the limited (u,v)-coverage, applied geometric model fitting to the data. We also employed quasi-simultaneously observed, multi-frequency VLBI data for the source in order to carry out a comprehensive analysis of the core structure. We report the detection of a highly ordered, strong magnetic field around the central, SMBH of 3C84. The brightness temperature analysis suggests that the system is in equipartition. We determined a turnover frequency of $ν_m=(113\pm4)$GHz, a corresponding synchrotron self-absorbed magnetic field of $B_{SSA}=(2.9\pm1.6)$G, and an equipartition magnetic field of $B_{eq}=(5.2\pm0.6)$G. Three components are resolved with the highest fractional polarisation detected for this object ($m_\textrm{net}=(17.0\pm3.9)$%). The positions of the components are compatible with those seen in low-frequency VLBI observations since 2017-2018. We report a steeply negative slope of the spectrum at 228GHz. We used these findings to test models of jet formation, propagation, and Faraday rotation in 3C84. The findings of our investigation into different flow geometries and black hole spins support an advection-dominated accretion flow in a magnetically arrested state around a rapidly rotating supermassive black hole as a model of the jet-launching system in the core of 3C84. However, systematic uncertainties due to the limited (u,v)-coverage, however, cannot be ignored.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
GraphViz2Vec: A Structure-aware Feature Generation Model to Improve Classification in GNNs
Authors:
Shraban Kumar Chatterjee,
Suman Kundu
Abstract:
GNNs are widely used to solve various tasks including node classification and link prediction. Most of the GNN architectures assume the initial embedding to be random or generated from popular distributions. These initial embeddings require multiple layers of transformation to converge into a meaningful latent representation. While number of layers allow accumulation of larger neighbourhood of a n…
▽ More
GNNs are widely used to solve various tasks including node classification and link prediction. Most of the GNN architectures assume the initial embedding to be random or generated from popular distributions. These initial embeddings require multiple layers of transformation to converge into a meaningful latent representation. While number of layers allow accumulation of larger neighbourhood of a node it also introduce the problem of over-smoothing. In addition, GNNs are inept at representing structural information. For example, the output embedding of a node does not capture its triangles participation. In this paper, we presented a novel feature extraction methodology GraphViz2Vec that can capture the structural information of a node's local neighbourhood to create meaningful initial embeddings for a GNN model. These initial embeddings helps existing models achieve state-of-the-art results in various classification tasks. Further, these initial embeddings help the model to produce desired results with only two layers which in turn reduce the problem of over-smoothing. The initial encoding of a node is obtained from an image classification model trained on multiple energy diagrams of its local neighbourhood. These energy diagrams are generated with the induced sub-graph of the nodes traversed by multiple random walks. The generated encodings increase the performance of existing models on classification tasks (with a mean increase of $4.65\%$ and $2.58\%$ for the node and link classification tasks, respectively), with some models achieving state-of-the-art results.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Amplifiers of selection for the Moran process with both Birth-death and death-Birth updating
Authors:
Jakub Svoboda,
Soham Joshi,
Josef Tkadlec,
Krishnendu Chatterjee
Abstract:
Populations evolve by accumulating advantageous mutations. Every population has some spatial structure that can be modeled by an underlying network. The network then influences the probability that new advantageous mutations fixate. Amplifiers of selection are networks that increase the fixation probability of advantageous mutants, as compared to the unstructured fully-connected network. Whether o…
▽ More
Populations evolve by accumulating advantageous mutations. Every population has some spatial structure that can be modeled by an underlying network. The network then influences the probability that new advantageous mutations fixate. Amplifiers of selection are networks that increase the fixation probability of advantageous mutants, as compared to the unstructured fully-connected network. Whether or not a network is an amplifier depends on the choice of the random process that governs the evolutionary dynamics. Two popular choices are Moran process with Birth-death updating and Moran process with death-Birth updating. %Moran process has two popular versions called Birth-death updating and death-Birth updating. Interestingly, while some networks are amplifiers under Birth-death updating and other networks are amplifiers under death-Birth updating, no network is known to function as an amplifier under both types of updating simultaneously. In this work, we identify networks that act as amplifiers of selection under both versions of the Moran process. The amplifiers are robust, modular, and increase fixation probability for any mutant fitness advantage in a range $r\in(1,1.2)$. To complement this positive result, we also prove that for certain quantities closely related to fixation probability, it is impossible to improve them simultaneously for both versions of the Moran process. Together, our results highlight how the two versions of the Moran process differ and what they have in common.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
Arithmetic progression in a finite field with prescribed norms
Authors:
Kaustav Chatterjee,
Hariom Sharma,
Aastha Shukla,
Shailesh Kumar Tiwari
Abstract:
Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ represents a finite extension of degree $n$ of the finite field ${\mathbb{F}_{q}}$. In this article, we investigate the existence of $m$ elements in arithmetic progression, where every element is primitive and at least one is normal with prescribed norms. Moreover, for $n\geq6,q=3^k,m=2$ we establish that there are only…
▽ More
Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ represents a finite extension of degree $n$ of the finite field ${\mathbb{F}_{q}}$. In this article, we investigate the existence of $m$ elements in arithmetic progression, where every element is primitive and at least one is normal with prescribed norms. Moreover, for $n\geq6,q=3^k,m=2$ we establish that there are only $10$ possible exceptions.
△ Less
Submitted 7 January, 2024; v1 submitted 3 January, 2024;
originally announced January 2024.
-
Solving Long-run Average Reward Robust MDPs via Stochastic Games
Authors:
Krishnendu Chatterjee,
Ehsan Kafshdar Goharshady,
Mehrdad Karrabi,
Petr Novotný,
Đorđe Žikelić
Abstract:
Markov decision processes (MDPs) provide a standard framework for sequential decision making under uncertainty. However, MDPs do not take uncertainty in transition probabilities into account. Robust Markov decision processes (RMDPs) address this shortcoming of MDPs by assigning to each transition an uncertainty set rather than a single probability value. In this work, we consider polytopic RMDPs i…
▽ More
Markov decision processes (MDPs) provide a standard framework for sequential decision making under uncertainty. However, MDPs do not take uncertainty in transition probabilities into account. Robust Markov decision processes (RMDPs) address this shortcoming of MDPs by assigning to each transition an uncertainty set rather than a single probability value. In this work, we consider polytopic RMDPs in which all uncertainty sets are polytopes and study the problem of solving long-run average reward polytopic RMDPs. We present a novel perspective on this problem and show that it can be reduced to solving long-run average reward turn-based stochastic games with finite state and action spaces. This reduction allows us to derive several important consequences that were hitherto not known to hold for polytopic RMDPs. First, we derive new computational complexity bounds for solving long-run average reward polytopic RMDPs, showing for the first time that the threshold decision problem for them is in $NP \cap coNP$ and that they admit a randomized algorithm with sub-exponential expected runtime. Second, we present Robust Polytopic Policy Iteration (RPPI), a novel policy iteration algorithm for solving long-run average reward polytopic RMDPs. Our experimental evaluation shows that RPPI is much more efficient in solving long-run average reward polytopic RMDPs compared to state-of-the-art methods based on value iteration.
△ Less
Submitted 30 April, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
Fundamental Physics Opportunities with the Next-Generation Event Horizon Telescope
Authors:
Dimitry Ayzenberg,
Lindy Blackburn,
Richard Brito,
Silke Britzen,
Avery E. Broderick,
Raúl Carballo-Rubio,
Vitor Cardoso,
Andrew Chael,
Koushik Chatterjee,
Yifan Chen,
Pedro V. P. Cunha,
Hooman Davoudiasl,
Peter B. Denton,
Sheperd S. Doeleman,
Astrid Eichhorn,
Marshall Eubanks,
Yun Fang,
Arianna Foschi,
Christian M. Fromm,
Peter Galison,
Sushant G. Ghosh,
Roman Gold,
Leonid I. Gurvits,
Shahar Hadar,
Aaron Held
, et al. (23 additional authors not shown)
Abstract:
The Event Horizon Telescope (EHT) Collaboration recently published the first images of the supermassive black holes in the cores of the Messier 87 and Milky Way galaxies. These observations have provided a new means to study supermassive black holes and probe physical processes occurring in the strong-field regime. We review the prospects of future observations and theoretical studies of supermass…
▽ More
The Event Horizon Telescope (EHT) Collaboration recently published the first images of the supermassive black holes in the cores of the Messier 87 and Milky Way galaxies. These observations have provided a new means to study supermassive black holes and probe physical processes occurring in the strong-field regime. We review the prospects of future observations and theoretical studies of supermassive black hole systems with the next-generation Event Horizon Telescope (ngEHT), which will greatly enhance the capabilities of the existing EHT array. These enhancements will open up several previously inaccessible avenues of investigation, thereby providing important new insights into the properties of supermassive black holes and their environments. This review describes the current state of knowledge for five key science cases, summarising the unique challenges and opportunities for fundamental physics investigations that the ngEHT will enable.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees
Authors:
Đorđe Žikelić,
Mathias Lechner,
Abhinav Verma,
Krishnendu Chatterjee,
Thomas A. Henzinger
Abstract:
Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural network policies in stochastic environments, along with a formal certificate which guarantees that a…
▽ More
Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural network policies in stochastic environments, along with a formal certificate which guarantees that a specification over the policy's behavior is satisfied with the desired probability. Unlike prior work on verifiable RL, our approach leverages the compositional nature of logical specifications provided in SpectRL, to learn over graphs of probabilistic reach-avoid specifications. The formal guarantees are provided by learning neural network policies together with reach-avoid supermartingales (RASM) for the graph's sub-tasks and then composing them into a global policy. We also derive a tighter lower bound compared to previous work on the probability of reach-avoidance implied by a RASM, which is required to find a compositional policy with an acceptable probabilistic threshold for complex tasks with multiple edge policies. We implement a prototype of our approach and evaluate it on a Stochastic Nine Rooms environment.
△ Less
Submitted 3 December, 2023;
originally announced December 2023.
-
Generating Images of the M87* Black Hole Using GANs
Authors:
Arya Mohan,
Pavlos Protopapas,
Keerthi Kunnumkai,
Cecilia Garraffo,
Lindy Blackburn,
Koushik Chatterjee,
Sheperd S. Doeleman,
Razieh Emami,
Christian M. Fromm,
Yosuke Mizuno,
Angelo Ricarte
Abstract:
In this paper, we introduce a novel data augmentation methodology based on Conditional Progressive Generative Adversarial Networks (CPGAN) to generate diverse black hole (BH) images, accounting for variations in spin and electron temperature prescriptions. These generated images are valuable resources for training deep learning algorithms to accurately estimate black hole parameters from observati…
▽ More
In this paper, we introduce a novel data augmentation methodology based on Conditional Progressive Generative Adversarial Networks (CPGAN) to generate diverse black hole (BH) images, accounting for variations in spin and electron temperature prescriptions. These generated images are valuable resources for training deep learning algorithms to accurately estimate black hole parameters from observational data. Our model can generate BH images for any spin value within the range of [-1, 1], given an electron temperature distribution. To validate the effectiveness of our approach, we employ a convolutional neural network to predict the BH spin using both the GRMHD images and the images generated by our proposed model. Our results demonstrate a significant performance improvement when training is conducted with the augmented dataset while testing is performed using GRMHD simulated data, as indicated by the high R2 score. Consequently, we propose that GANs can be employed as cost effective models for black hole image generation and reliably augment training datasets for other parameterization algorithms.
△ Less
Submitted 1 December, 2023;
originally announced December 2023.
-
Set Augmented Finite Automata over Infinite Alphabets
Authors:
Ansuman Banerjee,
Kingshuk Chatterjee,
Shibashis Guha
Abstract:
A data language is a set of finite words defined on an infinite alphabet. Data languages are used to express properties associated with data values (domain defined over a countably infinite set). In this paper, we introduce set augmented finite automata (SAFA), a new class of automata for expressing data languages. We investigate the decision problems, closure properties, and expressiveness of SAF…
▽ More
A data language is a set of finite words defined on an infinite alphabet. Data languages are used to express properties associated with data values (domain defined over a countably infinite set). In this paper, we introduce set augmented finite automata (SAFA), a new class of automata for expressing data languages. We investigate the decision problems, closure properties, and expressiveness of SAFA. We also study the deterministic variant of these automata.
△ Less
Submitted 11 November, 2023;
originally announced November 2023.
-
Multiple quantum Mpemba effect: exceptional points and oscillations
Authors:
Amit Kumar Chatterjee,
Satoshi Takada,
Hisao Hayakawa
Abstract:
We explore the role of exceptional points and complex eigenvalues on the occurrence of the quantum Mpemba effect. To this end, we study a two-level driven dissipative system subjected to an oscillatory electric field and dissipative coupling with the environment. We find that both exceptional points and complex eigenvalues can lead to $multiple$ quantum Mpemba effect. It occurs in an observable wh…
▽ More
We explore the role of exceptional points and complex eigenvalues on the occurrence of the quantum Mpemba effect. To this end, we study a two-level driven dissipative system subjected to an oscillatory electric field and dissipative coupling with the environment. We find that both exceptional points and complex eigenvalues can lead to $multiple$ quantum Mpemba effect. It occurs in an observable when time evolved copies corresponding to two different initial conditions, one initially having higher observable value compared to the other and both relaxing towards the same steady state, intersect each other more than once during their relaxation process. Each of the intersections denotes a quantum Mpemba effect and marks the reversal of identities between the two copies i.e. the copy with higher observable value before the intersection becomes the lower valued copy (and vice versa) after the intersection. Such multiple intersections originate from additional algebraic time dependence at the exceptional points and due to oscillatory relaxation in the case of complex eigenvalues. We provide analytical results for quantum Mpemba effect in the density matrix in presence of coherence. Depending on the control parameters (drive and dissipation), observables such as energy, von Neumann entropy, temperature etc. exhibit either single or multiple quantum Mpemba effect. However, the distance from steady state measured in terms of the Kullback-Leibler divergence shows only single quantum Mpemba effect although the corresponding speed gives rise to either single or multiple quantum Mpemba effect.
△ Less
Submitted 23 June, 2024; v1 submitted 2 November, 2023;
originally announced November 2023.
-
Misaligned magnetized accretion flows onto spinning black holes: magneto-spin alignment, outflow power and intermittent jets
Authors:
Koushik Chatterjee,
Matthew Liska,
Alexander Tchekhovskoy,
Sera Markoff
Abstract:
Magnetic fields regulate black hole (BH) accretion, governing both the inflow and outflow dynamics. When a BH becomes saturated with large-scale vertical magnetic flux, it enters a magnetically-arrested disk (MAD) state. The dynamically-important BH magnetic flux powers highly efficient relativistic outflows (or jets) and sporadically erupts from the BH into the disk midplane. Here we explore the…
▽ More
Magnetic fields regulate black hole (BH) accretion, governing both the inflow and outflow dynamics. When a BH becomes saturated with large-scale vertical magnetic flux, it enters a magnetically-arrested disk (MAD) state. The dynamically-important BH magnetic flux powers highly efficient relativistic outflows (or jets) and sporadically erupts from the BH into the disk midplane. Here we explore the evolution of MADs when the BH and gas angular momentum are misaligned, which is expected to be more common. Using numerical simulations, we find that jets from rapidly spinning, prograde BHs force the inner accretion flow into alignment with the BH spin via the magneto-spin alignment mechanism for disks initially misaligned at $\mathcal{T}\lesssim 60^{\circ}$. Extremely misaligned MAD disks, on the other hand, exhibit intermittent jets that blow out parts of the disk to $\approx 100$ gravitational radii before collapsing, leaving behind hot cavities and magnetized filaments. These intermittent jet mechanism forms a mini-feedback cycle and could explain some cases of X-ray and radio quasi-periodic eruptions observed in dim AGN. Further, we find that (i) for BHs with low power jets, the BH spin and initial disk tilt angle changes the amount of horizon magnetic flux, and (ii) geometrically-thick, misaligned accretion flows do not undergo sustained Lense-Thirring (LT) precession. Thereby, we suggest that low-luminosity accreting BHs ($\dot{M}\ll 10^{-3} \dot{M}_{\rm Edd}$) are not likely to exhibit quasi-periodic oscillations in lightcurves due to LT precession, in agreement with observations of BH X-ray binaries and AGN in the low-hard/quiescent state. Instead, we suggest that magnetic flux eruptions can mimic precession-like motion, such as observed in the M87 jet, by driving large-scale surface waves in the jets.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
How to Turn Jets into Cylinders near Supermassive Black Holes in 3D GRMHD Simulations
Authors:
Valeriia Rohoza,
Aretaios Lalakos,
Max Paik,
Koushik Chatterjee,
Matthew Liska,
Alexander Tchekhovskoy,
Ore Gottlieb
Abstract:
Accreting supermassive black holes (SMBHs) produce highly magnetized relativistic jets that tend to collimate gradually as they propagate outward. However, recent radio interferometric observations of the 3C 84 galaxy reveal a stunning, cylindrical jet already at several hundred SMBH gravitational radii, $r\gtrsim350r_{\rm g}$. We explore how such extreme collimation emerges via a suite of 3D gene…
▽ More
Accreting supermassive black holes (SMBHs) produce highly magnetized relativistic jets that tend to collimate gradually as they propagate outward. However, recent radio interferometric observations of the 3C 84 galaxy reveal a stunning, cylindrical jet already at several hundred SMBH gravitational radii, $r\gtrsim350r_{\rm g}$. We explore how such extreme collimation emerges via a suite of 3D general-relativistic magnetohydrodynamic (GRMHD) simulations. We consider an SMBH surrounded by a magnetized torus immersed in a constant-density ambient medium that starts at the edge of the SMBH sphere of influence, chosen to be much larger than the SMBH gravitational radius, $r_{\text{B}}=10^3r_{\text{g}}$. We find that radiatively inefficient accretion flows (e.g., M87) produce winds that collimate the jets into parabolas near the BH. After the disk winds stop collimating the jets at $r\lesssim{}r_\text{B}$, they turn conical. Once outside $r_\text{B}$, the jets run into the ambient medium and form backflows that collimate the jets into cylinders some distance beyond $r_{\text{B}}$. Interestingly, for radiatively-efficient accretion, as in 3C 84, the radiative cooling saps the energy out of the disk winds: at early times, they cannot efficiently collimate the jets, which skip the initial parabolic collimation stage, start out conical near the SMBH, and turn into cylinders already at $r\simeq300r_{\rm g}$, as observed in 3C 84. Over time, jet power remains approximately constant, whereas the mass accretion rate increases: the winds grow in strength and start to collimate the jets, which become quasi-parabolic near the base; the transition point to a nearly cylindrical jet profile moves outward while remaining inside $r_\text{B}$.
△ Less
Submitted 31 October, 2023;
originally announced November 2023.
-
On the Universality of Energy Extraction from Black Hole Spacetimes
Authors:
Koushik Chatterjee,
Ziri Younsi,
Prashant Kocherlakota,
Ramesh Narayan
Abstract:
The launching of astrophysical jets provides the most compelling observational evidence for direct extraction of black hole (BH) spin energy via the Blandford-Znajek (BZ) mechanism. Whilst it is know that spinning Kerr BHs within general relativity (GR) follow the BZ jet power relation, the nature of BH energy extraction in general theories of gravity has not been adequately addressed. This study…
▽ More
The launching of astrophysical jets provides the most compelling observational evidence for direct extraction of black hole (BH) spin energy via the Blandford-Znajek (BZ) mechanism. Whilst it is know that spinning Kerr BHs within general relativity (GR) follow the BZ jet power relation, the nature of BH energy extraction in general theories of gravity has not been adequately addressed. This study performs the first comprehensive investigation of the BZ jet power relation by utilising a generalised BH spacetime geometry which describes parametric deviations from the Kerr metric of GR, yet recovers the Kerr metric in the limit that all deviation parameters vanish. Through performing and analysing an extensive suite of three-dimensional covariant magnetohydrodynamics (MHD) simulations of magnetised gas accretion onto these generalised BH spacetimes we find that the BZ jet power relation still holds, in some instances yielding jet powers far in excess of what can be produced by even extremal Kerr BHs. It is shown that the variation of the quadrupole moment of the BH can enhance or suppress the effects of BH spin, and by extension of frame-dragging. This variation greatly enhances or suppresses the observed jet power and underlying photon ring image asymmetry, introducing a previously unexplored yet important degeneracy in BH parameter inference.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Energy Extraction from Spinning Stringy Black Holes
Authors:
Koushik Chatterjee,
Prashant Kocherlakota,
Ziri Younsi,
Ramesh Narayan
Abstract:
We perform the first numerical simulations modeling the inflow and outflow of magnetized plasma in the Kerr-Sen spacetime, which describes classical spinning black holes (BHs) in string theory. We find that the Blandford-Znajek (BZ) mechanism, which is believed to power astrophysical relativistic outflows or ``jets'', is valid even for BHs in an alternate theory of gravity, including near the extr…
▽ More
We perform the first numerical simulations modeling the inflow and outflow of magnetized plasma in the Kerr-Sen spacetime, which describes classical spinning black holes (BHs) in string theory. We find that the Blandford-Znajek (BZ) mechanism, which is believed to power astrophysical relativistic outflows or ``jets'', is valid even for BHs in an alternate theory of gravity, including near the extremal limit. The BZ mechanism releases outward Poynting-flux-dominated plasma as frame-dragging forces magnetic field lines to twist. However, for nonspinning BHs, where the frame-dragging is absent, we find an alternate powering mechanism through the release of gravitational potential energy during accretion. Outflows from non-spinning stringy BHs can be approximately $250\%$ more powerful as compared to Schwarzschild BHs, due to their relatively smaller event horizon sizes and, thus, higher curvatures. Finally, by constructing the first synthetic images of near-extremal non-Kerr BHs from time-dependent simulations, we find that these can be ruled out by horizon-scale interferometric images of accreting supermassive BHs.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Bridging Scales in Black Hole Accretion and Feedback: Magnetized Bondi Accretion in 3D GRMHD
Authors:
Hyerin Cho,
Ben S. Prather,
Ramesh Narayan,
Priyamvada Natarajan,
Kung-Yi Su,
Angelo Ricarte,
Koushik Chatterjee
Abstract:
Fueling and feedback couple supermassive black holes (SMBHs) to their host galaxies across many orders of magnitude in spatial and temporal scales, making this problem notoriously challenging to simulate. We use a multi-zone computational method based on the general relativistic magneto-hydrodynamic (GRMHD) code KHARMA that allows us to span $7$ orders of magnitude in spatial scale, to simulate ac…
▽ More
Fueling and feedback couple supermassive black holes (SMBHs) to their host galaxies across many orders of magnitude in spatial and temporal scales, making this problem notoriously challenging to simulate. We use a multi-zone computational method based on the general relativistic magneto-hydrodynamic (GRMHD) code KHARMA that allows us to span $7$ orders of magnitude in spatial scale, to simulate accretion onto a non-spinning SMBH from an external medium with Bondi radius $R_B\approx 2\times 10^5 \,GM_\bullet/c^2$, where $M_\bullet$ is the SMBH mass. For the classic idealized Bondi problem, spherical gas accretion without magnetic fields, our simulation results agree very well with the general relativistic analytic solution. Meanwhile, when the accreting gas is magnetized, the SMBH magnetosphere becomes saturated with a strong magnetic field. The density profile varies as $\sim r^{-1}$ rather than $r^{-3/2}$ and the accretion rate $\dot{M}$ is consequently suppressed by over 2 orders of magnitude below the Bondi rate $\dot{M}_B$. We find continuous energy feedback from the accretion flow to the external medium at a level of $\sim10^{-2}\dot{M}c^2 \sim 5\times 10^{-5} \dot{M}_B c^2$. Energy transport across these widely disparate scales occurs via turbulent convection triggered by magnetic field reconnection near the SMBH. Thus, strong magnetic fields that accumulate on horizon scales transform the flow dynamics far from the SMBH and naturally explain observed extremely low accretion rates compared to the Bondi rate, as well as at least part of the energy feedback.
△ Less
Submitted 1 December, 2023; v1 submitted 29 October, 2023;
originally announced October 2023.
-
HMN: Generalization of Heterogeneous and Multi-layered Network
Authors:
Shraban Kumar Chatterjee,
Suman Kundu
Abstract:
A network may have different types of entities and their relations. Further, there could be additional layers of ties. The former is referred to as Heterogeneous networks, while the latter is known as Multi-layer networks. The present paper provides a generalized network model, namely, a Heterogeneous Multi-layered Network (HMN), which can simultaneously be multi-layered and heterogeneous. The mod…
▽ More
A network may have different types of entities and their relations. Further, there could be additional layers of ties. The former is referred to as Heterogeneous networks, while the latter is known as Multi-layer networks. The present paper provides a generalized network model, namely, a Heterogeneous Multi-layered Network (HMN), which can simultaneously be multi-layered and heterogeneous. The model can represent homogeneous networks as well. We define different structural measures in an HMN. We proved that the sets of all homogeneous, heterogeneous and multi-layered networks are subsets of the set of all HMNs. Accordingly, we established the equivalency of the proposed structural measures of HMNs with that of homogeneous, heterogeneous, and multi-layered networks. Following that, we show how our proposed HMN is more efficient in tasks such as link prediction. In addition, we present a novel parameterized algorithm (with complexity analysis) for generating synthetic HMNs. The networks generated from our proposed algorithm are more consistent in modelling the layer-wise degree distribution of a real-world Twitter network (represented as HMN) than those generated by existing models. Moreover, we also show that our algorithm is more effective in modelling an air-transportation multiplex network when compared to an algorithm designed specifically for the task.
△ Less
Submitted 4 March, 2024; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Winds and Disk Turbulence Exert Equal Torques on Thick Magnetically Arrested Disks
Authors:
Vikram Manikantan,
Nicholas Kaaz,
Jonatan Jacquemin-Ide,
Gibwa Musoke,
Koushik Chatterjee,
Matthew Liska,
Alexander Tchekhovskoy
Abstract:
The conventional accretion disk lore is that magnetized turbulence is the principal angular momentum transport process that drives accretion. However, when dynamically important large-scale magnetic fields thread an accretion disk, they can produce mass and angular momentum outflows, known as winds, that also drive accretion. Yet, the relative importance of turbulent and wind-driven angular moment…
▽ More
The conventional accretion disk lore is that magnetized turbulence is the principal angular momentum transport process that drives accretion. However, when dynamically important large-scale magnetic fields thread an accretion disk, they can produce mass and angular momentum outflows, known as winds, that also drive accretion. Yet, the relative importance of turbulent and wind-driven angular momentum transport is still poorly understood. To probe this question, we analyze a long-duration ($1.2 \times 10^5 r_{\rm g}/c$) simulation of a rapidly rotating ($a=0.9$) black hole feeding from a thick ($H/r\sim0.3$), adiabatic, magnetically arrested disk (MAD), whose dynamically important magnetic field regulates mass inflow and drives both uncollimated and collimated outflows (i.e., winds and jets, respectively). By carefully disentangling the various angular momentum transport processes within the system, we demonstrate the novel result that disk winds and disk turbulence both extract roughly equal amounts of angular momentum from the disk. We find cumulative angular momentum and mass accretion outflow rates of $\dot{L}\propto r^{0.9}$ and $\dot{M}\propto r^{0.4}$, respectively. This result suggests that understanding both turbulent and laminar stresses is key to understanding the evolution of systems where geometrically thick MADs can occur, such as the hard state of X-ray binaries, low-luminosity active galactic nuclei, some tidal disruption events, and possibly gamma-ray bursts.
△ Less
Submitted 23 April, 2024; v1 submitted 17 October, 2023;
originally announced October 2023.
-
Magnetic flux plays an important role during a BHXRB outburst in radiative 2T GRMHD simulations
Authors:
M. T. P. Liska,
N. Kaaz,
K. Chatterjee,
Razieh Emami,
Gibwa Musoke
Abstract:
Black hole (BH) X-ray binaries cycle through different spectral states of accretion over the course of months to years. Although fluctuations in the BH mass accretion rate are generally recognized as the most important component of state transitions, it is becoming increasingly evident that magnetic fields play a similarly important role. In this article, we present the first radiative two-tempera…
▽ More
Black hole (BH) X-ray binaries cycle through different spectral states of accretion over the course of months to years. Although fluctuations in the BH mass accretion rate are generally recognized as the most important component of state transitions, it is becoming increasingly evident that magnetic fields play a similarly important role. In this article, we present the first radiative two-temperature (2T) general relativistic magnetohydrodynamics (GRMHD) simulations in which an accretion disk transitions from a quiescent state at an accretion rate of $\dot{M} \sim 10^{-10} \dot{M}_{\rm Edd}$ to a hard-intermediate state at an accretion rate of $\dot{M} \sim 10^{-2} \dot{M}_{\rm Edd}$. This huge parameter space in mass accretion rate is bridged by artificially rescaling the gas density scale of the simulations. We present two jetted BH models with varying degrees of magnetic flux saturation. We demonstrate that in `Standard and Normal Evolution' models, which are unsaturated with magnetic flux, the hot torus collapses into a thin and cold accretion disk when $\dot{M} \gtrsim 5\times 10^{-3} \dot{M}_{\rm Edd}$. On the other hand, in `Magnetically Arrested Disk' models, which are fully saturated with vertical magnetic flux, the plasma remains mostly hot with substructures that condense into cold clumps of gas when $\dot{M} \gtrsim 1 \times 10^{-2} \dot{M}_{\rm Edd}$. This suggests that the spectral signatures observed during state transitions are closely tied to the level of magnetic flux saturation.
△ Less
Submitted 27 March, 2024; v1 submitted 27 September, 2023;
originally announced September 2023.
-
Synchrotron polarization signatures of surface waves in supermassive black hole jets
Authors:
Jordy Davelaar,
Bart Ripperda,
Lorenzo Sironi,
Alexander A. Philippov,
Hector Olivares,
Oliver Porth,
Bram van den Berg,
Thomas Bronzwaer,
Koushik Chatterjee,
Matthew Liska
Abstract:
Supermassive black holes in active galactic nuclei (AGN) are known to launch relativistic jets, which are observed across the entire electromagnetic spectrum and are thought to be efficient particle accelerators. Their primary radiation mechanism for radio emission is polarized synchrotron emission produced by a population of non-thermal electrons. In this Letter, we present a global general relat…
▽ More
Supermassive black holes in active galactic nuclei (AGN) are known to launch relativistic jets, which are observed across the entire electromagnetic spectrum and are thought to be efficient particle accelerators. Their primary radiation mechanism for radio emission is polarized synchrotron emission produced by a population of non-thermal electrons. In this Letter, we present a global general relativistic magnetohydrodynamical (GRMHD) simulation of a magnetically arrested disk (MAD). After the simulation reaches the MAD state, we show that waves are continuously launched from the vicinity of the black hole and propagate along the interface between the jet and the wind. At this interface, a steep gradient in velocity is present between the mildly relativistic wind and the highly relativistic jet. The interface is, therefore, a shear layer, and due to the shear, the waves generate roll-ups that alter the magnetic field configuration and the shear layer geometry. We then perform polarized radiation transfer calculations of our GRMHD simulation and find signatures of the waves in both total intensity and linear polarization, effectively lowering the fully resolved polarization fraction. The tell-tale polarization signatures of the waves could be observable by future Very Long Baseline Interferometric observations, e.g., by the next-generation Event Horizon Telescope.
△ Less
Submitted 24 October, 2023; v1 submitted 14 September, 2023;
originally announced September 2023.
-
MAXI J0637-430: A Possible Candidate for Bulk Motion Comptonization?
Authors:
Kaushik Chatterjee,
Dipak Debnath,
Sujoy Kumar Nath,
Hsiang-Kuang Chang
Abstract:
The transient Galactic black hole candidate MAXI J0637-430 went through an outburst in 2019--20 for the very first time. This outburst was active for almost 6 months from November 2019 to May 2020. We study the spectral properties of this source during that outburst using archival data from NICER, Swift, and NuSTAR satellites/instruments. We have analyzed the source during 6 epochs on which simult…
▽ More
The transient Galactic black hole candidate MAXI J0637-430 went through an outburst in 2019--20 for the very first time. This outburst was active for almost 6 months from November 2019 to May 2020. We study the spectral properties of this source during that outburst using archival data from NICER, Swift, and NuSTAR satellites/instruments. We have analyzed the source during 6 epochs on which simultaneous NICER--NuSTAR and Swift/XRT--NuSTAR data were available. Using both phenomenological and physical model fitting approaches, we analyzed the spectral data in the broad $0.7-70$ keV energy band. We first used a combination of disk blackbody with power-law, disk blackbody with broken power-law, and disk blackbody with power-law and bmc models. For a better understanding of the accretion picture, e.g., understanding how the accretion rates change with the changing size of the perceived Compton cloud, we used the two-component advective flow (TCAF) model with broken power-law, TCAF with power-law and bmc models. For last 3 epochs, the diskbb+power-law and TCAF models were able to spectrally fit the data for acceptable $χ^2/DOF$. However, for the first 3 epochs, we needed an additional component to fit spectra for acceptable $χ^2/DOF$. From our analysis, we reported about the possible presence of another component during these first 3 epochs when the source was in the high soft state. This additional component in this state is best described by the bulk motion Comptonization phenomenon. From the TCAF model fitting, we estimated the average mass of the source as $8.1^{+1.3}_{-2.7}~M_\odot$.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
A search for pulsars around Sgr A* in the first Event Horizon Telescope dataset
Authors:
Pablo Torne,
Kuo Liu,
Ralph P. Eatough,
Jompoj Wongphechauxsorn,
James M. Cordes,
Gregory Desvignes,
Mariafelicia De Laurentis,
Michael Kramer,
Scott M. Ransom,
Shami Chatterjee,
Robert Wharton,
Ramesh Karuppusamy,
Lindy Blackburn,
Michael Janssen,
Chi-kwan Chan,
Geoffrey B. Crew,
Lynn D. Matthews,
Ciriaco Goddi,
Helge Rottmann,
Jan Wagner,
Salvador Sanchez,
Ignacio Ruiz,
Federico Abbate,
Geoffrey C. Bower,
Juan J. Salamanca
, et al. (261 additional authors not shown)
Abstract:
The Event Horizon Telescope (EHT) observed in 2017 the supermassive black hole at the center of the Milky Way, Sagittarius A* (Sgr A*), at a frequency of 228.1 GHz ($λ$=1.3 mm). The fundamental physics tests that even a single pulsar orbiting Sgr A* would enable motivate searching for pulsars in EHT datasets. The high observing frequency means that pulsars - which typically exhibit steep emission…
▽ More
The Event Horizon Telescope (EHT) observed in 2017 the supermassive black hole at the center of the Milky Way, Sagittarius A* (Sgr A*), at a frequency of 228.1 GHz ($λ$=1.3 mm). The fundamental physics tests that even a single pulsar orbiting Sgr A* would enable motivate searching for pulsars in EHT datasets. The high observing frequency means that pulsars - which typically exhibit steep emission spectra - are expected to be very faint. However, it also negates pulse scattering, an effect that could hinder pulsar detections in the Galactic Center. Additionally, magnetars or a secondary inverse Compton emission could be stronger at millimeter wavelengths than at lower frequencies. We present a search for pulsars close to Sgr A* using the data from the three most-sensitive stations in the EHT 2017 campaign: the Atacama Large Millimeter/submillimeter Array, the Large Millimeter Telescope and the IRAM 30 m Telescope. We apply three detection methods based on Fourier-domain analysis, the Fast-Folding-Algorithm and single pulse search targeting both pulsars and burst-like transient emission; using the simultaneity of the observations to confirm potential candidates. No new pulsars or significant bursts were found. Being the first pulsar search ever carried out at such high radio frequencies, we detail our analysis methods and give a detailed estimation of the sensitivity of the search. We conclude that the EHT 2017 observations are only sensitive to a small fraction ($\lesssim$2.2%) of the pulsars that may exist close to Sgr A*, motivating further searches for fainter pulsars in the region.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
A primitive normal pair in a finite field with prescribed traces and norms
Authors:
Kaustav Chatterjee,
Hariom Sharma,
Shailesh Kumar Tiwari
Abstract:
Given ${\mathbb{F}_{p^t}}$, a field with $p^t$ elements, where $p$ is a prime power, $t$ is a positive integer. Let $f(x)$ be a polynomial over $\mathbb{F}_{p^t}$ of degree $m$ with some restrictions. In this paper, we construct a sufficient condition on $(p,t)$ which guarantees the existence of a primitive normal pair $(ε,f(ε))$ such that $Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(ε)=a$,…
▽ More
Given ${\mathbb{F}_{p^t}}$, a field with $p^t$ elements, where $p$ is a prime power, $t$ is a positive integer. Let $f(x)$ be a polynomial over $\mathbb{F}_{p^t}$ of degree $m$ with some restrictions. In this paper, we construct a sufficient condition on $(p,t)$ which guarantees the existence of a primitive normal pair $(ε,f(ε))$ such that $Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(ε)=a$, $Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(f(ε))=b$ and $N_{\mathbb{F}_{p^t}/\mathbb{F}_p}(ε)=c$, $N_{\mathbb{F}_{p^t}/\mathbb{F}_p}(f(ε))=d$ where $c,d\in\mathbb{F}_{p}$ are primitive elements and $a,b\in\mathbb{F}_{p}^*$. Furthermore, we demonstrate that, for $p=11^k;$ $k\geq1,$ $m=8$ and $t\geq 15$, there are only $4$ possible exceptions where such pairs may not exist.
△ Less
Submitted 5 June, 2024; v1 submitted 5 August, 2023;
originally announced August 2023.
-
Toward General-Relativistic Magnetohydrodynamics Simulations in Stationary Non-Vacuum Spacetimes
Authors:
Prashant Kocherlakota,
Ramesh Narayan,
Koushik Chatterjee,
Alejandro Cruz-Osorio,
Yosuke Mizuno
Abstract:
Accretion of magnetized gas on compact astrophysical objects such as black holes has been successfully modeled using general relativistic magnetohydrodynamic (GRMHD) simulations. These simulations have largely been performed in the Kerr metric, which describes the spacetime of a vacuum and stationary spinning black hole (BH) in general relativity (GR). The simulations have revealed important clues…
▽ More
Accretion of magnetized gas on compact astrophysical objects such as black holes has been successfully modeled using general relativistic magnetohydrodynamic (GRMHD) simulations. These simulations have largely been performed in the Kerr metric, which describes the spacetime of a vacuum and stationary spinning black hole (BH) in general relativity (GR). The simulations have revealed important clues on the physics of accretion and jets near the BH event horizon, and have been used to interpret recent Event Horizon Telescope images of the supermassive BHs, M87$^*$ and Sgr A$^*$. GRMHD simulations require the spacetime metric in horizon-penetrating coordinates such that all metric coefficients are regular at the event horizon. The Kerr metric and its electrically charged spinning analog, the Kerr-Newman metric, are currently the only metrics available in such coordinates. We report here horizon-penetrating forms of a large class of stationary, axisymmetric, spinning metrics. These can be used to carry out GRMHD simulations of accretion on spinning, nonvacuum BHs and non-BHs within GR, as well as accretion on spinning objects described by non-GR metric theories of gravity.
△ Less
Submitted 5 March, 2024; v1 submitted 27 July, 2023;
originally announced July 2023.
-
The Luminous, Hard State Can't Be MAD
Authors:
P. Chris Fragile,
Koushik Chatterjee,
Adam Ingram,
Matthew Middleton
Abstract:
We present a straightforward argument for why the luminous, hard state of black hole X-ray binaries (BHXRBs) cannot always be associated with a magnetically arrested accretion disc (MAD). It relies on three core premises: 1) that the type-C quasi-periodic oscillation (QPO) is best explained by Lense-Thirring (LT) precession of a tilted, inner, hot flow; 2) that observed optical and infrared (IR) Q…
▽ More
We present a straightforward argument for why the luminous, hard state of black hole X-ray binaries (BHXRBs) cannot always be associated with a magnetically arrested accretion disc (MAD). It relies on three core premises: 1) that the type-C quasi-periodic oscillation (QPO) is best explained by Lense-Thirring (LT) precession of a tilted, inner, hot flow; 2) that observed optical and infrared (IR) QPOs with the same or lower frequency as the type-C QPO suggest the jet, too, must precess in these systems; and 3) that numerical simulations of MADs show that their strong magnetic fields promote alignment of the disc with the black hole and, thereby, suppress LT precession. If all three premises hold true, then, at least whenever the optical and IR QPOs are observed alongside the type-C QPO, these systems cannot be in the MAD state. Extending the argument further, if the type-C QPO is always associated with LT precession, then it would rule out MADs anytime this timing feature is seen, which covers nearly all BHXRBs when they are in the luminous, hard and hard-intermediate states.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
Game Dynamics and Equilibrium Computation in the Population Protocol Model
Authors:
Dan Alistarh,
Krishnendu Chatterjee,
Mehrdad Karrabi,
John Lazarsfeld
Abstract:
We initiate the study of game dynamics in the population protocol model: $n$ agents each maintain a current local strategy and interact in pairs uniformly at random. Upon each interaction, the agents play a two-person game and receive a payoff from an underlying utility function, and they can subsequently update their strategies according to a fixed local algorithm. In this setting, we ask how the…
▽ More
We initiate the study of game dynamics in the population protocol model: $n$ agents each maintain a current local strategy and interact in pairs uniformly at random. Upon each interaction, the agents play a two-person game and receive a payoff from an underlying utility function, and they can subsequently update their strategies according to a fixed local algorithm. In this setting, we ask how the distribution over agent strategies evolves over a sequence of interactions, and we introduce a new distributional equilibrium concept to quantify the quality of such distributions. As an initial example, we study a class of repeated prisoner's dilemma games, and we consider a family of simple local update algorithms that yield non-trivial dynamics over the distribution of agent strategies. We show that these dynamics are related to a new class of high-dimensional Ehrenfest random walks, and we derive exact characterizations of their stationary distributions, bounds on their mixing times, and prove their convergence to approximate distributional equilibria. Our results highlight trade-offs between the local state space of each agent, and the convergence rate and approximation factor of the underlying dynamics. Our approach opens the door towards the further characterization of equilibrium computation for other classes of games and dynamics in the population setting.
△ Less
Submitted 19 May, 2024; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Entropic Risk for Turn-Based Stochastic Games
Authors:
Christel Baier,
Krishnendu Chatterjee,
Tobias Meggendorfer,
Jakob Piribauer
Abstract:
Entropic risk (ERisk) is an established risk measure in finance, quantifying risk by an exponential re-weighting of rewards. We study ERisk for the first time in the context of turn-based stochastic games with the total reward objective. This gives rise to an objective function that demands the control of systems in a risk-averse manner. We show that the resulting games are determined and, in part…
▽ More
Entropic risk (ERisk) is an established risk measure in finance, quantifying risk by an exponential re-weighting of rewards. We study ERisk for the first time in the context of turn-based stochastic games with the total reward objective. This gives rise to an objective function that demands the control of systems in a risk-averse manner. We show that the resulting games are determined and, in particular, admit optimal memoryless deterministic strategies. This contrasts risk measures that previously have been considered in the special case of Markov decision processes and that require randomization and/or memory. We provide several results on the decidability and the computational complexity of the threshold problem, i.e. whether the optimal value of ERisk exceeds a given threshold. In the most general case, the problem is decidable subject to Shanuel's conjecture. If all inputs are rational, the resulting threshold problem can be solved using algebraic numbers, leading to decidability via a polynomial-time reduction to the existential theory of the reals. Further restrictions on the encoding of the input allow the solution of the threshold problem in NP$\cap$coNP. Finally, an approximation algorithm for the optimal value of ERisk is provided.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
Accretion Flow Properties of EXO 1846-031 During its Multi-Peaked Outburst After Long Quiescence
Authors:
Sujoy Kumar Nath,
Dipak Debnath,
Kaushik Chatterjee,
Riya Bhowmick,
Hsiang-Kuang Chang,
Sandip K. Chakrabarti
Abstract:
We study the recent outburst of the black hole candidate EXO 1846-031 which went into an outburst in 2019 after almost 34 years in quiescence. We use archival data from Swift/XRT, MAXI/GSC, NICER/XTI and NuSTAR/FPM satellites/instruments to study the evolution of the spectral and temporal properties of the source during the outburst. Low energy (2-10 keV) X-ray flux of the outburst shows multiple…
▽ More
We study the recent outburst of the black hole candidate EXO 1846-031 which went into an outburst in 2019 after almost 34 years in quiescence. We use archival data from Swift/XRT, MAXI/GSC, NICER/XTI and NuSTAR/FPM satellites/instruments to study the evolution of the spectral and temporal properties of the source during the outburst. Low energy (2-10 keV) X-ray flux of the outburst shows multiple peaks making it a multipeak outburst. Evolving type-C quasi-periodic oscillations (QPOs) are observed in the NICER data in the hard, hard intermediate and soft intermediate states. We use the physical Two Component Advective Flow (TCAF) model to analyze the combined spectra of multiple satellite instruments. According to the TCAF model, the accreting matter is divided into Keplerian and sub-Keplerian parts, and the variation in the observed spectra in different spectral states arises out of the variable contributions of these two types of accreting matter in the total accretion rate. Studying the evolution of the accretion rates and other properties of the accretion flow obtained from the spectral analysis, we show how the multiple peaks in the outburst flux arises out of variable supply of accreting matter from the pile-up radius. We determine the probable mass of the black hole to be $10.4^{+0.1}_{-0.2}~M_\odot$ from the spectral analysis with the TCAF model. We also estimate viscous time scale of the source in this outburst to be $\sim 8$ days from the peak difference of the Keplerian and sub-Keplerian mass accretion rates.
△ Less
Submitted 6 June, 2024; v1 submitted 10 July, 2023;
originally announced July 2023.
-
On the Internal Structure of Relativistic Jets with Zero Velocity Along the Axis
Authors:
V. S. Beskin,
F. A. Kniazev,
K. Chatterjee
Abstract:
The present work is devoted to the analysis of the internal structure of relativistic jets under the condition that the velocity of the plasma flow at the jet axis vanishes. It is shown that in spite of the seemingly fundamental difference in the formulation of the problem at the axis, the key properties of the internal structure of such relativistic jets remain the same as for nonzero velocity al…
▽ More
The present work is devoted to the analysis of the internal structure of relativistic jets under the condition that the velocity of the plasma flow at the jet axis vanishes. It is shown that in spite of the seemingly fundamental difference in the formulation of the problem at the axis, the key properties of the internal structure of such relativistic jets remain the same as for nonzero velocity along the axis. In both cases, at a sufficiently low ambient pressure, a dense core appears near the axis, the radius of which is close to the size of the light cylinder.
△ Less
Submitted 4 July, 2023;
originally announced July 2023.
-
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives
Authors:
S. Akshay,
Krishnendu Chatterjee,
Tobias Meggendorfer,
Đorđe Žikelić
Abstract:
Markov decision processes can be viewed as transformers of probability distributions. While this view is useful from a practical standpoint to reason about trajectories of distributions, basic reachability and safety problems are known to be computationally intractable (i.e., Skolem-hard) to solve in such models. Further, we show that even for simple examples of MDPs, strategies for safety objecti…
▽ More
Markov decision processes can be viewed as transformers of probability distributions. While this view is useful from a practical standpoint to reason about trajectories of distributions, basic reachability and safety problems are known to be computationally intractable (i.e., Skolem-hard) to solve in such models. Further, we show that even for simple examples of MDPs, strategies for safety objectives over distributions can require infinite memory and randomization.
In light of this, we present a novel overapproximation approach to synthesize strategies in an MDP, such that a safety objective over the distributions is met. More precisely, we develop a new framework for template-based synthesis of certificates as affine distributional and inductive invariants for safety objectives in MDPs. We provide two algorithms within this framework. One can only synthesize memoryless strategies, but has relative completeness guarantees, while the other can synthesize general strategies. The runtime complexity of both algorithms is in PSPACE. We implement these algorithms and show that they can solve several non-trivial examples.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Authors:
Yican Sun,
Hongfei Fu,
Krishnendu Chatterjee,
Amir Kafshdar Goharshady
Abstract:
Probabilistic recurrence relations (PRRs) are a standard formalism for describing the runtime of a randomized algorithm. Given a PRR and a time limit $κ$, we consider the classical concept of tail probability $\Pr[T \ge κ]$, i.e., the probability that the randomized runtime $T$ of the PRR exceeds the time limit $κ$. Our focus is the formal analysis of tail bounds that aims at finding a tight asymp…
▽ More
Probabilistic recurrence relations (PRRs) are a standard formalism for describing the runtime of a randomized algorithm. Given a PRR and a time limit $κ$, we consider the classical concept of tail probability $\Pr[T \ge κ]$, i.e., the probability that the randomized runtime $T$ of the PRR exceeds the time limit $κ$. Our focus is the formal analysis of tail bounds that aims at finding a tight asymptotic upper bound $u \geq \Pr[T\geκ]$ in the time limit $κ$. To address this problem, the classical and most well-known approach is the cookbook method by Karp (JACM 1994), while other approaches are mostly limited to deriving tail bounds of specific PRRs via involved custom analysis.
In this work, we propose a novel approach for deriving exponentially-decreasing tail bounds (a common type of tail bounds) for PRRs whose preprocessing time and random passed sizes observe discrete or (piecewise) uniform distribution and whose recursive call is either a single procedure call or a divide-and-conquer. We first establish a theoretical approach via Markov's inequality, and then instantiate the theoretical approach with a template-based algorithmic approach via a refined treatment of exponentiation. Experimental evaluation shows that our algorithmic approach is capable of deriving tail bounds that are (i) asymptotically tighter than Karp's method, (ii) match the best-known manually-derived asymptotic tail bound for QuickSelect, and (iii) is only slightly worse (with a $\log\log n$ factor) than the manually-proven optimal asymptotic tail bound for QuickSort. Moreover, our algorithmic approach handles all examples (including realistic PRRs such as QuickSort, QuickSelect, DiameterComputation, etc.) in less than 0.1 seconds, showing that our approach is efficient in practice.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Analytic evaluation of non-adiabatic couplings within the complex absorbing potential equation-of-motion coupled-cluster method
Authors:
Koushik Chatterjee,
Zsuzsanna Koczor-Benda,
Xintian Feng,
Anna I. Krylov,
Thomas-C. Jagau
Abstract:
We present the theory for the evaluation of non-adiabatic couplings (NACs) involving resonance states within the complex absorbing potential equation-of-motion coupled-cluster (CAP-EOM-CC) framework implemented within the singles and doubles approximation. Resonance states are embedded in the continuum and undergo rapid decay through autodetachment. In addition, nuclear motions can facilitate tran…
▽ More
We present the theory for the evaluation of non-adiabatic couplings (NACs) involving resonance states within the complex absorbing potential equation-of-motion coupled-cluster (CAP-EOM-CC) framework implemented within the singles and doubles approximation. Resonance states are embedded in the continuum and undergo rapid decay through autodetachment. In addition, nuclear motions can facilitate transitions between different resonances and between resonances and bound states. These non-adiabatic transitions affect the chemical fate of resonances and have distinct spectroscopic signatures. The NAC vector is a central quantity needed to model such effects.
In the CAP-EOM-CC framework, resonance states are treated on the same footing as bound states. Using the example of fumaronitrile, which supports a bound radical anion and several anionic resonances, we analyze the non-adiabatic coupling between bound states and pseudocontinuum states, between bound states and resonances and between two resonances. We find that the NAC between a bound state and a resonance is nearly independent of the CAP strength and thus straightforward to evaluate whereas the NAC between two resonance states or between a bound state and a pseudocontinuum state is more difficult to evaluate.
△ Less
Submitted 28 August, 2023; v1 submitted 19 May, 2023;
originally announced May 2023.
-
Steady-state Quantum Thermodynamics with Synthetic Negative Temperatures
Authors:
Mohit Lal Bera,
Tanmoy Pandit,
Kaustav Chatterjee,
Varinder Singh,
Maciej Lewenstein,
Utso Bhattacharya,
Manabendra Nath Bera
Abstract:
A bath with a negative temperature is a subject of intense debate in recent times. It raises fundamental questions not only on our understanding of negative temperature of a bath in connection with thermodynamics but also on the possibilities of constructing devices using such baths. In this work, we study steady-state quantum thermodynamics involving baths with negative temperatures. A bath with…
▽ More
A bath with a negative temperature is a subject of intense debate in recent times. It raises fundamental questions not only on our understanding of negative temperature of a bath in connection with thermodynamics but also on the possibilities of constructing devices using such baths. In this work, we study steady-state quantum thermodynamics involving baths with negative temperatures. A bath with a negative temperature is created synthetically using two baths of positive temperatures and weakly coupling these with a qutrit system. These baths are then coupled to each other via a working system. At steady-state, the laws of thermodynamics are analyzed. We find that whenever the temperatures of these synthetic baths are identical, there is no heat flow, which reaffirms the zeroth law. There is always a spontaneous heat flow for different temperatures. In particular, heat flows from a bath with a negative temperature to a bath with a positive temperature which, in turn, implies that a bath with a negative temperature is `hotter' than a bath with a positive temperature. This warrants an amendment in the Kelvin-Planck statement of the second law, as suggested in earlier studies. In all these processes, the overall entropy production is positive, as required by the Clausius statement of the second law. We construct continuous heat engines operating between positive and negative temperature baths. These engines yield maximum possible heat-to-work conversion efficiency, that is, unity. We also study the thermodynamic nature of heat from a bath with a negative temperature and find that it is thermodynamic work but with negative entropy.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
The EB-correlation in Resolved Polarized Images: Connections to Astrophysics of Black Holes
Authors:
Razieh Emami,
Sheperd S. Doeleman,
Maciek Wielgus,
Dominic Chang,
Koushik Chatterjee,
Randall Smith,
Matthew Liska,
James F. Steiner,
Angelo Ricarte,
Ramesh Narayan,
Grant Tremblay,
Douglas Finkbeiner,
Lars Hernquist,
Chi-Kwan Chan,
Lindy Blackburn,
Ben S. Prather,
Paul Tiede,
Avery E. Broderick,
Mark Vogelsberger,
Charles Alcock,
Freek Roelofs
Abstract:
We present an in-depth analysis of a newly proposed correlation function in visibility space, between the E and B modes of the linear polarization, hereafter the EB-correlation, for a set of time-averaged GRMHD simulations compared with the phase map from different semi-analytic models as well as the Event Horizon Telescope (EHT) 2017 data for M87* source. We demonstrate that the phase map of the…
▽ More
We present an in-depth analysis of a newly proposed correlation function in visibility space, between the E and B modes of the linear polarization, hereafter the EB-correlation, for a set of time-averaged GRMHD simulations compared with the phase map from different semi-analytic models as well as the Event Horizon Telescope (EHT) 2017 data for M87* source. We demonstrate that the phase map of the time-averaged EB-correlation contains novel information that might be linked to the BH spin, accretion state and the electron temperature. A detailed comparison with a semi-analytic approach with different azimuthal expansion modes shows that to recover the morphology of the real/imaginary part of the correlation function and its phase, we require higher orders of these azimuthal modes. To extract the phase features, we propose to use the Zernike polynomial reconstruction develo** an empirical metric to break degeneracies between models with different BH spins that are qualitatively similar. We use a set of different geometrical ring models with various magnetic and velocity field morphologies and show that both the image space and visibility based EB-correlation morphologies in MAD simulations can be explained with simple fluid and magnetic field geometries as used in ring models. SANEs by contrast are harder to model, demonstrating that the simple fluid and magnetic field geometries of ring models are not sufficient to describe them owing to higher Faraday Rotation depths. A qualitative comparison with the EHT data demonstrates that some of the features in the phase of EB-correlation might be well explained by the current models for BH spins as well as electron temperatures, while others may require a larger theoretical surveys.
△ Less
Submitted 3 May, 2023; v1 submitted 30 April, 2023;
originally announced May 2023.