- The paper constructs static, spherically symmetric traversable wormholes by using the Thomas–Fermi Bose–Einstein condensate dark-matter density as input and deriving the shape function from Einstein’s equations.
- The analysis shows that flare-out and throat energy-condition requirements constrain the central density, while boundary conditions sharply limit viable redshift profiles, including R ≲ 1.5r₀ for the simplest cored ansatz and R > 3.06r₀ for a logarithmic construction.
- The paper demonstrates that finite-support dark matter can produce horizon-free geometries with smooth pressure matching, but stability, microscopic justification for NEC violation, rotation, and observational signatures remain unresolved.
Overview and motivation
The paper constructs static, spherically symmetric traversable wormholes in general relativity whose matter source is a physically motivated dark matter profile, specifically the Thomas–Fermi (TF) density distribution arising in Bose–Einstein condensate dark matter (BEC-DM) models (2603.12527). The central methodological move is to treat the energy density ρ(r) as the primary input and to reconstruct the geometry — the shape function b(r) and redshift function Φ(r) — from the Einstein field equations rather than from ad hoc metric ansätze. The authors also reformulate the field equations entirely in terms of the matter variables ρ, pr, pt and their derivatives, providing a framework that is independent of any particular parametrization of the metric functions.
The motivation rests on the standard Morris–Thorne requirements: a throat at r0 with b(r0)=r0, the flare-out condition (b−b′r)/b2>0 together with b′(r0)<1, finiteness of b(r)0 everywhere (no horizons), and regular behavior of the stress-energy tensor. The TF profile,
b(r)1
is regular at the origin, has finite support at b(r)2 (the halo edge), and vanishes smoothly there — properties the authors exploit to impose boundary conditions b(r)3 without invoking thin shells.
Shape function and throat constraints
Inserting the TF density into the b(r)4 Einstein equation yields an explicit shape function,
b(r)5
with b(r)6. For b(r)7, the boundary value scales as b(r)8, dominated by the b(r)9 term as expected for a finite-size halo.
The flare-out condition imposes a direct upper bound on the central density:
Φ(r)0
Independently, the null energy condition violation required at the throat, Φ(r)1, gives the bound Φ(r)2 with Φ(r)3. These two inequalities jointly constrain the parameter space; their compatibility becomes a nontrivial filter on each subsequent ansatz for Φ(r)4, and several candidate geometries are eliminated precisely because they violate it.
Zero-tidal-force construction with an inhomogeneous equation of state
With Φ(r)5 in the interior, the radial equation of state Φ(r)6 reproduces the flare-out condition at the throat but diverges as Φ(r)7 where Φ(r)8. To cure this, the authors introduce a transition layer Φ(r)9 and a piecewise ρ0 that is driven linearly to zero at ρ1, guaranteeing ρ2. Integrating the ρ3 equation then gives a redshift function that is constant (ρ4) throughout the interior and grows linearly only within the transition layer, so ρ5 remains finite everywhere and no horizon forms. The tangential pressure obtained from the angular equation vanishes identically at ρ6 since ρ7. This construction demonstrates that zero-tidal-force traversable wormholes can be sourced consistently by a finite-support BEC-DM halo, provided the equation of state is allowed to be radially inhomogeneous.
Cored-inspired redshift function proposals
The paper then explores four families of redshift profiles motivated by the cored structure of the TF density:
- Proposal I: ρ8, mimicking the density itself. Fixing ρ9 determines pr0 analytically; imposing additionally pr1 forces the boundary radius to satisfy pr2, which requires pr3. Compatibility with the NEC bound restricts pr4 to the interval pr5, and more stringently pr6. The consequence is severe: the halo edge must lie very close to the throat, so this proposal admits only extremely compact configurations and motivates the alternatives below.
- Proposal II: pr7, i.e., Proposal I plus a constant phase. The two boundary conditions pr8 fix both coefficients algebraically. A convenient gauge choice pr9 simplifies the coefficients to closed forms and requires pt0, enlarging the viable geometry relative to Proposal I at the cost of considerably more involved expressions.
- Proposal III: the cored structure is imposed on the derivative, pt1, so that pt2 involves the sine and cosine integrals pt3 and pt4. The coefficients pt5 are fixed by the same boundary conditions and share the validity domain of Proposal II.
- Proposal IV: pt6, anchoring the redshift gradient at the throat scale. The two free constants are again uniquely determined by pt7 and pt8, offering finer control of the intermediate region between throat and boundary while preserving the cored character.
Across all four proposals, the pattern is consistent: the boundary conditions close the system algebraically, leaving no residual freedom except in special gauges such as the fixed-pt9 choice of Proposal II.
A distinct strategy treats the transverse-pressure equation as a differential equation for r00 by isolating its substructures. Three cases are analyzed:
Logarithmic sector r01, giving r02. The condition r03 fixes r04, and r05 then determines the density parameter uniquely as r06. Positivity requires r07, and compatibility with the NEC upper bound strengthens this to r08. This is the cleanest result of the section: a self-consistent, extended wormhole geometry with the matter content fully fixed by geometry and boundary conditions.
First-order sector r09, giving b(r0)=r00. Here b(r0)=r01 vanishes automatically at the throat, and b(r0)=r02 fixes b(r0)=r03 consistently. However, the radial pressure evaluates to b(r0)=r04, strictly negative and never zero. This configuration is therefore discarded — a concrete illustration that an apparently natural redshift ansatz fails once all physical boundary conditions are enforced.
Radial-logarithmic sector b(r0)=r05, giving b(r0)=r06. Requiring b(r0)=r07 forces b(r0)=r08 (a constant redshift), but substituting back yields b(r0)=r09, which is unphysical. This case is likewise discarded.
The authors note explicitly that the logarithmic profiles are unbounded functions of (b−b′r)/b2>00; the finite halo radius (b−b′r)/b2>01 acts as the necessary infrared cutoff that keeps them under control.
Limitations and open questions
Several caveats qualify the results. First, the entire construction is classical: the exoticity problem is not resolved but relocated — the NEC is still violated at the throat, now attributed to the effective dark matter sector, and the paper does not demonstrate that BEC-DM microphysics actually produces the required negative (b−b′r)/b2>02. Second, the transition-layer construction of the zero-tidal-force model introduces the arbitrary thickness (b−b′r)/b2>03 and a piecewise equation of state whose dynamical justification within a BEC model is not established. Third, stability is not analyzed anywhere in the paper; all solutions are static equilibria, and perturbative or thermodynamic stability remains open. Fourth, the analysis assumes exact spherical symmetry and a sharp halo edge at (b−b′r)/b2>04; rotating generalizations, which the authors themselves flag, may modify the throat structure qualitatively. Finally, the compatibility windows derived for Proposals I–IV depend on the small-ratio expansions in (b−b′r)/b2>05, so the stated bounds on (b−b′r)/b2>06 inherit those approximation errors.
Conclusion
The paper provides a systematic, matter-first methodology for building traversable wormholes from the Thomas–Fermi BEC dark matter profile, with explicit shape functions, algebraically fixed redshift-function coefficients, and smooth matching to vacuum at the finite halo radius. Its most useful contributions are the quantitative viability windows — notably the restriction (b−b′r)/b2>07 for the simplest cored ansatz versus (b−b′r)/b2>08 for the logarithmic construction extracted from the third field equation — and the demonstration, via two discarded ansätze, that the full set of boundary conditions is a stringent filter on candidate geometries. Whether such geometries are dynamically attainable and observationally distinguishable from black holes in galactic environments remains unresolved by this work.