Measuring the black hole spin direction in 3D Cartesian numerical relativity simulations

We show that the so-called flat-space rotational Killing vector method for measuring the Cartesian components of a black hole spin can be derived from the surface integral of Weinberg's pseudotensor over the apparent horizon surface when using Gaussian normal coordinates in the integration. Moreover, the integration of the pseudotensor in this gauge yields the Komar angular momentum integral in a foliation adapted to the axisymmetry of the spacetime. As a result, the method does not explicitly depend on the evolved lapse $\alpha$ and shift $\beta^i$ on the respective timeslice, as they are fixed to Gaussian normal coordinates, while leaving the coordinate labels of the spatial metric $\gamma_{ij}$ and the extrinsic curvature $K_{ij}$ unchanged. Such gauge fixing endows the method with coordinate invariance, which is not present in integral expressions using Weinberg's pseudotensor, as they normally rely on the explicit use of Cartesian coordinates

Mining structured Petri nets for the visualization of process behavior

Visualization is essential for understanding the models obtained by process mining. Clear and efficient visual representations make the embedded information more accessible and analyzable. This work presents a novel approach for generating process models with structural properties that induce visually friendly layouts. Rather than generating a single model that captures all behaviors, a set of Petri net models is delivered, each one covering a subset of traces of the log. The models are mined by extracting slices of labelled transition systems with specific properties from the complete state space produced by the process logs. In most cases, few Petri nets are sufficient to cover a significant part of the behavior produced by the log.Peer ReviewedPostprint (author's final draft

Trumpet Slices in Kerr Spacetimes

We introduce a new time-independent family of analytical coordinate systems for the Kerr spacetime representing rotating black holes. We also propose a (2+1)+1 formalism for the characterization of trumpet geometries. Applying this formalism to our new family of coordinate systems we identify, for the first time, analytical and stationary trumpet slices for general rotating black holes, even for charged black holes in the presence of a cosmological constant. We present results for metric functions in this slicing and analyze the geometry of the rotating trumpet surface.Comment: 5 pages, 2 figures; version published in PR

On dynamical bit sequences

Let X^{(k)}(t) = (X_1(t), ..., X_k(t)) denote a k-vector of i.i.d. random variables, each taking the values 1 or 0 with respective probabilities p and 1-p. As a process indexed by non-negative t, $X^{(k)}(t)$ is constructed--following Benjamini, Haggstrom, Peres, and Steif (2003)--so that it is strong Markov with invariant measure ((1-p)\delta_0+p\delta_1)^k. We derive sharp estimates for the probability that ``X_1(t)+...+X_k(t)=k-\ell for some t in F,'' where F \subset [0,1] is nonrandom and compact. We do this in two very different settings: (i) Where \ell is a constant; and (ii) Where \ell=k/2, k is even, and p=q=1/2. We prove that the probability is described by the Kolmogorov capacitance of F for case (i) and Howroyd's 1/2-dimensional box-dimension profiles for case (ii). We also present sample-path consequences, and a connection to capacities that answers a question of Benjamini et. al. (2003)Comment: 25 pages. This a substantial revision of an earlier paper. The material has been reorganized, and Theorem 1.3 is ne

Orientifold daughter of N=4 SYM and double-trace running

We study the orientifold daughter of N=4 super Yang-Mills as a candidate non-supersymmetric large N conformal field theory. In a theory with vanishing single-trace beta functions that contains scalars in the adjoint representation, conformal invariance might still be broken by renormalization of double-trace terms to leading order at large N. In this note we perform a diagrammatic analysis and argue that the orientifold daughter does not suffer from double-trace running. This implies an exact large N equivalence between this theory and a subsector of N=4 SYM.Comment: 12 page