arXiv subjects

Marco Rodriguez

Publications and source records attributed to Marco Rodriguez.

3 recordsLinked to original sources

arXiv2022

Reachability in Restricted Chemical Reaction Networks

The popularity of molecular computation has given rise to several models of abstraction, one of the more recent ones being Chemical Reaction Networks (CRNs). These are equivalent to other popular computational models, such as Vector Addition Systems and Petri-Nets, and restricted versions are equivalent to Population Protocols. This paper continues the work on core \emph{reachability} questions related to Chemical Reaction Networks; given two configurations, can one reach the other according to the system's rules? With no restrictions, reachability was recently shown to be Ackermann-complete, which resolved a decades-old problem. In this work, we fully characterize monotone reachability problems based on various restrictions such as the allowed rule size, the number of rules that may create a species ($k$-source), the number of rules that may consume a species ($k$-consuming), the volume, and whether the rules have an acyclic production order (\emph{feed-forward}). We show PSPACE-completeness of reachability with only bimolecular reactions in two-source and two-consuming rules. This proves hardness of reachability in a restricted form of Population Protocols. This is accomplished using new techniques within the motion planning framework. We give several important results for feed-forward CRNs, where rules are single-source or single-consuming. We show that reachability is solvable in polynomial time as long as the system does not contain special \emph{void} or \emph{autogenesis} rules. We then fully characterize all systems of this type and show that with void/autogenesis rules, or more than one source and one consuming, the problems become NP-complete. Finally, we show several interesting special cases of CRNs based on these restrictions or slight relaxations and note future significant open questions related to this taxonomy.

cs.DC↗

arXiv2012

No Correlation Between Disc Scale-Height and Jet Power in GRMHD Simulations

It is now well established that changes in the X-ray spectral state of black hole low-mass X-ray binaries are correlated with changes in the radio properties of those systems. Assuming radio power is a proxy for jet power, we can say that the jet is continuously present in the hard state and undetectable (and therefore weaker) in the soft state. Since the different accretion states are also generally assumed to be associated with different disc geometries -- the hard state with a hot, thick flow, and the soft state with a cold, thin disc -- we investigate the possibility that these two phenomena are linked; i.e., that the difference in disc geometry is the cause of the difference in observed jet power. We do this by comparing various measures of jet power in numerical simulations of accretion discs of differing temperatures and thicknesses. We perform these simulations using the general relativistic magnetohydrodynamic code Cosmos++ and a newly added cooling function, which allows us to regulate the disc scale height H/r at different radii. We find no apparent correlation between the disc scale height and jet power whenever we normalize the latter by the mass accretion history of each simulation. We attribute this result to the role that the "corona" plays in confining and accelerating the jet (our corona may also be considered a failed MHD "wind"). The properties of the corona do not vary significantly from one simulation to another, even though the scale heights of the discs vary by up to a factor of four. If this holds true in nature, then it suggests that the correlation between spectral state and jet power must be attributable to some other property, possibly the topology of the magnetic field. Alternatively, it could be that the corona disappears altogether in the soft state, which would be consistent with observations, but has so far not been seen in simulations.

astro-ph.HE↗

arXiv2012

Numerical Simulations of Optically Thick Accretion onto a Black Hole - I. Spherical Case

Modeling the radiation generated by accreting matter is an important step towards realistic simulations of black hole accretion disks, especially at high accretion rates. To this end, we have recently added radiation transport to the existing general relativistic magnetohydrodynamic code, Cosmos++. However, before attempting to model radiative accretion disks, we have tested the new code using a series of shock tube and Bondi (spherical inflow) problems. The four radiative shock tube tests, first presented by Farris et al. (2008), have known analytic solutions, allowing us to calculate errors and convergence rates for our code. The Bondi problem only has an analytic solution when radiative processes are ignored, but is pertinent because it is closer to the physics we ultimately want to study. In our simulations, we include Thomson scattering and thermal bremsstrahlung in the opacity, focusing exclusively on the super-Eddington regime. Unlike accretion onto bodies with solid surfaces, super-Eddington accretion onto black holes does not produce super-Eddington luminosity. In our examples, despite accreting at up to 300 times the Eddington rate, our measured luminosity is always several orders of magnitude below Eddington.

astro-ph.IM↗