Complexity factor formalism is a geometric framework that uses the trace-free scalar YTF to capture the balance between density inhomogeneity and pressure anisotropy in self-gravitating systems.
Imposing YTF = 0 creates an exact relation between the density gradient and anisotropy, closing the stellar equilibrium problem without relying on arbitrary anisotropy assumptions.
Extensions of the formalism address charged configurations, modified gravity, black holes, and wormholes, providing insights into stability, oscillations, and the tidal response of compact objects.
The complexity factor formalism is a geometric framework for characterizing self-gravitating matter configurations through scalars obtained from the orthogonal splitting of the Riemann tensor. In the static, spherically symmetric anisotropic case of general relativity, the formalism identifies the scalar YTF as the complexity factor, with
so that complexity is tied to the combined effect of density inhomogeneity and local pressure anisotropy. The condition YTF=0 does not require homogeneity or isotropy separately; rather, it imposes an exact balance between them and thereby supplies an additional structural relation that can close the stellar equilibrium problem without an ad hoc anisotropy ansatz (Rincon et al., 2023).
1. Geometric origin of the formalism
The formalism begins with a static, spherically symmetric line element
ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,
together with an anisotropic fluid characterized by energy density ρ(r), radial pressure Pr(r), tangential pressure P⊥(r), and anisotropy Π(r)=P⊥−Pr. The orthogonal splitting of the Riemann tensor introduces the tensors
Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,
and, in static spherical symmetry, the magnetic part Zαβ vanishes. Their scalar decomposition yields the structure scalars
In this representation, YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),2 and YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),3 encode trace information, whereas YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),4 and YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),5 encode trace-free structural content. The complexity factor is identified with YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),6, and its vanishing defines the class of vanishing-complexity configurations (Rincón et al., 2023).
The same decomposition may be written in terms of the electric Weyl tensor YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),7 and the anisotropic tensor YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),8: YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),9
YTF=00
with YTF=01. This makes explicit that the formalism is not an external diagnostic appended to the field equations, but a reorganization of curvature and matter information into invariant structural scalars (Rincón et al., 2024).
2. Vanishing complexity as a closure condition
Imposing
YTF=02
produces the integro-differential relation
YTF=03
Thus, zero complexity ties the anisotropy directly to the density gradient. In stellar applications this is the decisive step: once an equation of state is specified, the anisotropy is no longer a free function. The generalized Tolman–Oppenheimer–Volkoff system
YTF=04
YTF=05
becomes, after substituting the vanishing-complexity relation,
The closure relation has been combined with distinct equations of state. For exotic or dark-energy stars, one adopts the Extended Chaplygin Gas equation of state
ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,0
while for strange quark stars an interacting equation of state inspired by perturbative QCD up to ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,1 is used. In both cases the formalism replaces a prescribed anisotropy law by a density-gradient-driven relation, and numerical integration proceeds by choosing a central density and integrating outward until ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,2 defines the radius (Rincon et al., 2023).
3. Stellar structure, stability, and oscillations
In compact-star applications, the formalism has been used to compare isotropic models with anisotropic vanishing-complexity models for the same global parameters. A standard fourth-order Runge–Kutta “shooting” is used: choose central ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,3 to achieve the desired ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,4, integrate outward, and enforce ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,5 to fix ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,6. For dark-energy stars with ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,7 and ds2=eν(r)dt2−eλ(r)dr2−r2dΩ2,8, the anisotropic case is defined entirely by
The resulting interior profiles exhibit systematic differences. The metric potentials remain regular, with ρ(r)0 and ρ(r)1. The radial pressure decreases monotonically from the center to the surface, while vanishing-complexity stars show a modestly higher ρ(r)2 at interior points than isotropic ones. The sound speed ρ(r)3 remains in ρ(r)4, so causality holds, and the relativistic adiabatic index
ρ(r)5
is ρ(r)6 everywhere, ensuring stability against small radial perturbations; the anisotropic ρ(r)7 is slightly lower than in the isotropic case (Panotopoulos et al., 2024).
Radial pulsations are treated through the Chandrasekhar–Bardeen formalism with extra ρ(r)8-terms,
ρ(r)9
Pr(r)0
with Pr(r)1, Pr(r)2, finite Pr(r)3, and regularity at the surface. Numerically one shoots in Pr(r)4 so that Pr(r)5 remains finite. All Pr(r)6, and hence Pr(r)7, are slightly lower in vanishing-complexity anisotropic models than in isotropic ones, and the large frequency separation Pr(r)8 tends, for large Pr(r)9, to a constant whose anisotropic value is P⊥(r)0 lower (Panotopoulos et al., 2024).
P⊥(r)1
anisotropic P⊥(r)2 (kHz)
isotropic P⊥(r)3 (kHz)
0
6.19
6.73
1
14.50
15.23
10
83.17
86.66
The same framework has also been used to compute quadrupolar gravitoelectric tidal Love numbers. Under P⊥(r)4 and the Extended Chaplygin gas equation of state, the gravitoelectric Love number P⊥(r)5 is obtained by solving the Riccati equation for P⊥(r)6 with P⊥(r)7 and matching at the surface. Compared with conventional prescriptions such as P⊥(r)8, the vanishing-complexity formalism yields more compact configurations and tidal Love numbers that are typically larger for a given compactness P⊥(r)9 (Rincón et al., 2024).
Quark-star and exotic-matter studies use the same logic together with standard acceptability criteria: positivity, monotonicity, causality, energy conditions, and Π(r)=P⊥−Pr0. These works report that imposing Π(r)=P⊥−Pr1 tends to produce physically acceptable configurations and, compared with hand-chosen anisotropy laws, does so with fewer phenomenological parameters (Rincon et al., 2023).
4. Prescribed nonzero complexity and gravitational decoupling
The formalism is not restricted to the condition Π(r)=P⊥−Pr2. In gravitational decoupling, the complexity factor can be prescribed as a supplementary condition that closes the system generated by the minimal geometric deformation
Π(r)=P⊥−Pr3
where the total energy–momentum tensor is
Π(r)=P⊥−Pr4
A generalization of the Tolman IV complexity is introduced through
Π(r)=P⊥−Pr5
with Π(r)=P⊥−Pr6 dimensionless and Π(r)=P⊥−Pr7 of dimension Π(r)=P⊥−Pr8. This leads to a first-order differential equation for the deformation Π(r)=P⊥−Pr9,
Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,0
after which one reconstructs the total density and pressures (Andrade et al., 2021).
This program has been implemented using Tolman IV, Wyman IIa, Durgapal IV, and Heintzmann IIa seed solutions. For these like-seed models, regularity, causality, dominant energy condition, surface redshift, and matching to Schwarzschild are imposed. Additional compactness restrictions appear model by model:
Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,1 for Model 1,
Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,2 and Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,3 for Model 2,
Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,4 for Model 3,
and Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,5 for Model 4 (Andrade et al., 2021).
The same work compares the resulting density ratios with observational inputs for SMC X-1 and Cen X-3. Using the reported compactness parameters, the models yield density ratios Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,6 that indicate SMC X-1 is best described by Models 3 and 4, whereas Cen X-3 is well fitted by Models 2, 3 and 4. In this formulation, the complexity factor is not merely a diagnostic of a finished solution; it is an explicit generating function for new anisotropic interiors (Andrade et al., 2021).
5. Extensions to charge, modified gravity, black holes, and wormholes
The formalism has been extended far beyond uncharged spherical fluids in general relativity. In charged spherical systems, the Einstein–Maxwell equations and the orthogonal splitting of the Riemann tensor yield
Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,7
Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,8
with
Yαβ=Rαγβδuγuδ,Xαβ=∗Rαγβδ∗uγuδ,9
The charged vanishing-complexity condition becomes
Zαβ0
and the presence of the electromagnetic field decreases the complexity of the system (Sharif et al., 2018).
In modified-gravity cylinders, the formalism changes in a theory-dependent way. In energy-momentum squared gravity, the complexity factor is Zαβ1, whose explicit form contains density inhomogeneity, anisotropy, Zαβ2-corrections, and nonlinear Zαβ3-terms. For the model Zαβ4, the vanishing-complexity condition reduces to
Zαβ5
and the inclusion of additional terms of this modified theory leads to a more complicated system (Sharif et al., 2022).
In Zαβ6 gravity with Zαβ7, the cylindrical analysis identifies Zαβ8, rather than Zαβ9, as the complexity factor. Its expression contains the Weyl scalar, effective anisotropy, and terms involving YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),00, YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),01, and their derivatives. This shifts the criterion of “zero complexity” away from the general-relativistic spherical prescription and ties it to the nonminimal curvature–matter couplings of the theory (Yousaf et al., 2020). In PalatiniYTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),02 gravity, by contrast, the spherical static case retains YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),03, but curvature contributions enter both the generalized TOV equation and the integral relation defining the vanishing-complexity balance (Yousaf, 2020).
The formalism has also been recast for black holes. In a static, spherically symmetric AdS black hole with
A simple analysis shows that any continuous auxiliary function YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),12 entering the zero-complexity solution must generate a singularity in YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),13. Hence no regular traversable wormhole can satisfy YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),14, and traversable wormholes are intrinsically non-zero complexity objects (Bhattacharya et al., 2023).
Several recurring points delimit the scope of the formalism. First, zero complexity is not equivalent to a homogeneous and isotropic fluid. The defining relation
shows that an inhomogeneous and anisotropic configuration may still satisfy YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),26 through exact cancellation (Rincón et al., 2023).
Second, the complexity factor is not universal across all geometries and theories. In spherical general relativity and many of its extensions it is YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),27, whereas in static cylindrical YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),28 gravity the identified scalar is YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),29. In energy-momentum squared gravity, even the conditions YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),30 and YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),31 do not guarantee YTF(r)=8πΠ(r)−r34π∫0rr~3ρ′(r~)dr~,Π(r)≡P⊥(r)−Pr(r),32 unless further geometric fine-tuning is enforced (Yousaf et al., 2020). This suggests that the formalism is best viewed as a structural diagnostic tied to a given curvature decomposition and gravitational theory, not as a single theory-independent observable.
Third, vanishing complexity removes the arbitrariness of many anisotropy prescriptions, but it does not by itself solve the stellar model. An equation of state, central data, and matching conditions remain necessary. In the compact-star literature this is precisely the practical advantage of the method: once the equation of state is fixed, the anisotropy is fully determined by the density gradient, avoiding arbitrary ansätze (Panotopoulos et al., 2024).
Finally, the formalism does not assign the same physical meaning to all spacetimes. In compact stars it organizes hydrostatic equilibrium, stability, radial oscillations, and tidal response. In black holes it acquires a horizon-based Newman–Penrose and thermodynamic interpretation. In wormholes it becomes a classification tool whose zero-complexity branch is obstructed by traversability conditions (Bargueño et al., 2022). A plausible implication is that the complexity factor formalism is less a single model than a family of geometrically related constructions centered on structure scalars and on the balance between inhomogeneity, anisotropy, and, where present, extra curvature or electromagnetic sectors.