paper Review Profile
Log-Periodic Signatures from Discrete Scale Invariance in the Stochastic Gravitational-Wave Background: Phenomenological Template and the Walking-Technicolor Inverse Problem
The paper develops a phenomenological template and factorization theorem showing that a small log-periodic modulation from discrete scale invariance (DSI) in the source unequal-time correlator propagates to the observable stochastic gravitational-wave background (SGWB), and it derives matched-filter detectability scaling for such oscillatory signatures. Applying the template to walking technicolor as a UV completion, the author finds a microphysical modulation window ε_f∈[0.04,0.18], b∈[1.7,2.8] but shows the observable signal is geometrically suppressed (|c_geom|≲0.02), rendering the…
Full breakdown: https://theoryofeverything.ai/papers/log-periodic-signatures-from-discrete-scale-invariance-in-the-stochastic-gravitational-wave-background-phenomenological-template-and-the-walking-technicolor-inverse-problem
This paper presents a rigorous phenomenological framework for detecting discrete scale invariance (DSI) signatures in the stochastic gravitational-wave background, with a specific application to walking technicolor. The work's greatest strength lies in its factorization theorem, which demonstrates that DSI modulations in source unequal-time correlators propagate multiplicatively to the observable spectrum. This core result is mathematically sound, includes explicit error bounds, and is validated numerically to double precision. The phenomenological template provides a concrete, falsifiable prediction: a sinusoidal modulation in ln f with specific period and amplitude scaling. However, the work is weakened by internal inconsistencies in the SNR scaling definitions and several unverified derivations in the walking technicolor application. Most notably, equation (39)'s saddle-point formula for c_geom is central to the 'inverse problem' conclusion but lacks analytical derivation. Additionally, the geometric suppression factor analysis that leads to the negative WTC detectability result relies on numerical calculations whose methodology is not fully specified. Despite these limitations, the paper succeeds in its stated goals: developing a transferable observational template and demonstrating that standard WTC realizations produce undetectable signals due to geometric suppression.
A central inconsistency appears in Sec. 4.2: the paper uses ‘SNR_baseline’ to denote different quantities (per-log-period vs total-band). Eq. (23) introduces SNR_bin as the baseline per log-period (eq. 24 integrates over an interval of width ln b), then the text sets SNR_baseline ≡ SNR_bin and separately defines SNR_total = √N_periods SNR_bin, while the abstract’s scaling uses SNR_baseline √N_periods. These are not equivalent unless one fixes which baseline SNR is meant; as written the formula can differ by a factor √N_periods. Because detectability forecasts (Figs. 3–4, numerical statements like ‘SNR_bin≈20–25’) depend directly on these definitions, this is a central definition drift. Outside that, most definitions are used consistently: the DSI modulation C(k) in Eq. (6) propagates to P_h via separability, and the resulting Ω_GW template Eq. (16) follows from Eq. (5) algebraically given factorization. However, there is also some conceptual tension between calling the factorization ‘percent-level’ universal (Sec. 3.2/Conclusions) and explicitly disclaiming control for generic non-separable UETCs; this is more a scope/wording issue than a strict contradiction, but it adds ambiguity about what exactly is proven.
Core algebraic steps are mathematically sound within the stated separability assumption: if Π(k,η1,η2)=C(k)×(rest independent of C), then C(k) factors out of Eq. (4) exactly; Eq. (10)–(11) reflect that. The manipulation G_k^2=sin^2[k(η−η1)]/k^2 and splitting into k-independent and oscillatory integrals (Eq. (12)) is correct. Dimensional structure is broadly plausible (e.g., Ω_GW ∝ k^3 P_h/(a^2 H^2) for sub-horizon modes), though some normalization conventions are taken as standard results rather than derived. However, several load-bearing quantitative results are insufficiently derived. Most importantly, Eq. (39) (the saddle-point formula for c_geom) is central to the paper’s ‘inverse-problem’ narrowing criterion and is stated without derivation or precise integral definition; this forces a score cap ≤3 (unverified central derivation detected). In addition, the convolution factorization and boundary-suppression estimate leading to Eq. (37)–(38) are largely scaling arguments; without a rigorous bound, the quantitative claim |c_geom|≲0.02 rests heavily on numerics for selected ansätze rather than an analytically controlled theorem. Finally, the matched-filter scaling Eq. (23)–(26) is standard in spirit but is not carefully justified under realistic frequency-dependent noise weighting and has internal definitional ambiguity (noted under internal consistency).
The phenomenological template (Eq. 16) makes a specific, quantitative, falsifiable prediction: a sinusoidal residual in ln f with characterizable period ln b, amplitude ε, phase φ₀ — testable via matched-filter analysis in the LISA band with N_periods ~6-13 oscillations. The detectability scaling SNR_osc ≃ (ε/√2)SNR_baseline √N_periods is concrete. A non-detection would constrain (ε, b) space; a detection would uniquely fix the discrete scaling ratio. Distinguishability from other spectral features (kinks, peaks, astrophysical smoothness) is explicitly addressed. The WTC-specific prediction is honestly identified as undetectable, but this is reported as a negative result and a sharp inverse problem (σ/q_* ≲ 0.2 narrowness target) rather than dressed up as a positive prediction — which is methodologically exemplary. Does not reach 5 because the central WTC instantiation is not testable, and the template's testability depends on LISA achieving baseline SNR ~20 on some smooth SGWB. [AUTO-CAP: red_flag predictions_beyond_measurement detected=true, score capped from 4 to 2]
The paper is generally organized well: the phenomenological backbone is separated from the UV completion, sections are logically ordered, and the author often signals epistemic status explicitly. The paper does a commendable job of distinguishing exact statements for separable UETCs from approximate statements for broader cases, and it repeatedly tells the reader what is derived versus conjectural. That improves scientific communication substantially. However, there are enough notation and presentation issues to prevent a higher score. The modulation amplitude symbols are reused across levels of description in a way that requires care, especially ε versus ε_f and the later insertion of c_geom. Some prose is dense and qualification-heavy, making core claims harder to track. There are places where the argument depends on multiple caveats introduced midstream, especially in the factorization discussion, and the text occasionally toggles between exact, approximate, and heuristic justifications without always foregrounding which status is currently operative. There are also formatting artifacts and typographical issues in the submission text that interfere with readability. Because term/symbol usage shifts are present, clarity cannot exceed 3 under the stated rubric.
The paper offers a genuinely novel synthesis: it connects discrete scale invariance in a source UETC to a log-periodic modulation in the observable SGWB spectrum, proposes a transferable phenomenological template, and combines this with detectability scaling and a concrete inverse problem for a UV-motivated source class. Even if individual ingredients exist separately—DSI, SGWB phase-transition spectra, matched filtering, walking technicolor—the specific bridge from DSI-modulated source correlators to a log-periodic SGWB search template appears to be the central new contribution. The identification of geometric suppression through convolution as the reason a plausible microphysical modulation fails to survive observationally is also a nontrivial insight. It falls slightly short of a 5 because part of the framework is a reinterpretive synthesis rather than an entirely new mechanism with fully established microphysical grounding. The WTC realization is explicitly conjectural in places, and the paper is strongest as a phenomenological framework plus negative result for a candidate realization, rather than as a wholly new foundational structure. Still, the contribution is clearly more than a repackaging of known ideas.
The paper is substantially complete on its own stated aims. The phenomenological backbone is well organized: notation is set up, the DSI ansatz is stated, the factorization theorem is derived under stated assumptions, the observable template is written explicitly, and detectability scaling is carried through to forecast plots. The WTC application is also developed far enough to support the paper's actual conclusion, namely that the observable modulation is strongly suppressed for the propagator classes examined. Importantly, assumptions and epistemic status are often made explicit, including separability, short-correlation-time limits, smooth-envelope assumptions, and the distinction between derived phenomenology and conjectural UV motivation. The main incompleteness is not in the phenomenological result but in the UV-completion chain. Several key WTC-to-observable links are acknowledged as heuristic or candidate-level: the periodic technidilaton potential is motivated rather than derived, the mapping to propagator modulation involves O(1) uncertainty from scaling-dimension effects, and the convolution factorization for realistic non-separable structure is bounded only approximately. The numerical checks validate only the separable toy case, not the full WTC microphysics. Boundary cases are discussed but not fully resolved, especially when the source envelope is not smooth on Hubble scales or when k tau_corr is only marginal at the peak. These are real gaps, but the author flags them clearly and they do not prevent the paper from meeting its more modest stated conclusion that the tested WTC realizations appear observationally suppressed. That supports a 4 rather than a 5.
Strengths
- +Rigorous factorization theorem for separable UETCs with explicit error bounds and numerical validation to double precision
- +Clear phenomenological template providing concrete, falsifiable predictions for log-periodic SGWB signatures
- +Explicit separation of derived results from conjectural elements, preventing overclaiming about the WTC UV completion
- +Comprehensive error analysis with quantified approximation regimes and honest treatment of negative results
- +Novel connection between discrete scale invariance in source physics and observable gravitational-wave signatures
Areas for Improvement
- -Resolve central inconsistency in SNR baseline definitions that affects detectability scaling by factors of √N_periods
- -Provide analytical derivation of equation (39) saddle-point formula for c_geom, which underlies the quantitative inverse problem conclusion
- -Clarify the methodology for numerical geometric suppression calculations to enable independent reproduction
- -Address the factor-of-two inconsistency in c_geom normalization between sections 5.3 and 5.4
- -Improve manuscript formatting to resolve severe subscript/superscript rendering issues that impede readability
Log-Periodic Signatures from Discrete Scale Invariance in the Stochastic Gravitational-Wave Background Phenomenological Template and the Walking-Technicolor Inverse Problem Jill F. Rankin Independent Researcher jill.rankin@g.austincc.edu May 2026(preprint) Abstract We develop a phenomenological framework for log-periodic signatures of discrete scale invariance (DSI) in the stochastic gravitational-wave background (SGWB) and use it to evaluate walking technicolor (WTC) as a candidate microphysical source. The phenomenological backbone is a factorization theorem: if the source unequal-time correlator carries a multiplicative DSI modulation ink, this modulation propagates to the observable energy-density spectrum at leading order inτ corr H ∗ , yielding Ω GW (f ) = Ω 0 GW (f ) 1 + ε cos 2π ln(f/f ∗ ) lnb
- φ 0 , with modulation amplitudeε≪1 and discrete scaling ratiob >1. Matched-filter de- tectability of the oscillatory component scales asSNR osc ≃(ε/ √ 2)SNR baseline p N periods withN periods =ln(f max /f min )/ lnblog-periods in the detector band. This template, and the detectability landscape derived from it, applies to any DSI source. We then ask whether the DSI required by this template arises naturally in walking technicolor. Approximate continuous scale invariance is broken to DSI by a periodic modulation of the technidilaton potential, and the holographic dual of WTC gives an order-of-magnitude windowε f ∈[0.04,0.18],b ∈[1.7,2.8] for the modulation parameters at the level of the gauge propagator. The propagation from the propagator to the observable SGWB, however, is multiplied by a geometric suppression factorc geom set by the spectral support of the baseline propagator. Explicit 3D numerical evaluation of the relevant convolution with a free massive propagator, with the standard sound-shell power-law spectrum, and with the TT angular projection applied to either, gives|c geom |≲0.02 in all cases — two orders of magnitude below what would be required for LISA detectability. A closed-form saddle-point estimate shows that recoveringc geom ∼O(0.1–1) requires a propagator with relative spectral widthσ/q ∗ ≲0.2 (FWHM/q ∗ ≲0.5), about 3–5 times narrower than the natural FOPT spectrum delivers. The WTC log-periodic signal is therefore
not LISA-detectable in any of the microphysical realizations evaluated here; whether some additional narrowing mechanism (resonant pole, coherent technidilaton mode, wall-thickness localization) rescues detectability is identified as a sharp, quantitative microphysical question for future work. 2
Contents 1 Introduction4 2 Gravitational-Wave Tensor Power Spectrum5 3 Discrete Scale Invariance in the Source UETC6 3.1 DSI ansatz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6 3.2 Factorization theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . .6 4 Observable Signatures11 4.1 DSI-modulated energy-density spectrum . . . . . . . . . . . . . . . . . . . 11 4.2 Matched-filter detectability . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 5 Ultraviolet Completion: Walking Technicolor16 5.1 Phase-transition parameter space . . . . . . . . . . . . . . . . . . . . . . . 16 5.2 Engineering discrete scale invariance . . . . . . . . . . . . . . . . . . . . . 16 5.3 Convolution for the UETC . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 5.4 WTC predictions and the observability gap . . . . . . . . . . . . . . . . . . 19 5.5 What would rescue WTC detectability . . . . . . . . . . . . . . . . . . . . 21 6 Discussion22 7 Conclusions23 3
1 Introduction The stochastic gravitational-wave background (SGWB) from first-order cosmological phase transitions is among the most promising observational targets for current and next-generation gravitational-wave detectors. The Laser Interferometer Space Antenna (LISA) [1] will be sensitive to phase transitions occurring at temperaturesT ∗ ∼10–10 4 GeV , covering a broad class of beyond-Standard-Model (BSM) scenarios. Pulsar-timing arrays (PTAs) have now reported evidence for a gravitational-wave background at nano-hertz frequencies [3–5], with spectra consistent with — though not yet uniquely identified as — a cosmological phase-transition origin. In this environment, spectral features that go beyond the smooth envelope predicted by conventional calculations take on special importance: they carry direct information about the microphysics of the transition and the nature of any BSM sector responsible for it. Standard calculations of the SGWB from a first-order phase transition predict a broad-band spectrum shaped by three source contributions — bubble collisions [8], sound waves [6,7], and magneto-hydrodynamic turbulence [9] — each with a characteristic broken power-law profile. A variety of beyond-standard effects can modify this picture: strong supercooling can sharpen the bubble-collision peak [8]; non-runaway walls alter the sound-wave contribution [6]; and non-equilibrium dynamics can generate additional log contributions [7]. However, none of these mechanisms generically produces a coherent log-periodic oscillation superimposed on the spectrum. Discrete scale invariance (DSI) is the symmetry that does. A system is said to possess DSI with ratiob >1 if it is invariant only under the discrete rescalingx→ b n xfor integer n, rather than under all continuous dilations [10]. DSI arises in hierarchical lattice models, fractal structures, iterated-function-system attractors, and — crucially for our purposes — near-conformal gauge theories with explicit periodic modulations. Its universal observable consequence is a log-periodic correction to any power-law observable, F (x) = x D 0 1 + A cos 2π lnx lnb
- φ ,(1) arising from complex scaling dimensionsD n =D 0 ±2πin/ lnbin the spectrum of the dilatation operator [10]. DSI and its signatures have been studied in condensed-matter physics [10] and in financial time-series analysis [11], but its imprint on the SGWB has received comparatively little attention. Log-periodic features in the SGWB have been discussed in the context of non-standard inflationary scenarios and beyond-Einstein-gravity models [12]. In this paper we pursue a more direct route: we show that DSI in the anisotropic stress tensor of a first-order phase transition itself imprints a multiplicative log-periodic modulation on the observable SGWB. The mechanism operates at the level of the source unequal-time correlator (UETC) and is not specific to any particular BSM sector. The key technical result is a factorization theorem: under the physically well-motivated short- correlation-time approximation, valid for all realistic first-order phase transitions with β/H ∗ ≳10, the DSI modulation passes through the double time-integral of the tensor power spectrum unchanged, at the percent level. As a candidate ultraviolet (UV) completion we explore the realization of the required DSI within walking technicolor (WTC) [13], a strongly coupled hidden-sector gauge theory in the near-conformal regime. Two features motivate WTC as a host for DSI: (i) walking dynamics naturally provide approximate continuous scale invariance over a 4
wide range of energies, which can be broken to DSI by a small periodic modulation of the technidilaton effective potential — motivated (but not derived from first principles) by holographic models with periodic warp factors and by RG-group limit-cycle structure near the quasi-fixed point; and (ii) the WTC phase transition is already known to generate LISA-detectable gravitational waves [13], placing the DSI-modulated prediction squarely in the observable band without requiring any new tuning. We perform an explicit convolution calculation that traces the DSI modulation from the technidilaton potential through the UETC to the observable Ω GW (f ), with every approximation quantified. The resulting prediction has two layers. At the level of the gauge propagator, the WTC parameter space maps onto a specific windowε f ∈[0.04,0.18],b 0 ∈[1.7,2.8]. The observable modulation depth in the SGWB is reduced fromε f by a geometric factor c geom set by the source-tensor convolution; explicit numerical evaluation for the natural propagator ans ̈atze (free massive, sound-shell, with and without TT angular projection) gives|c geom |≲0.02, two orders of magnitude below the value needed for LISA detectability. The WTC log-periodic signal as described here is therefore not LISA-detectable; we identify the required propagator narrowness (σ/q ∗ ≲0.2) as a sharp, quantitative target for future microphysical calculation. The phenomenological template Eq. (16) remains a clean matched-filter discriminant for any DSI source in the LISA band. A companion paper [18] demonstrates the log-periodic spectral imprinting mechanism in a controlled one-dimensional electromagnetic cavity using finite-difference time-domain (FDTD) simulations, providing a numerical proof of concept independent of gravitational- wave physics. The theoretical framework of dynamic mode-accessibility engineering that unifies both papers is developed in Ref. [19]. The paper is structured as follows. Section 2 reviews the tensor power spectrum and sets up notation. Section 3 states the DSI ansatz and derives the factorization theorem. Section 4 works out the observable signature, quadratic relic corrections, and matched-filter detectability. Section 5 develops the WTC UV completion. Section 6 discusses robustness, distinguishability, and extensions. Section 7 summarizes the main results. Throughout we use natural units c =ℏ = k B = 1 and metric signature (−, +, +, +). 2 Gravitational-Wave Tensor Power Spectrum Tensor metric perturbationsh ij in a flat Friedmann–Lemaˆıtre–Robertson–Walker (FLRW) background satisfy h ′′ ij (k,η) + 2Hh ′ ij (k,η) + k 2 h ij (k,η) = 16πGa 2 (η) Π TT ij (k,η),(2) where primes denote derivatives with respect to conformal timeη,H=a ′ /a,a(η) is the scale factor, and Π TT ij is the transverse-traceless projected anisotropic stress sourced by the phase transition. The two-point function of the source defines the unequal-time correlator,
Π TT ij (k,η) Π TT∗ ij (k ′ ,η ′ ) = (2π) 3 δ (3) (k−k ′ ) Π(k,η,η ′ ),(3) where statistical isotropy has been used to write Π as a function ofk=|k|. Solving Eq. (2) with the retarded Green’s function G k (η,η ′ ) gives the tensor power spectrum, P h (k,η) = (16πG) 2 Z dη 1 dη 2 G k (η,η 1 )G k (η,η 2 )a 2 (η 1 )a 2 (η 2 ) Π(k,η 1 ,η 2 ).(4) 5
The fractional GW energy density per logarithmic frequency interval, referred to the critical density today, is [7] Ω GW (k,η)≃ k 3 12a 2 H 2 P h (k,η),(5) valid for sub-horizon modesk ≫ H. In what follows we work in terms of the observed frequency f = k/(2πa 0 ). 3 Discrete Scale Invariance in the Source UETC 3.1 DSI ansatz We assume that the source UETC carries a discrete scale invariance with ratiob >1 and amplitude ε≪ 1: Π(k,η,η ′ ) = Π 0 (k,η,η ′ ) 1 + ε cos 2π ln(k/k ∗ ) lnb
- φ 0 ,(6) where Π 0 is the smooth DSI-free UETC,k ∗ is a reference scale, andφ 0 is an overall phase. Equation (6) is the leading-order expression consistent with invariance underk → b n kfor integern; the log-periodic modulation is the real part of the complex power-law correction associated with complex scaling dimensions [10]. 3.2 Factorization theorem For a first-order phase transition the UETC naturally separates into macroscopic (slow) and microscopic (fast) parts, Π(k,η,η ′ ) = S(η,η ′ )F (k,η− η ′ ),(7) whereS(η,η ′ ) describes the macroscopic source evolution (slowly varying on the Hubble timeH −1 ∗ ) andF(k,∆η) encodes temporal correlations (decaying onτ corr ≪ H −1 ∗ ). This separation holds when the source is stationary on timescalesτ corr ≪∆η ≪ H −1 ∗ : a good approximation for the envelope and sound-shell contributions [6,8], for whichSis approximately constant while F decays rapidly. The phase-transition source decorrelates on the bubble radius/wall-speed timescale τ corr ∼ R ∗ ∼ v w /β, giving τ corr H ∗ ∼ v w β/H ∗ ≪ 1for β/H ∗ ≳ 10.(8) In this limitF(k,∆η) is sharply peaked at ∆η= 0. To bound the error, expandFabout ∆η= 0:F(k,∆η) =F(k,0)δ τ corr (∆η) +O(τ corr H ∗ ), whereδ τ corr is a nascent delta function of widthτ corr . Substituting into the double (η 1 ,η 2 ) integral of Eq. (4), theη 2 integral is dominated by the region|η 2 − η 1 |≲ τ corr . The Green’s functionG k (η,η 2 )a 2 (η 2 ) varies on timescalek −1 . For sub-horizon modes well above the peak (k ≫ β/v w ),k −1 ≪ τ corr is automatic; at the characteristic peak (k ∼ β/v w ),kτ corr ∼1 and the slow-variation approximation is marginal, withO(1) residual corrections that we do not compute explicitly. In either case we evaluate G k (η,η 2 ) at η 2 = η 1 , giving F (k,η− η ′ )≃ F (k)δ(η− η ′ ) +O(τ corr H ∗ ),(9) 6
whereF(k)≡ R F(k,∆η)d(∆η). The relativeO(τ corr H ∗ ) error is bounded in Table 1; we emphasize, however, that the factorization theorem proved below rests ultimately on separability of the UETC in (k,∆η), not on theδ-function limit per se — for any separable Π =S(η,η ′ )F(k)g(∆η) the modulationC(k) factors out of the time integral algebraically, regardless of how rapidly the Green’s function varies (Fig. 1 validates this with the full g(∆η), not itsδ-function limit). Theδ-function limit is the simplest path to the result; the deeper property is separability. We decompose the spectral kernel asF(k) =C(k)F 0 (k), whereF 0 (k) is the smooth baseline kernel andC(k) = 1 +ε cos[2π ln(k/k ∗ )/ lnb+φ 0 ] carries the DSI modulation. Substituting into Eq. (4) and performing the η 2 integral using the delta function: P h (k,η)≃ (16πG) 2 C(k) Z dη 1 G 2 k (η,η 1 )a 4 (η 1 )F 0 (k)S(η 1 ,η 1 ).(10) C (k) depends only onk, not onη 1 , and therefore factors out of theη 1 integral exactly. The remaining integral, together with the prefactors, defines the smooth tensor power spectrum: P 0 h (k,η)≡ (16πG) 2 F 0 (k) Z dη 1 G 2 k (η,η 1 )a 4 (η 1 )S(η 1 ,η 1 ).(11) We now show explicitly thatP 0 h acquires no log-periodic structure from the Green’s function. ExpandingG 2 k (η,η 1 ) =sin 2 [k(η − η 1 )]/k 2 = [1− cos(2k(η − η 1 ))]/(2k 2 ), the integral splits as Z dη 1 G 2 k a 4 S = I 0 (η) 2k 2 − e I(k,η) 2k 2 ,(12) whereI 0 (η) = R dη 1 a 4 (η 1 )S(η 1 ,η 1 ) is strictlyk-independent, and e I(k,η) = R dη 1 cos[2k(η− η 1 )]a 4 Sis an oscillatory Fourier transform of the slowly varying envelope. Integrating e I by parts once (boundary terms vanish since S = 0 outside the source epoch): e I(k,η) ≤ 1 2k Z ∂ η 1 [a 4 S] dη 1 ≲ H ∗ k I 0 (η),(13) sincea 4 Svaries on the Hubble timescale:|∂ η 1 [a 4 S]|≲ H ∗ a 4 S. This bound assumes the macroscopic envelope is smooth (differentiable onH −1 ∗ ); ifShas sharper features at the transition boundaries varying onβ −1 , the bound is weakened to| e I|/I 0 ≲ β/k ∼ v w , which isO(1) rather than small. The deeper argument that no log-periodic contamination is generated rests on the spectral-separation property ( e Ioscillates in lineark, not inlnk) discussed below, which holds regardless of the envelope smoothness. For sub-horizon GW modes k ≫ H ∗ , the ratio | e I|/I 0 ≲ H ∗ /k for smooth envelopes. To boundH ∗ /kin terms of the factorization error, note that the characteristic GW wavenumber isk ∼ βa ∗ /(v w a 0 ), givingH ∗ /k ∼ H ∗ v w a 0 /(βa ∗ ) =v w /(β/H ∗ )≡ τ corr H ∗ . Thus | e I|/I 0 =O(τ corr H ∗ ) and Z dη 1 G 2 k a 4 S = I 0 (η) 2k 2 1 +O(τ corr H ∗ ) .(14) Thek-oscillations of e Ioccur on the linear scale ∆k ∼1/η ∗ (producing the sound-wave broken power-law spectral features [6]); in log-kspace this corresponds to ∆lnk ∼ 1/(kη ∗ )∼ τ corr H ∗ ≪ lnb. These sound-wave features are spectrally separated from the DSI modulation by the large factorlnb/(τ corr H ∗ )∼(β/H ∗ /v w )lnb≫1: there is no overlap in 7
log-frequency space, andP 0 h acquires no log-periodic structure at periodlnb. We note that this scale-separation argument is heuristic and does not, in itself, exclude windowing or beat phenomena inlnkthat could couple linear-koscillations to log-periodic structure; the numerical validation below provides independent support that no such coupling appears at least for the separable case tested. Hence, combining Eq. (14) with the exact factorization of C(k): P h (k,η) = C(k)P 0 h (k,η) 1 +O(τ corr H ∗ ) ,(15) whereP 0 h is the tensor power spectrum evaluated with the smooth UETC Π 0 . This is the factorization theorem: the DSI modulation transfers multiplicatively from the source to the tensor power spectrum, with the Green’s-function contribution bounded explicitly by Eq. (13). Higher-order corrections are quantified in Table 1. Scope of validity: the factorizationP h =C(k)P 0 h is exact for separable UETCs of the form Π = S(η,η ′ )F(k)g(∆η), in which case it follows algebraically fromC(k) being independent of (η 1 ,η 2 ) (cf. Fig. 1). TheO(τ corr H ∗ ) bound in Eq. (15) refers to the controlled approximations of the present section — theδ-function limit Eq. (9), the IBP bound Eq. (13) for smooth envelopes, and the bulk convolution slow variation of Sec. 5.3. Corrections from a generic non-separable UETC are not bounded by this universal estimate and would require model-specific analysis. Table 1: Relative error bound on the factorizationP h =C(k)P 0 h , forε= 0.1,v w = 1. The factorization-step (phenomenological) corrections are: (i) Delta-function approximation, Eq. (9): relative error≤ τ corr H ∗ ≡ v w /(β/H ∗ ) for smooth envelopes. (ii) Bulk convolution slow variation, Sec. 5.3: relative error≤(2π/ lnb)ε f τ corr H ∗ forb≥1.5, using the uniformly bounded absolute derivative|dδ/d lnq|≤ ε f ×2π/ lnb. (iii) Green’s function oscillations, Eq. (13): relative error≤ H ∗ /k ≡ τ corr H ∗ (Riemann–Lebesgue, smooth envelopes). Errors (i)–(iii) are quantitatively controlled and shown below. In addition, the WTC convolution carries a separateO(m V /q ∗ ) mass-gap correction (Sec. 5.3) that is model-dependent and is the dominant error for the WTC parameter band (∼10% form V /q ∗ ∼0.1); it is not included in the phenomenological budget below. β/H ∗ τ corr H ∗ Combined bound Dominant term 100.10≲ 15%δ-fn 1000.01≲ 1.5%convolution 10000.001≲ 0.15%Green’s fn Numerical validation. As an independent check on the factorization argument we evaluate Eq. (4) numerically for a separable UETC Π(k,η 1 ,η 2 ) =F 0 (k)C(k)S(η 1 ,η 2 )g(η 1 − η 2 ) with a tophat macroscopic sourceSand a Gaussian temporal correlationg(∆η) of widthτ corr . This is a toy validation of the factorization structure rather than a full WTC simulation: it tests whether the Green’s-function convolution and time integration in Eq. (4) preserve ak-dependent modulation imposed at the UETC level, and is not intended to validate the microphysics of any specific BSM source. Crucially the numerical computation uses the full Gaussian, not theδ-function limit invoked in Eq. (9). Figure 1 shows the resulting residualR(k) = (P h − P 0 h )/P 0 h alongside the analytic prediction ε cos(2π ln(k/k ∗ )/ lnb+φ 0 ). Two features confirm the theorem: (i) atτ corr H ∗ = 0.05 the numerical residual matches the analytic template to within∼10 −16 , the floor of double- precision arithmetic; and (ii) repeating the calculation atτ corr H ∗ ∈{0.01,0.05,0.20}yields 8
residuals that are pointwise identical to within numerical precision. Both observations follow from the fact that, whenC(k) depends only onkand is independent ofη 1 ,η 2 , it factors out of the double time integral algebraically — not merely up toO(τ corr H ∗ ). The error bounds in Table 1 arise instead from non-separable corrections (the convolution and Green’s-function terms): these are not probed by the present test and would require a more elaborate numerical setup. 9
10 0 10 1 wavenumber k (units with k * = 5) 0.15 0.10 0.05 0.00 0.05 0.10 0.15 R ( k ) ( P h P 0 h )/ P 0 h (a) = 0.10, b = 2.0, corr H * = 0.05, max dev. = 1.80e16 Factorization theorem: numerical residual vs.\ analytic template Analytic: cos(2ln(k/k * )/ln b + 0 ) Numerical: (P h P 0 h )/P 0 h 10 0 10 1 wavenumber k 0.15 0.10 0.05 0.00 0.05 0.10 0.15 R ( k ) (b) Independence of corr H * for separable UETCs: factorization is algebraic, not perturbative Analytic template Numerical ( corr H * = 0.01) Numerical ( corr H * = 0.05) Numerical ( corr H * = 0.2) Figure 1: Numerical validation of the factorization theorem (Sec. 3.2). The DSI-modulated tensor power spectrumP h (k) is computed by direct numerical integration of the double time integral (4) for a separable UETC Π =F 0 (k)C(k)S(η 1 ,η 2 )g(η 1 −η 2 ) with a Gaussian temporal correlationg(∆η) of widthτ corr (the full Gaussian; not theδ-function limit of Eq. (9)). (a) ResidualR(k) = (P h − P 0 h )/P 0 h (orange circles) plotted against the analytic predictionε cos(2π ln(k/k ∗ )/ lnb+φ 0 ) (gray line) atτ corr H ∗ = 0.05; maximum deviation ∼10 −16 (numerical floor). (b) The same residual evaluated atτ corr H ∗ ∈{0.01,0.05,0.20} collapses onto a single curve, confirming that the factorization is algebraic (independent ofτ corr H ∗ ) for separable UETCs. TheO(τ corr H ∗ ) corrections in Table 1 arise from non- separable structure (convolution and Green’s-function terms) that is beyond the scope of this clean test. 10
4 Observable Signatures 4.1 DSI-modulated energy-density spectrum Combining Eq. (6) with the factorization (15) and using Eq. (5), the observable GW energy-density spectrum is Ω GW (f ) = Ω 0 GW (f ) 1 + ε cos 2π ln(f/f ∗ ) lnb
- φ 0 .(16) The fractional residual R(f )≡ Ω GW (f )− Ω 0 GW (f ) Ω 0 GW (f ) = ε cos 2π ln(f/f ∗ ) lnb
- φ 0 (17) is a sinusoid inlnfwith period ∆lnf=lnb, amplitudeε, and phaseφ 0 at leading order inτ corr H ∗ . By construction, its Pearson correlation coefficient with a fixed-period cosine template equalsr= 1.00 for any bandwidth spanning complete log-periods, modulo the O(τ corr H ∗ ) factorization corrections quantified in Table 1. This analyticr= 1 should be distinguished from the empiricalr= 0.81±0.04 reported in the companion FDTD paper [18]: in that setting, finite time-series length, Hann-window spectral leakage, and imperfect power-law envelope subtraction all reduce the observed correlation below unity. The FDTD value quantifies detection efficiency in a realistic finite-bandwidth experiment; r= 1 is the leading-order property of the underlying physics, recovered in the limit of infinite bandwidth and exact envelope knowledge. For the smooth baseline Ω 0 GW we adopt the standard sound-wave contribution [6, 7], Ω sw (f )h 2 = 2.65× 10 −6 H ∗ β 2 κ sw α 1 + α 2 100 g ∗ 1/3 v w S sw (f ),(18) S sw (f ) = f f sw 3 7 4 + 3(f/f sw ) 2 7/2 ,(19) with peak frequency f sw = 1.9× 10 −5 Hz 1 v w β H ∗ T ∗ 100 GeV g ∗ 100 1/6 .(20) Hereαis the transition strength,κ sw is the fraction of the released latent heat converted to fluid bulk motion,g ∗ is the number of relativistic degrees of freedom atT ∗ , andv w is the wall velocity. We set the DSI reference scalef ∗ ∼ f sw . Figure 2 shows the spectrum, residual, and log-period spacing for representative parameter values. 4.2 Matched-filter detectability The oscillatory component of the signal is δΩ GW (f ) = ε Ω 0 GW (f ) cos 2π ln(f/f ∗ ) lnb
- φ 0 .(21) The squared matched-filter signal-to-noise ratio for a search with fixed template parameters (b,φ 0 ) is SNR 2 osc = Z [δΩ GW (f )] 2 σ 2 (f ) d lnf = ε 2 Z [Ω 0 GW (f )] 2 σ 2 (f ) cos 2 2π ln(f/f ∗ ) lnb
- φ 0 d lnf.(22) 11
10 3 10 2 10 1 10 0 10 1 Frequency f [Hz] 10 13 10 12 10 11 10 10 10 9 10 8 10 7 h 2 GW ( f ) (a) = 0.10,b = 2.0, 0 = 0 Smooth baseline 0 GW DSI-modulated GW 10 3 10 2 10 1 10 0 10 1 Frequency f [Hz] 0 + R ( f ) / 0 (b) f * Analytic: r = 1.00 (see text; cf. FDTD: r = 0.81 ± 0.04) ( GW 0 )/ 0 Fixed-period fit: cos(2ln(f/f * )/ln b) 10 3 10 2 10 1 10 0 10 1 Frequency f [Hz] ln f = ln b f * (c) log-period spacing Figure 2: Log-periodic modulation of the SGWB. (a) Power spectrumh 2 Ω GW (f) (orange, solid) and smooth baselineh 2 Ω 0 GW (f) (blue, dashed) versus frequency, forε= 0.1,b= 2, φ 0 = 0. (b) Fractional residualR(f)≡[Ω GW (f)−Ω 0 GW (f)]/Ω 0 GW (f), showing the clean sinusoidal oscillation inlnfpredicted by Eq. (16). The orange curve is the fixed-period cosine fit. (c) Log-period spacing: vertical ticks mark frequencies where the modulation peaks (cos = +1), equally spaced by ∆ lnf = lnb. The reference scale f ∗ is indicated. 12
Over N periods complete log-periods ⟨cos 2 ⟩ = 1/2, giving SNR 2 osc
ε 2 2 N periods SNR 2 bin ,(23) where SNR bin is the baseline SNR per log-period of width lnb: SNR 2 bin ≡ Z lnb [Ω 0 GW ] 2 σ 2 d lnf.(24) Hence SNR osc
ε √ 2 p N periods SNR bin ,(25) with N periods
ln(f max /f min ) lnb .(26) Throughout this paperSNR baseline ≡ SNR bin denotes the per-log-period baseline SNR; the total-band baseline SNR isSNR total
p N periods SNR bin . For LISA with effective band [f min ,f max ] = [10 −4 ,1]Hz(ln(f max /f min )≈9.21) the per-log-period baseline SNR at the WTC signal level isSNR bin ≈20–25; the factor p N periods / √ 2ranges from 2.6 atb= 2 to 1.7 atb= 5, providing meaningful amplification. We writeSNR osc ≈(ε/ √ 2)SNR bin p N periods in what follows; figures use SNR bin = 20 to set contours. The detectability plane (bvs.ε) is shown in Figs. 3 and 4, with SNR contours at {1, 5, 10, 20} and the WTC prediction band overlaid. 13
23456 Discrete scaling factor b 0.01 0.05 0.10 0.50 Modulation amplitude SNR base = 20; LISA band [10 4 , 1] Hz Forecast SNR contours for DSI oscillations in the SGWB WTC [0.04, 0.18] b[1.7, 2.8] SNR=1 SNR=5 SNR=10 SNR=20 Figure 3: Forecast matched-filter SNR contours for the DSI oscillatory component in the (b,ε) plane, assumingSNR baseline = 20 and a LISA frequency band [10 −4 , 1]Hz. Contours are shown atSNR osc = 1,5,10,20. The orange shaded region is the WTC propagator-level forecastε f ∈[0.04,0.18],b 0 ∈[1.7,2.8] from the holographic mapping of Sec. 5.2. The observable modulation depth isε∼ c geom ε f , wherec geom is the geometric suppression factor of Sec. 5.3; for the propagator structures evaluated in this paper|c geom |≲0.02 (Fig. 5), which would shift the band by roughly two decades to the lower left and place it well below the SNR osc = 5 contour. 14
23456 Discrete scaling factor b 0.01 0.05 0.10 0.50 Modulation amplitude SNR base = 20; LISA band [10 4 , 1] Hz Forecast SNR contours with LISA 5 sensitivity and WTC prediction WTC [0.04, 0.18] b[1.7, 2.8] LISA 5 threshold (SNR osc = 5) LISA accessible (SNR osc 5) SNR=1 SNR=5 SNR=10 SNR=20 Figure 4: Same as Fig. 3, with the approximate LISA 5σdetection threshold (blue line, SNR osc = 5 forSNR baseline = 20) and LISA-accessible region (purple shading) overlaid. As in Fig. 3, the orange band is the WTC propagator-level forecast; the observable band ε ∼ c geom ε f inherits a further suppression from the convolution geometry and, for the propagator ans ̈atze evaluated here, falls below the LISA-accessible region. Identifying a propagator structure that supplies the missing narrowness (Sec. 5.5) is the principal microphysical question this paper leaves open. 15
5 Ultraviolet Completion: Walking Technicolor Before developing the WTC embedding it is worth stating explicitly which claims in this paper rest on what kind of argument. The phenomenological backbone (Sec. 3–4) follows from the UETC ansatz and the controlled-approximation bounds of Sec. 3.2; the UV-completion layer developed in this section is a candidate realization motivated by holography and near-conformal dynamics but not derived from a complete microscopic model. Table 2 makes this hierarchy explicit. Table 2: Scope and epistemic status of the principal claims of this paper. Rows 1–2 form the phenomenological backbone and are derived under explicit, quantified approximations. Rows 3–4 form the UV-completion layer and should be read as a candidate realization rather than a first-principles derivation. ClaimStatusSection DSI in UETC ⇒ log-periodic SGWB template derived3.2, 4.1 Factorization in short-correlation regimecontrolled approximation3.2, Table 1 WTC as DSI hostcandidate UV completion 5.2–5.4 Holographic origin of periodic warp factorconjectural motivation5.2 We emphasize that the cited literature [10,13,16,17] motivates the individual ingredi- ents — DSI in near-conformal systems, walking dynamics, holographic warp factors, radion potentials — but the complete chain from a microscopic WTC Lagrangian to the periodic technidilaton potential (29) is not, to our knowledge, established in the literature. The construction below should therefore be read as a plausibility argument for a WTC-style UV completion, not as a derivation from first principles. 5.1 Phase-transition parameter space We adopt the benchmark large-N f QCD realization of walking technicolor [13]. The hidden sector is anSU(N c ) gauge theory withN f fundamental techniquarks in the near-conformal windowN f /N c ≳4–8. Near this window the gauge coupling walks — evolves slowly over many decades of energy scale — providing approximate scale invariance; the theory is attracted toward a quasi-fixed point (the Banks–Zaks fixed point) before condensing at Λ TC . Benchmark values areN c = 8,N f = 8, technidilaton decay constantF φ ≈1TeV, with an ultra-supercooled first-order phase transition (FOPT) characterized by [13] α≈ 0.73–0.83, β/H ∗ ≈ 100–1000, v w ≈ 1.(27) These give a sound-wave-dominated SGWB with h 2 Ω 0 GW (f peak )∼ 10 −9 –10 −8 at f peak ∼ 0.1–10 Hz,(28) comfortably within the LISA sensitivity band [1, 2], and satisfy τ corr H ∗ ≲ 0.01≪ 1. 5.2 Engineering discrete scale invariance Walking dynamics provide approximate continuous scale invariance: the technidilatonφis the pseudo-Nambu–Goldstone boson of the approximate scale symmetry, and its effective 16
potential is of Coleman–Weinberg form [14]. DSI arises when this symmetry is broken from continuous to discrete. We realize this by adding a small explicit periodic modulation, V (φ) = V CW (φ) 1 + ε f cos 2π ln(φ/φ 0 ) lnb 0 , ε f ≪ 1, b 0
1,(29) whereV CW is the Coleman–Weinberg potential [14]. Such modulations are motivated by two independent sources. First, in AdS/CFT dual descriptions of near-conformal dynamics, periodic warp factors in the extra dimension generate exactly this type of potential modulation in the 4D effective theory. Second, near the quasi-fixed point the RGβ-function has no zero; instead the integrated RG flow over one cycle inφ-space is zero, corresponding to a limit cycle rather than a fixed point — the RG-flow realization of DSI [10]. Holographic origin ofε f andb 0 . We do not derive Eq. (30) from a complete 5D action, nor address dynamical stabilization of the periodic perturbation against deformation toward generic non-periodic warp factors. The construction in this paragraph is a constructive existence proof : it demonstrates how a small periodic warp-factor perturbation would, if present, produce the 4D modulation Eq. (29) with the inherited parameter ranges we use in Sec. 5.4. Identifying the dynamical origin — and the radiative stability beyond the discrete-shift-symmetry argument below — is a separate question deferred to future work. Equation (29) arises in the holographic dual of WTC without requiring fine-tuning of five-dimensional parameters. Modelling the technidilaton as the radion field in a Randall– Sundrum-type AdS 5 geometry [16], a small periodic modulation of the standard warp factor A(y) = ky of the form A(y) → ky + δA 0 sin(n p ky), δA 0 ≪ 1,(30) generates, at linear order inδA 0 , the multiplicative log-periodic correction to the 4D technidilaton potential [17] V 4 (φ)≈ V CW (φ) 1 + 4δA 0 cos 2π ln(φ/φ 0 ) lnb 0 +O(δA 2 0 ) ,(31) withε f = 4δA 0 andlnb 0 =kL/n p , whereLis the proper length of the extra dimension andn p is the number of warp-factor oscillation periods. For the ETC hierarchykL ≈ ln (Λ ETC /Λ TC )≈2–3 andn p = 3–4 (bothO(1) integers in AdS units), one obtains b 0 =e kL/n p ∈[1.7,2.8]. The required amplitudeε f ∈[0.04,0.18] corresponds toδA 0 ∈ [0.01,0.045], a 1–5% warp-factor perturbation that is technically natural (protected by the approximate discreteφ→ φ+L/n p shift symmetry of the periodic modulation) and requires no independent fine-tuning. Both DSI parameters therefore emerge fromO(1) choices of the 5D geometry. The modulation in Eq. (29) induces a log-periodic correction to the gauge-field propa- gator at momentumq. We derive this at leading order inε f . In the near-conformal WTC regime, the technidilaton VEV⟨φ(q)⟩at renormalisation scaleqis related to its UV value by ⟨φ(q)⟩=⟨φ UV ⟩(q/q 0 ) −∆ φ , where ∆ φ is the technidilaton scaling dimension (∆ φ ≈ 1 near the quasi-fixed point). The gauge-boson mass is generated viam 2 V (φ) =y 2 ⟨φ⟩ 2 ; a modulation δV ∝ ε f cos(2π lnφ/ lnb 0 ) shifts the mass asδm 2 V /m 2 V =ε f cos(2π ln(q/q ∗ )/ lnb 0 ) +O(ε 2 f ) by the chain rule. Propagating to the full propagator at leading order in ε f : D(q; ∆η) = D 0 (q; ∆η) [1 + δ(q)], δ(q) = ε f cos 2π ln(q/q ∗ ) lnb 0
- φ 0 ,(32) 17
withq ∗ ∼ q 0 . The modulation inherits the same log-periodb 0 as the potential, up to the conformal-dimension factor ∆ φ which isO(1) near the fixed point. Higher-order corrections enter at O(ε 2 f ). Note that |δ(q)|≤ ε f ≪ 1 so D is positive definite for all q. 5.3 Convolution for the UETC The transverse-traceless anisotropic stress is bilinear in the gauge fields, so the UETC is the convolution Π(k,η,η ′ )∝ Z d 3 p (2π) 3 P TT D(p; ∆η)D(|k−p|; ∆η),(33) whereP TT projects onto the transverse-traceless sector. Expanding to linear order inε f and retaining only the cross-term (the self-term is O(ε 2 f )), Π(k)⊃ Z d 3 p (2π) 3 P TT D 0 (p)D 0 (|k−p|) δ(p) + δ(|k−p|) .(34) We bound the two terms separately. Termδ(p). The baseline propagatorD 0 (p) is sharply peaked atp∼ q ∗ ∼ β/v w with relative half-width ∆p/p∼ τ corr H ∗ ≪1. The variation ofδacross this peak is bounded using the absolute derivative: dδ d lnq = ε f 2π lnb 0 sin
2π lnq/ lnb 0
- φ 0 ≤ ε f 2π lnb 0 ,(35) uniformly bounded for allq, including near the zeros ofδ(where the logarithmic derivative d lnδ/d lnqwould diverge, but the divergence is integrable since the weightD 0 is smooth and |δ|→ 0). Integrating over the support | ln(p/k)|≲ τ corr H ∗ : |δ(p)− δ(k)|≲ 2πε f lnb 0 τ corr H ∗ ≲ 13ε f τ corr H ∗ (b 0 ≥ 1.5),(36) giving δ(p) = δ(k)[1 +O(ε f τ corr H ∗ )] over the support of D 0 (p). Termδ(|k−p|). Nearp ≈k,|k−p| →0 andδ(|k−p|) oscillates rapidly. For a massive gauge-boson propagatorD 0 (q) = 1/(q 2 +m 2 V ), this region hasD 0 (|k−p|)∼1/m 2 V , which is in fact larger than the bulk valueD 0 (q ∗ )∼1/q 2 ∗ by the factorq 2 ∗ /m 2 V ≫1 when q ∗ ≫ m V . The integrated contribution of the small-|k−p|region is nevertheless suppressed by the three-dimensional phase-space measurep 2 dp: contributions from|k−p|≲ m V scale asm 3 V ×D 0 (0)×D 0 (q ∗ )∼ m V /q 2 ∗ , compared to the bulk contribution at|k−p|∼ q ∗ scaling asq 3 ∗ × D 0 (q ∗ ) 2 ∼1/q ∗ . The ratio is (boundary)/(bulk)∼ m V /q ∗ ≡ ρ 1/2 , with ρ≡ m 2 V /q 2 ∗ ≪ 1. The combined bound is δ(p)≈ δ(|k−p|)≈ δ(k) 1 +O(ε f τ corr H ∗ ) +O(m V /q ∗ ) ,(37) withm V /q ∗ ≪1 in the WTC regime. For typical WTC benchmark parametersm V /q ∗ ∼ 0.1, the boundary contribution sets a residual relative error of order 10% on the convolution factorization, exceeding theO(τ corr H ∗ ) bulk correction. We retainρ 1/2 ≡ m V /q ∗ in error budgets below. The cross-term contributionsδ(p) andδ(|k−p|) each factor asδ(k)×Π 0 (k,η,η ′ ) over the dominant support, giving a total cross-term contribution of 2δ(k)Π 0 from the two 18
linear terms. This means the UETC modulation depthεinherited from the propagator modulationδ=ε f cos(···) satisfiesε= 2ε f × c geom at leading order, wherec geom is a geometric coefficient arising from the angular average ofP TT over the convolution support and from the spectral support of the baseline propagatorD 0 (q). The explicit numerical evaluation in the ”Quantitative geometric requirement” paragraph below shows thatc geom is not genericallyO(1) for the natural FOPT propagator structures; we keep the symbolic factor here and compute it quantitatively in Fig. 5. Hence Π(k,η,η ′ ) = Π 0 (k,η,η ′ ) 1 + ε cos 2π ln(k/k ∗ ) lnb
- φ 0 1 +O(ετ corr H ∗ ) +O(m V /q ∗ ) , (38) withε∼ ε f andb=b 0 at leading order (up toO(1) model-dependent factors). For WTC benchmark parametersβ/H ∗ ≳100 andm V /q ∗ ∼0.1, the combined relative correction is dominated by the mass-gap term at ∼ 10%, not the ∼ 1% bulk error. Quantitative geometric requirement. The factorization of the DSI modulation under the convolution Eq. (34) is conditional on the spectral support of the baseline propagator D 0 (q). To quantify the requirement we evaluate the cross-term convolution numerically along two axes. First, we use a Gaussian propagatorD 0 (q) =exp[−(q− q ∗ ) 2 /(2σ 2 )] and scan the widthσ/q ∗ . A saddle-point expansion of the angular integral gives the closed-form c geom (σ/q ∗ ) ≈ exp " − 2π 2 ln 2 b 0 σ q ∗ 2
,(39) which the numerics reproduce to a few percent acrossσ/q ∗ ∈[0.01,0.25] (Fig. 5a). Eq. (39) makes the requirement explicit:c geom ≥0.5 requiresσ/q ∗ ≲0.13 (FWHM/q ∗ ≲0.31); c geom ≥ 0.1 requires σ/q ∗ ≲ 0.24 (FWHM/q ∗ ≲ 0.56). Second, we evaluate the convolution with two physically motivated propagator struc- tures that one might hope concentrate the support nearq ∗ . (a) For the standard sound- shell-model spectral shapeD 0 (q)∝(q/q ∗ ) a [7/(4 + 3(q/q ∗ ) 2 )] 7/2 [6? ] witha= 3 (matching S sw (f) of Eq. (19)), the relative FWHM is≈1.4, equivalent toσ/q ∗ ≈0.6. Direct evalua- tion givesc geom ≃5×10 −3 — consistent with Eq. (39), and smaller than the free-massive toy because of the additional UV phase-space weighting. (b) Adding the TT angular projector appropriate to a longitudinal (v i v j ) stress source —F TT ∝ p 2 (1−cos 2 θ) 2 /|k−p| 2 or its variants — shuffles the sign ofc geom but not its magnitude:|c geom |remains in the range [2×10 −4 ,1.3×10 −2 ] across all combinations of IR slope and angular form tested. The TT factor emphasizes configurations perpendicular tok, at which|k−p| ∼ √ 2q ∗ falls at a half-integer multiple oflnb 0 inlnq— a maximum of the modulation’s antiphase — so the angular weight acts as an additional cancellation pathway rather than a focusing one. The cumulative diagnostic is summarized in Fig. 5. None of the propagator structures naturally produced by a strong first-order phase transition deliver the spectral narrowness required to keepc geom ≳0.1. In the optimistic limit of the holographic WTC band (ε f ∼0.18), this means an observable modulationε ∼ c geom ε f ≲2×10 −3 , roughly two orders of magnitude below LISA’s 5σ matched-filter threshold (cf. Fig. 4). 5.4 WTC predictions and the observability gap The WTC parameter space [13], spanned byF φ ≈1TeV, Λ ETC ∼ 5–10TeV, and soft massesm p ∼1–100GeV, maps via the holographic construction of Sec. 5.2 onto a window 19
10 1 10 0 /q * (Gaussian propagator width) 10 3 10 2 10 1 10 0 c geom c geom = 0.5 c geom = 0.1 (a) Geometric suppression of the DSI modulation in the convolution Sound-shell equivalent ( /q * 0.59) Saddle-point: exp[ 2 2 ( /q * ) 2 /ln 2 b 0 ] Numerical 10 0 k/q * 0.2 0.1 0.0 0.1 0.2 R ( k ) = ( 0 )/ 0 (b) Modulation is recovered only when the propagator is narrow enough Analytic: 2 f cos(2ln(k/q * )/ln b 0 ) Numerical, /q * = 0.05 Numerical, /q * = 0.20 Numerical, /q * = 0.60 Figure 5: Geometric suppression of the DSI modulation in the WTC convolution. (a) Em- piricalc geom ≡ R peak /(2ε f ) versus Gaussian propagator widthσ/q ∗ , with the saddle-point analytic formula Eq. (39) (gray line; reproduces the data to a few percent overσ/q ∗ ≲0.25). The vertical dashed line marks the standard sound-shell spectral width (σ/q ∗ ≈0.60, FWHM/q ∗ ≈1.4), at whichc geom is several orders of magnitude below the values required for LISA detectability (c geom ∼0.3–1). (b) ResidualR(k) = (Π−Π 0 )/Π 0 vs.k/q ∗ for three propagator widths overlaid on the analytic prediction 2ε f cos(2π ln(k/q ∗ )/ lnb 0 ). For a narrow Gaussian (σ/q ∗ = 0.05) the modulation is recovered cleanly; at the sound-shell width (σ/q ∗ = 0.60) it is essentially washed out. 20
for the propagator-level modulation parameters ε f ∈ [0.04, 0.18], b 0 ∈ [1.7, 2.8].(40) This range follows fromε f = 4δA 0 withδA 0 ∈[0.01,0.045] andb 0 =exp(kL/n p ) with kL≈ ln(Λ ETC /Λ TC )≈1.6–2.3 andn p = 3–4. The observable amplitude in the SGWB,ε, is related toε f by the geometric factorc geom of Sec. 5.3:ε∼ c geom ε f . As shown in Fig. 5, for the free-massive, sound-shell, and TT-projected sound-shell propagator ans ̈atze tested in this paper, |c geom |≲ 0.02 throughout. The implied observable band is therefore ε≲ c geom ε max f ∼ (2× 10 −2 )(0.18)∼ 4× 10 −3 ,(41) roughly two orders of magnitude below LISA’s 5σmatched-filter threshold atSNR bin = 20. In other words, while the propagator-level DSI window Eq. (40) is squarely in the high-SNR region of Figs. 3–4 if the modulation propagates withc geom ∼1, the explicit convolution gives c geom too small for this to occur with any of the standard propagator structures. Approximation hierarchy and model-dependent factors. The chain from a WTC- type Lagrangian to the observable Ω GW (f) runs through several steps that we have sketched but not derived from first principles. In particular: (i) The Goldberger–Wise-type relation ε f = 4δA 0 between the holographic warp-factor perturbation and the 4D technidilaton potential modulation [Eq. (31)] depends on the specific radion–dilaton identification in the 5D dual. (ii) The chain-rule transfer of the periodic modulation fromV(φ) to the gauge propagatorD(q) [Eq. (32)] involves the technidilaton scaling dimension ∆ φ , which isO(1) near the quasi-fixed point but not exactly unity, shifting the inherited log-periodb relative tob 0 by anO(1) factor. (iii) The mass-gap and angular factors set the magnitude ofc geom ; Sec. 5.3 computes this for the natural propagator ans ̈atze and finds|c geom |≲0.02. Taken together, the propagator-level band Eq. (40) carriesO(1) uncertainties from (i)–(ii) and is therefore an order-of-magnitude forecast; the observable band ε∼ c geom ε f inherits an additional two-decade suppression from (iii), unless physics beyond the scope of this paper restores a propagator narrowness that the natural ans ̈atze do not deliver. 5.5 What would rescue WTC detectability The closed-form Eq. (39) converts the question “is the WTC signal LISA-detectable?” into a sharp microphysical inverse problem: what propagator structure at FOPT scales givesσ/q ∗ ≲0.2 (FWHM/q ∗ ≲0.5)? Each of the following candidates would, if realized in WTC, narrow the support enough to bring c geom into the O(0.1–1) regime: (a) Resonant thermal pole. If the WTC finite-temperature gauge propagator develops a high-Qresonance at the FOPT scale, the effectiveD 0 (q) would be a Breit–Wigner of width Γ/q ∗ ∼1/Q.Q∼5–10 gives Γ/q ∗ ∼0.1–0.2, sufficient to satisfy the narrow-support criterion. Whether such a resonance exists in the WTC finite-Tpropagator is a calculation we do not perform. (b) Coherent technidilaton oscillation. Post-FOPT coherent oscillations of the tech- nidilaton field atm φ would source a narrow-band signal at the dilaton mass. If this signal dominates over the bubble-collision/sound-wave contribution in the LISA band, the effectiveD 0 (q) acquires a sharp peak nearq ∼ m φ , providing the required spectral narrowness. Quantifying the relative amplitude of coherent vs. thermal contributions is again outside the present scope. 21
(c) Bubble-wall thickness localization. The bubble wall thicknessδ w ∼1/m φ sets a UV scale for the source momentum distribution. For sufficiently largem φ /T ∗ , the relevant convolution kernel may concentrate near a single dynamical scale rather than smearing across the full sound-shell spectrum. A definitive WTC prediction therefore awaits a microphysical calculation that quantifies the FOPT propagator structure including (at minimum) finite-temperature self-energy corrections and the specific spin/orbital structure of the source. In the meantime, the phenomenological backbone of Sec. 3–4 provides the template against which any future microphysical prediction can be tested. 6 Discussion Robustness of the factorization. The key approximation is the short-correlation-time limitτ corr H ∗ ≪1. Its validity requiresβ/H ∗ ≫1, i.e. a transition that completes rapidly compared to the Hubble time. This is satisfied for the WTC benchmark (β/H ∗ ∼100– 1000) and is a generic property of strong first-order transitions. Slow transitions with β/H ∗ ≲10 would require higher-order corrections, which can be computed systematically as an expansion inτ corr H ∗ . The separate factorization condition|dδ/d lnq|·(∆q/q)≪1 — using the absolute derivative|dδ/d lnq| ≤ ε f ×2π/ lnb 0 , which is uniformly bounded for allq(the logarithmic derivatived lnδ/d lnqwould diverge at the zeros ofδ, but the absolute derivative does not; see Sec. 5.3) — is equally well controlled and introduces no additional tuning. FDTD analogy and cosmological causal structure. The companion FDTD pa- per [18] demonstrates log-periodic spectral imprinting in a controlled electromagnetic cavity; the correspondence to the cosmological FOPT warrants explicit comment. In the cavity, rigid static boundaries enforce global mode selection via discrete standing-wave conditions (Dirichlet or absorbing boundary conditions at the walls): the mode spectrum is shaped by the entire geometry simultaneously. In a FOPT no global boundary condition exists: bubbles nucleate independently within their past light cones, and causal horizons preclude global mode coherence. The structural role of the geometric boundary is instead played by the characteristic bubble spacingR ∗ ∼ v w /β, which acts as a local, dynamic filter. Modes withk ≫ R −1 ∗ are exponentially suppressed by the decay of the temporal correlation functionF(k,∆η) at large separations; modes withk ≪ R −1 ∗ see a nearly homo- geneous source and are coherently accessible. In the language of the companion framework paper [19],R ∗ plays the role of the boundary-conditioned mode density cutoff, with the plasma mean free path providing the dynamic spectral participation filter. Crucially, the factorization theorem of Sec. 3.2 relies only on the local conditionτ corr H ∗ ≪1 — set by β/H ∗ ≫1, independent of any global causal horizon structure. The FDTD result therefore validates the mathematical mechanism of DSI imprinting (that a log-periodically structured boundary parameter transfers its signature multiplicatively to the power spectrum), while the factorization theorem independently establishes the validity of that transfer in the cosmological context via purely local causal arguments. Distinguishability from other spectral features. The log-periodic modulation (16) produces a coherent, phase-stable sinusoid inlnf, persisting overN periods ∼6–13 full oscillations across the LISA band forb∈[1.7,2.8]. This is qualitatively distinct from other 22
known spectral features: (i) The kink at the crossover from sound-wave to turbulence domination is a single discontinuity in the spectral slope, not a periodic oscillation. (ii) A sharp bubble-collision peak is a feature of limited frequency extent, not a multi-period sinusoid. (iii) Stochastic backgrounds from astrophysical sources produce spectra that are smooth inlnfto high accuracy. A likelihood-ratio test between the smooth template Ω 0 GW and the DSI-modulated template (16) provides the optimal discriminant. The three-parameter family (b,ε,φ 0 ) can be mapped from the data by standard matched-filter techniques [2]. Parameter degeneracies. The phaseφ 0 merely shifts the oscillation inlnfand does not affect detectability;εandbcan be independently constrained from the oscillation depth and period respectively. The frequency resolution needed to resolve individual oscillations is ∆f/f ∼ lnb/(2π); forb= 2 this is ∆f/f ≈0.11, well within LISA’s capabilities over its four-year nominal mission. Alternative UV completions. The factorization result and the observable template (16) are model-independent consequences of DSI in the UETC, requiring onlyτ corr H ∗ ≪1. Walking technicolor is one concrete realization; other BSM models with approximate conformal symmetry and explicit periodic modulations — extended Higgs sectors with Coleman–Weinberg potentials modified by threshold corrections, Randall–Sundrum–type models with periodic radion potentials, or clockwork models [15] — are equally valid candidates and will produce the same spectral template with different (b,ε) values. A detection of log-periodic oscillations in the SGWB would uniquely fixbandε, allowing discrimination among UV completions. Multi-messenger signatures. Beyond gravitational waves, the DSI in the WTC potential generates log-periodic modulations in the technidilaton production rate and hence in the energy density of any dark-radiation component coupled to the hidden sector, providing in principle an independent observational handle on the same (ε,b) parameters. 7 Conclusions We have developed a phenomenological framework for log-periodic signatures of discrete scale invariance in the stochastic gravitational-wave background, and used it to evaluate walking technicolor as a candidate microphysical source. The main results are: 1.Factorization theorem. In the physically motivated short-correlation-time limit (τ corr H ∗ ≪1, satisfied forβ/H ∗ ≳10), a DSI modulation of the source UETC propagates to the observable Ω GW (f) at the per-cent level:P h =C(k)P 0 h [1 + O(τ corr H ∗ )]. The theorem is exact for separable UETCs (Fig. 1); theO(τ corr H ∗ ) bound applies to the controlled approximations of Sec. 3.2. 2. Universal spectral template. The observable signature is Ω GW = Ω 0 GW [1 + ε cos(2π ln(f/f ∗ )/ lnb+φ 0 )] — a sinusoid inlnfsuperimposed on the smooth baseline, characterized at leading order inτ corr H ∗ by three parameters (ε,b,φ 0 ). This template is independent of the microphysical origin of the DSI. 23
3.Matched-filter detectability.SNR osc ≃(ε/ √ 2)SNR baseline p N periods , withN periods
6–13 oscillations in the LISA band. This gives a useful enhancement over the naive εsuppression and defines the detectability landscape (Figs. 3–4) for any DSI source. 4.WTC as a candidate source: an empirical obstruction. Walking technicolor breaks approximate continuous scale invariance to DSI through a holographically motivated periodic modulation of the technidilaton potential, giving a propagator- level forecastε f ∈[0.04,0.18],b 0 ∈[1.7,2.8]. The observable amplitude in the SGWB is reduced fromε f by a geometric factorc geom from the source-tensor convolution. Explicit 3D numerical evaluation of the convolution (Fig. 5) for a free massive propagator, for the standard sound-shell spectral shape, and with the TT angular projector applied to either, gives|c geom |≲0.02 throughout. The implied observable bandε≲4×10 −3 falls about two orders of magnitude below LISA’s 5σmatched-filter threshold. The WTC log-periodic signal is therefore not LISA-detectable in any of the propagator structures evaluated here. 5.A sharp inverse problem. The saddle-point relationc geom (σ/q ∗ )≈ exp[−2π 2 (σ/q ∗ ) 2 / ln 2 b 0 ] makes the rescue condition explicit: a propagator with relative spectral width σ/q ∗ ≲0.2 (FWHM/q ∗ ≲0.5) is required to keepc geom ≳0.1. Candidate microphys- ical mechanisms that could deliver such a narrowing (Sec. 5.5) — a high-Qthermal resonance, a coherent technidilaton oscillation, or a bubble-wall-thickness localization — are identified as the natural targets for future microphysical calculation. A non-detection of log-periodic structure by LISA would place sharp upper limits on εas a function ofb, constraining the allowed parameter space for any DSI source. A detection would simultaneously reveal the discrete scaling ratio, the DSI amplitude, and the phase of the modulation, providing a unique window into the self-similar structure of the hidden-sector dynamics. In the meantime, the matched-filter template Eq. (16) is simple, well-defined, and implementable in any LISA data-analysis pipeline — ready to test any future microphysical prediction against the phenomenological backbone established here. Acknowledgments The author thanks the gravitational-wave and beyond-Standard-Model communities for stimulating discussions. No external funding was received for this work. References [1] P. Amaro-Seoane et al. (LISA Collaboration), “Laser Interferometer Space Antenna,” (2017) [arXiv:1702.00786]. [2] C. Caprini et al., “Science with the space-based interferometer eLISA. II: Grav- itational waves from cosmological phase transitions,” JCAP 1604, 001 (2016) [arXiv:1512.06239]. [3]G. Agazie et al. (NANOGrav Collaboration), “The NANOGrav 15 yr Data Set: Evidence for a Gravitational-Wave Background,” Astrophys. J. Lett. 951, L8 (2023) [arXiv:2306.16213]. 24
[4]D. J. Reardon et al. (PPTA Collaboration), “Search for an Isotropic Gravitational- Wave Background with the Parkes Pulsar Timing Array,” Astrophys. J. Lett. 951, L6 (2023) [arXiv:2306.16215]. [5]J. Antoniadis et al. (EPTA Collaboration), “The second data release from the European Pulsar Timing Array: V. Implications for massive black holes, dark matter and the early Universe,” Astron. Astrophys. 678, A50 (2023) [arXiv:2306.16227]. [6]M. Hindmarsh and M. Hijazi, “Gravitational waves from first-order cosmological phase transitions in the Sound Shell Model,” JCAP 12, 062 (2019) [arXiv:1909.10040]. [7]D. G. Figueroa, A. Florio, F. Guedes, and F. Torrenti, “Cosmological phase tran- sitions: From theory to gravitational wave phenomenology,” JCAP 03, 027 (2021) [arXiv:2010.00972]. [8]J. R. Espinosa, T. Konstandin, J. M. No, and G. Servant, “Energy Budget of Cosmological First-Order Phase Transitions,” JCAP 06, 028 (2010) [arXiv:1004.0691]. [9]C. Caprini and R. Durrer, “Gravitational waves from stochastic relativistic sources: Primordial turbulence and magnetic fields,” Phys. Rev. D 74, 063521 (2006) [arXiv:astro-ph/0603476]. [10]D. Sornette, “Discrete scale invariance and complex dimensions,” Phys. Rep. 297, 239 (1998) [arXiv:cond-mat/9707012]. [11]D. Sornette, Critical Phenomena in Natural Sciences: Chaos, Fractals, Self- Organization and Disorder: Concepts and Tools, 2nd ed. (Springer, 2006). [12] G. Calcagni and S. Kuroyanagi, “Log-periodic gravitational-wave background beyond Einstein gravity,” Class. Quantum Grav. 41, 015031 (2024) [arXiv:2308.05904]. [13]M. Miura, K. Ohnishi, T. Sawanaka, and K. Yamawaki, “Gravitational waves from walking technicolor,” (2019) [arXiv:1811.05670]. [14]S. Coleman and E. Weinberg, “Radiative corrections as the origin of spontaneous symmetry breaking,” Phys. Rev. D 7, 1888 (1973). [15]G. F. Giudice, Y. Kats, M. McCullough, R. Torre, and A. Urbano, “Clockwork/linear dilaton: structure and phenomenology,” JHEP 06, 098 (2018) [arXiv:1711.08437]. [16]L. Randall and R. Sundrum, “A large mass hierarchy from a small extra dimension,” Phys. Rev. Lett. 83, 3370 (1999) [arXiv:hep-ph/9905221]. [17]W. D. Goldberger and M. B. Wise, “Moduli stabilization with bulk fields,” Phys. Rev. Lett. 83, 4922 (1999) [arXiv:hep-ph/9907447]. [18]J. F. Rankin, “Log-periodic spectral hierarchies in a boundary-driven electromagnetic cavity: evidence from FDTD simulations,” preprint (2026). [19] J. F. Rankin, “A phenomenological framework for mode-accessibility engineering in structured field environments,” preprint (2026). 25
The paper is mathematically careful in its phenomenological core and intellectually honest about the speculative nature of its UV completion. The factorization theorem (Sec 3.2) is the strongest result: it is derived under controlled approximations, validated numerically with a clean separable test (Fig. 1, residual at numerical floor), and bounded explicitly via integration-by-parts with the error budget tracked in Table 1. The matched-filter scaling SNR_osc ~ (ε/√2) √N_periods SNR_bin follows straightforwardly. The author distinguishes derived claims from conjectural ones via Table 2, which is unusually rigorous.
Mathematical validity is weakened, however, in the WTC application. Three load-bearing equations are stated without full derivation: the holographic transfer Eq. (31), the propagator modulation Eq. (32), and most importantly the saddle-point formula Eq. (39) underlying the central 'inverse problem' result. The author flags the WTC chain as a 'constructive existence proof' rather than a derivation, which is honest but does mean that the inverse-problem narrowness criterion σ/q_* ≲ 0.2 relies on an unverified analytic step. Numerical agreement in the tested range partially mitigates this for Eq. (39), and the negative observational conclusion (|c_geom|≲0.02, signal undetectable) is robust to O(1) shifts in the underlying parameters. Overall, the work is internally consistent and methodologically sound, with mathematical gaps concentrated in the WTC UV-completion section that the author transparently acknowledges.
⚑Derivation Flags (24)
- highEq. (32) — The transfer from a periodic technidilaton potential modulation to a multiplicative gauge propagator modulation D(q)=D_0(q)[1+δ(q)] is highly compressed. For an ordinary propagator D(q)=1/(q^2+m_V^2), a modulation of m_V^2 would generally give a fractional propagator response proportional to −δm_V^2/(q^2+m_V^2), not a uniform multiplicative ε_f cos modulation. The effect of the technidilaton scaling dimension on the log-period is also only qualitatively mentioned.
If wrong: The propagator-level WTC modulation amplitude and period may not be those used in Secs. 5.3–5.4. If Eq. (32) is invalid, then the subsequent convolution analysis is not connected to the stated WTC microphysics, and the WTC detectability/non-detectability conclusion is unsupported.
- highEq. (38), Eq. (41), Fig. 5 definition of c_geom — The normalization of c_geom changes by a factor of two. Sec. 5.3 states ε = 2ε_f c_geom because two cross-terms contribute, and Fig. 5 defines c_geom = R_peak/(2ε_f). Sec. 5.4 then uses ε ∼ c_geom ε_f in Eq. (41).
If wrong: The quoted observable amplitude bound ε ≲ 4×10^-3 is off by a factor of two under the earlier definition. The qualitative non-detectability conclusion may remain, but the quantitative WTC amplitude mapping is internally inconsistent.
- highEq. (39) saddle-point formula for c_geom(σ/q*) — Closed-form exponential suppression for c_geom is stated without derivation and without specifying the exact integral (including TT projector choice) to which the saddle-point applies.
If wrong: The quantitative ‘rescue’ criterion σ/q*≲0.2 (and associated FWHM bounds) could shift materially; the inverse-problem target might be misestimated.
- highEqs. (33)–(38) convolution factorization and the definition of c_geom — The argument that δ(p)≈δ(k) over the support of D0(p) and that δ(|k−p|) gives only an O(m_V/q*) boundary correction is heuristic and scaling-based; it does not provide an explicit bound on the oscillatory cancellations nor a precise definition of c_geom in terms of the convolution integral used in numerics.
If wrong: If δ(|k−p|) contributes comparably in regions not captured by the scaling estimate, the magnitude and even sign of the effective modulation could differ; the claimed suppression |c_geom|≲0.02 might be an artifact of the chosen ansätze or approximations.
- highFig. 5 and Sec. 5.3 quantitative geometric requirement — The central numerical claim |c_geom| ≲ 0.02 is not reproducible from the text alone: the exact 3D integration domain, normalization, TT projector variants, treatment of the k-dependence, and extraction of c_geom are not fully specified.
If wrong: The main WTC conclusion that the observable log-periodic feature is below LISA detectability would fail or require substantial revision. This is a load-bearing numerical derivation gap.
- mediumEq. (13) and the step to Eq. (14) — Integration-by-parts bound on \tilde I(k,η) assumes differentiability/smoothness of a^4 S and vanishing boundary terms, then translates to |\tilde I|/I0 ≲ H*/k. The discussion admits S may have features varying on β^{-1}, weakening the bound to O(1), but no alternative bound is derived.
If wrong: If |\tilde I|/I0 is not small across the band of interest, the claim that the Green’s-function/time integration cannot generate log-periodic contamination at period ln b becomes unsupported; factorization accuracy becomes model-dependent.
- mediumEq. (13)–Eq. (15) — The integration-by-parts bound on the oscillatory Green-function term is plausible for smooth compact envelopes, but the conversion |I_tilde|/I_0 ≲ H_*/k ∼ τ_corr H_* mixes characteristic source-frame scales, comoving k, and redshift factors without a fully explicit convention. The later claim that linear-k oscillations cannot contaminate log-k periodicity is explicitly described as heuristic.
If wrong: The paper's stated per-cent-level correction estimate in Eq. (15) would not be generally established. The main multiplicative factorization remains exact only under the stronger separability/multiplicative ansatz, not under the broader smooth-envelope argument.
- mediumEq. (22)–Eq. (26) — The matched-filter scaling SNR_osc = (ε/√2) sqrt(N_periods) SNR_bin assumes complete log-periods and effectively constant or period-averaged baseline/noise weighting across periods. The derivation does not show how the result changes when Ω_GW^0(f)/σ(f) varies strongly over the band or when the number of periods is non-integer.
If wrong: The detectability contours in Figs. 3–4 could be quantitatively inaccurate. The qualitative ε-scaling remains plausible, but the sqrt(N_periods) enhancement is not generally established without specifying the weighting.
- mediumEq. (31) — The relation V_4(φ) ≈ V_CW(φ)[1 + 4δA_0 cos(2π ln(φ/φ_0)/ln b_0) + O(δA_0^2)] from a periodic warp-factor perturbation is asserted, with the paper explicitly saying it is not derived from a complete 5D action.
If wrong: The WTC parameter window ε_f ∈ [0.04,0.18], b_0 ∈ [1.7,2.8] would lose its stated holographic support. The phenomenological DSI template would remain valid, but the WTC UV-completion mapping would be speculative.
- mediumEq. (31), Sec 5.2 — Linear-order map from a periodic warp-factor perturbation δA_0 sin(n_p k y) to the 4D potential modulation V_CW[1 + 4 δA_0 cos(2π ln(φ/φ_0)/ln b_0)] is stated by reference to [17] without explicit derivation. The factor of 4 and the identification ln b_0 = kL/n_p are not derived in the text.
If wrong: If the prefactor or log-periodicity identification is off, the WTC parameter window ε_f∈[0.04,0.18], b_0∈[1.7,2.8] (Eq. 40) shifts by O(1) factors. This affects the WTC inverse-problem framing but not the phenomenological backbone (Sec 3-4).
- mediumEq. (32) (V(φ) modulation → propagator modulation δ(q)) — The chain-rule argument mapping a periodic modulation in the technidilaton potential to a multiplicative modulation of the gauge propagator is sketched without an explicit functional dependence D(q; m_V(φ(q))) and without showing that δm_V^2/m_V^2 inherits the same cosine with unit coefficient (up to Δ_φ).
If wrong: If the propagator modulation is not multiplicative or the mapping introduces phase shifts/harmonics/suppression, then the predicted ε_f window would not translate into the assumed δ(q), undermining the WTC parameter mapping.
- mediumEq. (35)–Eq. (38) — The convolution factorization initially assumes D_0(p) is sharply peaked with relative width Δp/p ∼ τ_corr H_* ≪ 1, allowing δ(p) ≈ δ(k). Later, the paper finds that realistic sound-shell support has σ/q_* ≈ 0.6 and washes out the modulation. The conditional narrow-support derivation and the later broad-support result are not cleanly reconciled in Eq. (38), which still presents a multiplicative UETC modulation with ε ∼ ε_f up to c_geom.
If wrong: The derivation of Eq. (38) cannot be used as a general WTC transfer formula. The observable amplitude must instead be obtained from the full convolution, and the intermediate claim of approximate factorization at the UETC level becomes model-dependent.
- mediumEq. (39) — The saddle-point expression c_geom(σ/q_*) ≈ exp[-2π^2(σ/q_*)^2/ln^2 b_0] is stated without showing the saddle point, the precise angular measure, normalization of c_geom, or the assumptions under which the Gaussian damping formula follows.
If wrong: The inferred rescue condition σ/q_* ≲ 0.2 and FWHM/q_* ≲ 0.5 may be quantitatively wrong. This would weaken the inverse-problem conclusion identifying the required spectral narrowness.
- mediumEq. (39) and surrounding text — Saddle-point expansion of the angular integral giving c_geom ≈ exp[...] is stated without derivation; no steps or assumptions are provided. The formula underpins the analytic condition for detectability.
If wrong: The quantitative threshold σ/q_* ≲ 0.2 for recoverable modulation could be misestimated, and the analytic explanation of the geometric suppression would be unsupported, though the numerical results in Fig. 5a independently show small c_geom for realistic widths.
- mediumEq. (39), Sec 5.3 — Closed-form saddle-point expression for c_geom(σ/q_*) is stated without showing the saddle-point derivation; only numerical agreement is provided.
If wrong: If the analytic form is incorrect, the extrapolated narrowness requirement σ/q_* ≲ 0.2 (the central 'inverse problem' result of Conclusion 5) would still be supported by the numerical data in the tested range but the functional extrapolation beyond tested σ/q_* values would be unreliable.
- mediumEq. (9) — Replacement of a finite-width temporal correlator F(k,Δη) by F(k)δ(η−η′) with error summarized as O(τ_corr H*), while the text also notes the Green’s function varies on k^{-1} and that at k~β/v_w one has kτ_corr~1 (marginal). A mathematically precise bound on the induced spectral error at/near the peak is not derived.
If wrong: If the δ-approximation induces order-unity distortion near the peak, then Eq. (15)–(16) may fail in the most relevant frequency region and the claimed clean multiplicative imprinting could be significantly degraded.
- mediumEq. (9) and surrounding text in Sec. 3.2 — The delta-function replacement F(k, Δη) ≃ F(k)δ(η−η′) and the subsequent evaluation of G_k(η,η_2) at η_2=η_1 are sketched. The stated slow-variation condition is also problematic: if G varies on scale k^{-1}, then replacing it by its value at η_1 over a correlation width τ_corr requires k τ_corr ≪ 1, whereas the text says that for k ≫ β/v_w, k^{-1} ≪ τ_corr is automatic, which is the opposite inequality for pointwise slow variation.
If wrong: The claimed O(τ_corr H_*) controlled error bound for the delta-function route to factorization would fail. The exact algebraic factorization for strictly separable multiplicative C(k) UETCs would still survive, but the broader controlled-approximation theorem for non-ideal UETCs would be weakened.
- mediumEqs. (23)–(26) matched-filter scaling — Derivation of SNR_osc scaling assumes (a) complete log-periods in band and (b) effectively constant weighting so that ⟨cos^2⟩=1/2 over each bin, but does not address edge effects, varying σ(f), or correlation between baseline parameters and oscillatory template when Ω0 is not known exactly. Additionally, baseline SNR definitions drift (SNR_bin vs SNR_total).
If wrong: If weighting varies strongly with f or Ω0 uncertainty is included, the √N_periods enhancement and the numerical detectability contours could change; the claimed amplification may be overestimated.
- mediumSec 3.2, scale-separation/spectral non-contamination claim — Argument that linear-k oscillations of tilde-I cannot generate log-periodic contamination at period ln b is acknowledged as 'heuristic' and supported only by the separable numerical test, which is not the relevant case for non-separable contamination.
If wrong: If beat/window phenomena between linear-k and log-k features can couple, additional spurious log-periodic structure could be generated in P^0_h, contaminating the template's interpretation. Author flags this honestly.
- lowEq. (15) factorization error statement — The statement P_h = C(k) P_h^0 [1+O(τ_corr H*)] is presented as a theorem with quantified error, but the paper also states that for generic non-separable UETCs the estimate is not universal and needs model-specific analysis. The mapping between these regimes is not formalized.
If wrong: Readers may over-apply the percent-level bound to non-separable sources; conclusions about ‘universal’ imprinting strength could be overstated outside the separable class.
- lowEq. (18) — The adopted sound-wave baseline formula is stated without derivation. In addition, the dependence on H_*/β is written quadratically, whereas the commonly used sound-wave fit is often linear in H_*/β before additional lifetime-suppression factors. This may be a convention or modeling choice, but it is not justified within the paper.
If wrong: The numerical baseline amplitude and hence the plotted detectability contours could shift. This does not invalidate the log-periodic template itself, but it affects quantitative LISA reach estimates.
- lowEq. (32), Sec 5.2 — Transfer of the modulation from V(φ) to the gauge propagator D(q) uses a chain-rule argument δm²_V/m²_V = ε_f cos(...) but glosses over the dependence on the technidilaton scaling dimension Δ_φ. The author acknowledges Δ_φ ≈ 1 'O(1) not exactly unity' shifts the inherited b.
If wrong: Would rescale b relative to b_0 by an O(1) factor; does not change the qualitative conclusion.
- lowFig. 1 numerical validation — The figure caption/text reports maximum deviation at the numerical floor, but the plotted label appears as approximately 1.80e16 rather than 1.80e-16. This is likely a typesetting/sign error. More substantively, the validation only tests exactly separable UETCs, for which factorization is algebraic, and therefore does not validate the non-separable O(τ_corr H_*) corrections advertised in Table 1.
If wrong: The numerical test would not support the claimed robustness beyond separable kernels. The exact separable case is still mathematically straightforward, but the simulation should not be used as evidence for the general correction budget.
- lowSec 3.2, mass-gap boundary estimate — The phase-space scaling argument that the small |k−p| region contributes ~m_V/q_* relative to bulk is sketched dimensionally rather than computed via an explicit integral.
If wrong: Sets the ~10% mass-gap error in the WTC error budget; would only marginally shift the already-small c_geom.
Within the paper’s stated assumptions, the qualitative logic of ‘DSI modulation in k present multiplicatively in the UETC implies a multiplicative log-periodic modulation in the observed spectrum’ is mathematically consistent for separable UETCs: C(k) factors out of the time integrals in Eq. (4) algebraically. The discussion around Green’s-function oscillations provides a plausible argument that additional time-integration structure produces oscillations in linear k rather than fixed-period oscillations in ln k, though the bound depends on envelope smoothness.
The main weaknesses, from a rigor standpoint, are (i) a central inconsistency in the matched-filter SNR definitions (per-bin vs full-band) that directly affects detectability scalings, and (ii) the reliance on an unproven saddle-point closed form (Eq. 39) to set the quantitative ‘inverse problem’ target width for c_geom. The convolution/factorization analysis for c_geom is also only partially formalized. As a result, the framework is mathematically promising but the quantitative detectability and ‘required narrowing’ claims need tighter derivations and consistent SNR bookkeeping to be fully reliable.
⚑Derivation Flags (24)
- highEq. (32) — The transfer from a periodic technidilaton potential modulation to a multiplicative gauge propagator modulation D(q)=D_0(q)[1+δ(q)] is highly compressed. For an ordinary propagator D(q)=1/(q^2+m_V^2), a modulation of m_V^2 would generally give a fractional propagator response proportional to −δm_V^2/(q^2+m_V^2), not a uniform multiplicative ε_f cos modulation. The effect of the technidilaton scaling dimension on the log-period is also only qualitatively mentioned.
If wrong: The propagator-level WTC modulation amplitude and period may not be those used in Secs. 5.3–5.4. If Eq. (32) is invalid, then the subsequent convolution analysis is not connected to the stated WTC microphysics, and the WTC detectability/non-detectability conclusion is unsupported.
- highEq. (38), Eq. (41), Fig. 5 definition of c_geom — The normalization of c_geom changes by a factor of two. Sec. 5.3 states ε = 2ε_f c_geom because two cross-terms contribute, and Fig. 5 defines c_geom = R_peak/(2ε_f). Sec. 5.4 then uses ε ∼ c_geom ε_f in Eq. (41).
If wrong: The quoted observable amplitude bound ε ≲ 4×10^-3 is off by a factor of two under the earlier definition. The qualitative non-detectability conclusion may remain, but the quantitative WTC amplitude mapping is internally inconsistent.
- highEq. (39) saddle-point formula for c_geom(σ/q*) — Closed-form exponential suppression for c_geom is stated without derivation and without specifying the exact integral (including TT projector choice) to which the saddle-point applies.
If wrong: The quantitative ‘rescue’ criterion σ/q*≲0.2 (and associated FWHM bounds) could shift materially; the inverse-problem target might be misestimated.
- highEqs. (33)–(38) convolution factorization and the definition of c_geom — The argument that δ(p)≈δ(k) over the support of D0(p) and that δ(|k−p|) gives only an O(m_V/q*) boundary correction is heuristic and scaling-based; it does not provide an explicit bound on the oscillatory cancellations nor a precise definition of c_geom in terms of the convolution integral used in numerics.
If wrong: If δ(|k−p|) contributes comparably in regions not captured by the scaling estimate, the magnitude and even sign of the effective modulation could differ; the claimed suppression |c_geom|≲0.02 might be an artifact of the chosen ansätze or approximations.
- highFig. 5 and Sec. 5.3 quantitative geometric requirement — The central numerical claim |c_geom| ≲ 0.02 is not reproducible from the text alone: the exact 3D integration domain, normalization, TT projector variants, treatment of the k-dependence, and extraction of c_geom are not fully specified.
If wrong: The main WTC conclusion that the observable log-periodic feature is below LISA detectability would fail or require substantial revision. This is a load-bearing numerical derivation gap.
- mediumEq. (13) and the step to Eq. (14) — Integration-by-parts bound on \tilde I(k,η) assumes differentiability/smoothness of a^4 S and vanishing boundary terms, then translates to |\tilde I|/I0 ≲ H*/k. The discussion admits S may have features varying on β^{-1}, weakening the bound to O(1), but no alternative bound is derived.
If wrong: If |\tilde I|/I0 is not small across the band of interest, the claim that the Green’s-function/time integration cannot generate log-periodic contamination at period ln b becomes unsupported; factorization accuracy becomes model-dependent.
- mediumEq. (13)–Eq. (15) — The integration-by-parts bound on the oscillatory Green-function term is plausible for smooth compact envelopes, but the conversion |I_tilde|/I_0 ≲ H_*/k ∼ τ_corr H_* mixes characteristic source-frame scales, comoving k, and redshift factors without a fully explicit convention. The later claim that linear-k oscillations cannot contaminate log-k periodicity is explicitly described as heuristic.
If wrong: The paper's stated per-cent-level correction estimate in Eq. (15) would not be generally established. The main multiplicative factorization remains exact only under the stronger separability/multiplicative ansatz, not under the broader smooth-envelope argument.
- mediumEq. (22)–Eq. (26) — The matched-filter scaling SNR_osc = (ε/√2) sqrt(N_periods) SNR_bin assumes complete log-periods and effectively constant or period-averaged baseline/noise weighting across periods. The derivation does not show how the result changes when Ω_GW^0(f)/σ(f) varies strongly over the band or when the number of periods is non-integer.
If wrong: The detectability contours in Figs. 3–4 could be quantitatively inaccurate. The qualitative ε-scaling remains plausible, but the sqrt(N_periods) enhancement is not generally established without specifying the weighting.
- mediumEq. (31) — The relation V_4(φ) ≈ V_CW(φ)[1 + 4δA_0 cos(2π ln(φ/φ_0)/ln b_0) + O(δA_0^2)] from a periodic warp-factor perturbation is asserted, with the paper explicitly saying it is not derived from a complete 5D action.
If wrong: The WTC parameter window ε_f ∈ [0.04,0.18], b_0 ∈ [1.7,2.8] would lose its stated holographic support. The phenomenological DSI template would remain valid, but the WTC UV-completion mapping would be speculative.
- mediumEq. (31), Sec 5.2 — Linear-order map from a periodic warp-factor perturbation δA_0 sin(n_p k y) to the 4D potential modulation V_CW[1 + 4 δA_0 cos(2π ln(φ/φ_0)/ln b_0)] is stated by reference to [17] without explicit derivation. The factor of 4 and the identification ln b_0 = kL/n_p are not derived in the text.
If wrong: If the prefactor or log-periodicity identification is off, the WTC parameter window ε_f∈[0.04,0.18], b_0∈[1.7,2.8] (Eq. 40) shifts by O(1) factors. This affects the WTC inverse-problem framing but not the phenomenological backbone (Sec 3-4).
- mediumEq. (32) (V(φ) modulation → propagator modulation δ(q)) — The chain-rule argument mapping a periodic modulation in the technidilaton potential to a multiplicative modulation of the gauge propagator is sketched without an explicit functional dependence D(q; m_V(φ(q))) and without showing that δm_V^2/m_V^2 inherits the same cosine with unit coefficient (up to Δ_φ).
If wrong: If the propagator modulation is not multiplicative or the mapping introduces phase shifts/harmonics/suppression, then the predicted ε_f window would not translate into the assumed δ(q), undermining the WTC parameter mapping.
- mediumEq. (35)–Eq. (38) — The convolution factorization initially assumes D_0(p) is sharply peaked with relative width Δp/p ∼ τ_corr H_* ≪ 1, allowing δ(p) ≈ δ(k). Later, the paper finds that realistic sound-shell support has σ/q_* ≈ 0.6 and washes out the modulation. The conditional narrow-support derivation and the later broad-support result are not cleanly reconciled in Eq. (38), which still presents a multiplicative UETC modulation with ε ∼ ε_f up to c_geom.
If wrong: The derivation of Eq. (38) cannot be used as a general WTC transfer formula. The observable amplitude must instead be obtained from the full convolution, and the intermediate claim of approximate factorization at the UETC level becomes model-dependent.
- mediumEq. (39) — The saddle-point expression c_geom(σ/q_*) ≈ exp[-2π^2(σ/q_*)^2/ln^2 b_0] is stated without showing the saddle point, the precise angular measure, normalization of c_geom, or the assumptions under which the Gaussian damping formula follows.
If wrong: The inferred rescue condition σ/q_* ≲ 0.2 and FWHM/q_* ≲ 0.5 may be quantitatively wrong. This would weaken the inverse-problem conclusion identifying the required spectral narrowness.
- mediumEq. (39) and surrounding text — Saddle-point expansion of the angular integral giving c_geom ≈ exp[...] is stated without derivation; no steps or assumptions are provided. The formula underpins the analytic condition for detectability.
If wrong: The quantitative threshold σ/q_* ≲ 0.2 for recoverable modulation could be misestimated, and the analytic explanation of the geometric suppression would be unsupported, though the numerical results in Fig. 5a independently show small c_geom for realistic widths.
- mediumEq. (39), Sec 5.3 — Closed-form saddle-point expression for c_geom(σ/q_*) is stated without showing the saddle-point derivation; only numerical agreement is provided.
If wrong: If the analytic form is incorrect, the extrapolated narrowness requirement σ/q_* ≲ 0.2 (the central 'inverse problem' result of Conclusion 5) would still be supported by the numerical data in the tested range but the functional extrapolation beyond tested σ/q_* values would be unreliable.
- mediumEq. (9) — Replacement of a finite-width temporal correlator F(k,Δη) by F(k)δ(η−η′) with error summarized as O(τ_corr H*), while the text also notes the Green’s function varies on k^{-1} and that at k~β/v_w one has kτ_corr~1 (marginal). A mathematically precise bound on the induced spectral error at/near the peak is not derived.
If wrong: If the δ-approximation induces order-unity distortion near the peak, then Eq. (15)–(16) may fail in the most relevant frequency region and the claimed clean multiplicative imprinting could be significantly degraded.
- mediumEq. (9) and surrounding text in Sec. 3.2 — The delta-function replacement F(k, Δη) ≃ F(k)δ(η−η′) and the subsequent evaluation of G_k(η,η_2) at η_2=η_1 are sketched. The stated slow-variation condition is also problematic: if G varies on scale k^{-1}, then replacing it by its value at η_1 over a correlation width τ_corr requires k τ_corr ≪ 1, whereas the text says that for k ≫ β/v_w, k^{-1} ≪ τ_corr is automatic, which is the opposite inequality for pointwise slow variation.
If wrong: The claimed O(τ_corr H_*) controlled error bound for the delta-function route to factorization would fail. The exact algebraic factorization for strictly separable multiplicative C(k) UETCs would still survive, but the broader controlled-approximation theorem for non-ideal UETCs would be weakened.
- mediumEqs. (23)–(26) matched-filter scaling — Derivation of SNR_osc scaling assumes (a) complete log-periods in band and (b) effectively constant weighting so that ⟨cos^2⟩=1/2 over each bin, but does not address edge effects, varying σ(f), or correlation between baseline parameters and oscillatory template when Ω0 is not known exactly. Additionally, baseline SNR definitions drift (SNR_bin vs SNR_total).
If wrong: If weighting varies strongly with f or Ω0 uncertainty is included, the √N_periods enhancement and the numerical detectability contours could change; the claimed amplification may be overestimated.
- mediumSec 3.2, scale-separation/spectral non-contamination claim — Argument that linear-k oscillations of tilde-I cannot generate log-periodic contamination at period ln b is acknowledged as 'heuristic' and supported only by the separable numerical test, which is not the relevant case for non-separable contamination.
If wrong: If beat/window phenomena between linear-k and log-k features can couple, additional spurious log-periodic structure could be generated in P^0_h, contaminating the template's interpretation. Author flags this honestly.
- lowEq. (15) factorization error statement — The statement P_h = C(k) P_h^0 [1+O(τ_corr H*)] is presented as a theorem with quantified error, but the paper also states that for generic non-separable UETCs the estimate is not universal and needs model-specific analysis. The mapping between these regimes is not formalized.
If wrong: Readers may over-apply the percent-level bound to non-separable sources; conclusions about ‘universal’ imprinting strength could be overstated outside the separable class.
- lowEq. (18) — The adopted sound-wave baseline formula is stated without derivation. In addition, the dependence on H_*/β is written quadratically, whereas the commonly used sound-wave fit is often linear in H_*/β before additional lifetime-suppression factors. This may be a convention or modeling choice, but it is not justified within the paper.
If wrong: The numerical baseline amplitude and hence the plotted detectability contours could shift. This does not invalidate the log-periodic template itself, but it affects quantitative LISA reach estimates.
- lowEq. (32), Sec 5.2 — Transfer of the modulation from V(φ) to the gauge propagator D(q) uses a chain-rule argument δm²_V/m²_V = ε_f cos(...) but glosses over the dependence on the technidilaton scaling dimension Δ_φ. The author acknowledges Δ_φ ≈ 1 'O(1) not exactly unity' shifts the inherited b.
If wrong: Would rescale b relative to b_0 by an O(1) factor; does not change the qualitative conclusion.
- lowFig. 1 numerical validation — The figure caption/text reports maximum deviation at the numerical floor, but the plotted label appears as approximately 1.80e16 rather than 1.80e-16. This is likely a typesetting/sign error. More substantively, the validation only tests exactly separable UETCs, for which factorization is algebraic, and therefore does not validate the non-separable O(τ_corr H_*) corrections advertised in Table 1.
If wrong: The numerical test would not support the claimed robustness beyond separable kernels. The exact separable case is still mathematically straightforward, but the simulation should not be used as evidence for the general correction budget.
- lowSec 3.2, mass-gap boundary estimate — The phase-space scaling argument that the small |k−p| region contributes ~m_V/q_* relative to bulk is sketched dimensionally rather than computed via an explicit integral.
If wrong: Sets the ~10% mass-gap error in the WTC error budget; would only marginally shift the already-small c_geom.
The paper presents a logically structured argument linking discrete scale invariance in a source unequal-time correlator to a log-periodic modulation in the stochastic GW background. The factorization theorem is well-motivated, and its mathematical handling via separable forms and error bounds is rigorous for the controlled approximations considered. The matched-filter detectability scaling is a useful phenomenological tool. The transition to a walking-technicolor realisation introduces a candidate UV completion, and the geometric suppression factor is computed numerically for several propagator shapes, leading to the conclusion that the signal is not LISA-detectable. However, the analytical closed-form saddle-point estimate that underpins the quantitative condition for recovery is stated without derivation, which leaves a notable gap in the theoretical backbone. The overall logic remains consistent, and the scores reflect a solid but not fully self-contained mathematical treatment, with the central unverified step capping the mathematical validity at 3.
⚑Derivation Flags (24)
- highEq. (32) — The transfer from a periodic technidilaton potential modulation to a multiplicative gauge propagator modulation D(q)=D_0(q)[1+δ(q)] is highly compressed. For an ordinary propagator D(q)=1/(q^2+m_V^2), a modulation of m_V^2 would generally give a fractional propagator response proportional to −δm_V^2/(q^2+m_V^2), not a uniform multiplicative ε_f cos modulation. The effect of the technidilaton scaling dimension on the log-period is also only qualitatively mentioned.
If wrong: The propagator-level WTC modulation amplitude and period may not be those used in Secs. 5.3–5.4. If Eq. (32) is invalid, then the subsequent convolution analysis is not connected to the stated WTC microphysics, and the WTC detectability/non-detectability conclusion is unsupported.
- highEq. (38), Eq. (41), Fig. 5 definition of c_geom — The normalization of c_geom changes by a factor of two. Sec. 5.3 states ε = 2ε_f c_geom because two cross-terms contribute, and Fig. 5 defines c_geom = R_peak/(2ε_f). Sec. 5.4 then uses ε ∼ c_geom ε_f in Eq. (41).
If wrong: The quoted observable amplitude bound ε ≲ 4×10^-3 is off by a factor of two under the earlier definition. The qualitative non-detectability conclusion may remain, but the quantitative WTC amplitude mapping is internally inconsistent.
- highEq. (39) saddle-point formula for c_geom(σ/q*) — Closed-form exponential suppression for c_geom is stated without derivation and without specifying the exact integral (including TT projector choice) to which the saddle-point applies.
If wrong: The quantitative ‘rescue’ criterion σ/q*≲0.2 (and associated FWHM bounds) could shift materially; the inverse-problem target might be misestimated.
- highEqs. (33)–(38) convolution factorization and the definition of c_geom — The argument that δ(p)≈δ(k) over the support of D0(p) and that δ(|k−p|) gives only an O(m_V/q*) boundary correction is heuristic and scaling-based; it does not provide an explicit bound on the oscillatory cancellations nor a precise definition of c_geom in terms of the convolution integral used in numerics.
If wrong: If δ(|k−p|) contributes comparably in regions not captured by the scaling estimate, the magnitude and even sign of the effective modulation could differ; the claimed suppression |c_geom|≲0.02 might be an artifact of the chosen ansätze or approximations.
- highFig. 5 and Sec. 5.3 quantitative geometric requirement — The central numerical claim |c_geom| ≲ 0.02 is not reproducible from the text alone: the exact 3D integration domain, normalization, TT projector variants, treatment of the k-dependence, and extraction of c_geom are not fully specified.
If wrong: The main WTC conclusion that the observable log-periodic feature is below LISA detectability would fail or require substantial revision. This is a load-bearing numerical derivation gap.
- mediumEq. (13) and the step to Eq. (14) — Integration-by-parts bound on \tilde I(k,η) assumes differentiability/smoothness of a^4 S and vanishing boundary terms, then translates to |\tilde I|/I0 ≲ H*/k. The discussion admits S may have features varying on β^{-1}, weakening the bound to O(1), but no alternative bound is derived.
If wrong: If |\tilde I|/I0 is not small across the band of interest, the claim that the Green’s-function/time integration cannot generate log-periodic contamination at period ln b becomes unsupported; factorization accuracy becomes model-dependent.
- mediumEq. (13)–Eq. (15) — The integration-by-parts bound on the oscillatory Green-function term is plausible for smooth compact envelopes, but the conversion |I_tilde|/I_0 ≲ H_*/k ∼ τ_corr H_* mixes characteristic source-frame scales, comoving k, and redshift factors without a fully explicit convention. The later claim that linear-k oscillations cannot contaminate log-k periodicity is explicitly described as heuristic.
If wrong: The paper's stated per-cent-level correction estimate in Eq. (15) would not be generally established. The main multiplicative factorization remains exact only under the stronger separability/multiplicative ansatz, not under the broader smooth-envelope argument.
- mediumEq. (22)–Eq. (26) — The matched-filter scaling SNR_osc = (ε/√2) sqrt(N_periods) SNR_bin assumes complete log-periods and effectively constant or period-averaged baseline/noise weighting across periods. The derivation does not show how the result changes when Ω_GW^0(f)/σ(f) varies strongly over the band or when the number of periods is non-integer.
If wrong: The detectability contours in Figs. 3–4 could be quantitatively inaccurate. The qualitative ε-scaling remains plausible, but the sqrt(N_periods) enhancement is not generally established without specifying the weighting.
- mediumEq. (31) — The relation V_4(φ) ≈ V_CW(φ)[1 + 4δA_0 cos(2π ln(φ/φ_0)/ln b_0) + O(δA_0^2)] from a periodic warp-factor perturbation is asserted, with the paper explicitly saying it is not derived from a complete 5D action.
If wrong: The WTC parameter window ε_f ∈ [0.04,0.18], b_0 ∈ [1.7,2.8] would lose its stated holographic support. The phenomenological DSI template would remain valid, but the WTC UV-completion mapping would be speculative.
- mediumEq. (31), Sec 5.2 — Linear-order map from a periodic warp-factor perturbation δA_0 sin(n_p k y) to the 4D potential modulation V_CW[1 + 4 δA_0 cos(2π ln(φ/φ_0)/ln b_0)] is stated by reference to [17] without explicit derivation. The factor of 4 and the identification ln b_0 = kL/n_p are not derived in the text.
If wrong: If the prefactor or log-periodicity identification is off, the WTC parameter window ε_f∈[0.04,0.18], b_0∈[1.7,2.8] (Eq. 40) shifts by O(1) factors. This affects the WTC inverse-problem framing but not the phenomenological backbone (Sec 3-4).
- mediumEq. (32) (V(φ) modulation → propagator modulation δ(q)) — The chain-rule argument mapping a periodic modulation in the technidilaton potential to a multiplicative modulation of the gauge propagator is sketched without an explicit functional dependence D(q; m_V(φ(q))) and without showing that δm_V^2/m_V^2 inherits the same cosine with unit coefficient (up to Δ_φ).
If wrong: If the propagator modulation is not multiplicative or the mapping introduces phase shifts/harmonics/suppression, then the predicted ε_f window would not translate into the assumed δ(q), undermining the WTC parameter mapping.
- mediumEq. (35)–Eq. (38) — The convolution factorization initially assumes D_0(p) is sharply peaked with relative width Δp/p ∼ τ_corr H_* ≪ 1, allowing δ(p) ≈ δ(k). Later, the paper finds that realistic sound-shell support has σ/q_* ≈ 0.6 and washes out the modulation. The conditional narrow-support derivation and the later broad-support result are not cleanly reconciled in Eq. (38), which still presents a multiplicative UETC modulation with ε ∼ ε_f up to c_geom.
If wrong: The derivation of Eq. (38) cannot be used as a general WTC transfer formula. The observable amplitude must instead be obtained from the full convolution, and the intermediate claim of approximate factorization at the UETC level becomes model-dependent.
- mediumEq. (39) — The saddle-point expression c_geom(σ/q_*) ≈ exp[-2π^2(σ/q_*)^2/ln^2 b_0] is stated without showing the saddle point, the precise angular measure, normalization of c_geom, or the assumptions under which the Gaussian damping formula follows.
If wrong: The inferred rescue condition σ/q_* ≲ 0.2 and FWHM/q_* ≲ 0.5 may be quantitatively wrong. This would weaken the inverse-problem conclusion identifying the required spectral narrowness.
- mediumEq. (39) and surrounding text — Saddle-point expansion of the angular integral giving c_geom ≈ exp[...] is stated without derivation; no steps or assumptions are provided. The formula underpins the analytic condition for detectability.
If wrong: The quantitative threshold σ/q_* ≲ 0.2 for recoverable modulation could be misestimated, and the analytic explanation of the geometric suppression would be unsupported, though the numerical results in Fig. 5a independently show small c_geom for realistic widths.
- mediumEq. (39), Sec 5.3 — Closed-form saddle-point expression for c_geom(σ/q_*) is stated without showing the saddle-point derivation; only numerical agreement is provided.
If wrong: If the analytic form is incorrect, the extrapolated narrowness requirement σ/q_* ≲ 0.2 (the central 'inverse problem' result of Conclusion 5) would still be supported by the numerical data in the tested range but the functional extrapolation beyond tested σ/q_* values would be unreliable.
- mediumEq. (9) — Replacement of a finite-width temporal correlator F(k,Δη) by F(k)δ(η−η′) with error summarized as O(τ_corr H*), while the text also notes the Green’s function varies on k^{-1} and that at k~β/v_w one has kτ_corr~1 (marginal). A mathematically precise bound on the induced spectral error at/near the peak is not derived.
If wrong: If the δ-approximation induces order-unity distortion near the peak, then Eq. (15)–(16) may fail in the most relevant frequency region and the claimed clean multiplicative imprinting could be significantly degraded.
- mediumEq. (9) and surrounding text in Sec. 3.2 — The delta-function replacement F(k, Δη) ≃ F(k)δ(η−η′) and the subsequent evaluation of G_k(η,η_2) at η_2=η_1 are sketched. The stated slow-variation condition is also problematic: if G varies on scale k^{-1}, then replacing it by its value at η_1 over a correlation width τ_corr requires k τ_corr ≪ 1, whereas the text says that for k ≫ β/v_w, k^{-1} ≪ τ_corr is automatic, which is the opposite inequality for pointwise slow variation.
If wrong: The claimed O(τ_corr H_*) controlled error bound for the delta-function route to factorization would fail. The exact algebraic factorization for strictly separable multiplicative C(k) UETCs would still survive, but the broader controlled-approximation theorem for non-ideal UETCs would be weakened.
- mediumEqs. (23)–(26) matched-filter scaling — Derivation of SNR_osc scaling assumes (a) complete log-periods in band and (b) effectively constant weighting so that ⟨cos^2⟩=1/2 over each bin, but does not address edge effects, varying σ(f), or correlation between baseline parameters and oscillatory template when Ω0 is not known exactly. Additionally, baseline SNR definitions drift (SNR_bin vs SNR_total).
If wrong: If weighting varies strongly with f or Ω0 uncertainty is included, the √N_periods enhancement and the numerical detectability contours could change; the claimed amplification may be overestimated.
- mediumSec 3.2, scale-separation/spectral non-contamination claim — Argument that linear-k oscillations of tilde-I cannot generate log-periodic contamination at period ln b is acknowledged as 'heuristic' and supported only by the separable numerical test, which is not the relevant case for non-separable contamination.
If wrong: If beat/window phenomena between linear-k and log-k features can couple, additional spurious log-periodic structure could be generated in P^0_h, contaminating the template's interpretation. Author flags this honestly.
- lowEq. (15) factorization error statement — The statement P_h = C(k) P_h^0 [1+O(τ_corr H*)] is presented as a theorem with quantified error, but the paper also states that for generic non-separable UETCs the estimate is not universal and needs model-specific analysis. The mapping between these regimes is not formalized.
If wrong: Readers may over-apply the percent-level bound to non-separable sources; conclusions about ‘universal’ imprinting strength could be overstated outside the separable class.
- lowEq. (18) — The adopted sound-wave baseline formula is stated without derivation. In addition, the dependence on H_*/β is written quadratically, whereas the commonly used sound-wave fit is often linear in H_*/β before additional lifetime-suppression factors. This may be a convention or modeling choice, but it is not justified within the paper.
If wrong: The numerical baseline amplitude and hence the plotted detectability contours could shift. This does not invalidate the log-periodic template itself, but it affects quantitative LISA reach estimates.
- lowEq. (32), Sec 5.2 — Transfer of the modulation from V(φ) to the gauge propagator D(q) uses a chain-rule argument δm²_V/m²_V = ε_f cos(...) but glosses over the dependence on the technidilaton scaling dimension Δ_φ. The author acknowledges Δ_φ ≈ 1 'O(1) not exactly unity' shifts the inherited b.
If wrong: Would rescale b relative to b_0 by an O(1) factor; does not change the qualitative conclusion.
- lowFig. 1 numerical validation — The figure caption/text reports maximum deviation at the numerical floor, but the plotted label appears as approximately 1.80e16 rather than 1.80e-16. This is likely a typesetting/sign error. More substantively, the validation only tests exactly separable UETCs, for which factorization is algebraic, and therefore does not validate the non-separable O(τ_corr H_*) corrections advertised in Table 1.
If wrong: The numerical test would not support the claimed robustness beyond separable kernels. The exact separable case is still mathematically straightforward, but the simulation should not be used as evidence for the general correction budget.
- lowSec 3.2, mass-gap boundary estimate — The phase-space scaling argument that the small |k−p| region contributes ~m_V/q_* relative to bulk is sketched dimensionally rather than computed via an explicit integral.
If wrong: Sets the ~10% mass-gap error in the WTC error budget; would only marginally shift the already-small c_geom.
The phenomenological backbone is mathematically credible under its stated ansatz: a multiplicative log-periodic factor in the UETC that depends only on k necessarily factors through the tensor power-spectrum integral and hence through Ω_GW. In that restricted sense, the log-periodic template Eq. (16) is internally well motivated. The matched-filter scaling is also reasonable as a leading approximation, although it should be presented with explicit assumptions about band weighting and incomplete periods.
The WTC inverse-problem layer is much weaker mathematically. The chain from a periodic warp factor to a technidilaton potential, from that potential to a gauge propagator modulation, and from the propagator to the suppressed observable amplitude is either sketched or numerically asserted without enough detail for independent reproduction. The central c_geom normalization is internally inconsistent by a factor of two. These issues do not refute the general DSI template, but they do prevent the quantitative WTC non-detectability conclusion from being considered rigorously established as written.
⚑Derivation Flags (24)
- highEq. (32) — The transfer from a periodic technidilaton potential modulation to a multiplicative gauge propagator modulation D(q)=D_0(q)[1+δ(q)] is highly compressed. For an ordinary propagator D(q)=1/(q^2+m_V^2), a modulation of m_V^2 would generally give a fractional propagator response proportional to −δm_V^2/(q^2+m_V^2), not a uniform multiplicative ε_f cos modulation. The effect of the technidilaton scaling dimension on the log-period is also only qualitatively mentioned.
If wrong: The propagator-level WTC modulation amplitude and period may not be those used in Secs. 5.3–5.4. If Eq. (32) is invalid, then the subsequent convolution analysis is not connected to the stated WTC microphysics, and the WTC detectability/non-detectability conclusion is unsupported.
- highEq. (38), Eq. (41), Fig. 5 definition of c_geom — The normalization of c_geom changes by a factor of two. Sec. 5.3 states ε = 2ε_f c_geom because two cross-terms contribute, and Fig. 5 defines c_geom = R_peak/(2ε_f). Sec. 5.4 then uses ε ∼ c_geom ε_f in Eq. (41).
If wrong: The quoted observable amplitude bound ε ≲ 4×10^-3 is off by a factor of two under the earlier definition. The qualitative non-detectability conclusion may remain, but the quantitative WTC amplitude mapping is internally inconsistent.
- highEq. (39) saddle-point formula for c_geom(σ/q*) — Closed-form exponential suppression for c_geom is stated without derivation and without specifying the exact integral (including TT projector choice) to which the saddle-point applies.
If wrong: The quantitative ‘rescue’ criterion σ/q*≲0.2 (and associated FWHM bounds) could shift materially; the inverse-problem target might be misestimated.
- highEqs. (33)–(38) convolution factorization and the definition of c_geom — The argument that δ(p)≈δ(k) over the support of D0(p) and that δ(|k−p|) gives only an O(m_V/q*) boundary correction is heuristic and scaling-based; it does not provide an explicit bound on the oscillatory cancellations nor a precise definition of c_geom in terms of the convolution integral used in numerics.
If wrong: If δ(|k−p|) contributes comparably in regions not captured by the scaling estimate, the magnitude and even sign of the effective modulation could differ; the claimed suppression |c_geom|≲0.02 might be an artifact of the chosen ansätze or approximations.
- highFig. 5 and Sec. 5.3 quantitative geometric requirement — The central numerical claim |c_geom| ≲ 0.02 is not reproducible from the text alone: the exact 3D integration domain, normalization, TT projector variants, treatment of the k-dependence, and extraction of c_geom are not fully specified.
If wrong: The main WTC conclusion that the observable log-periodic feature is below LISA detectability would fail or require substantial revision. This is a load-bearing numerical derivation gap.
- mediumEq. (13) and the step to Eq. (14) — Integration-by-parts bound on \tilde I(k,η) assumes differentiability/smoothness of a^4 S and vanishing boundary terms, then translates to |\tilde I|/I0 ≲ H*/k. The discussion admits S may have features varying on β^{-1}, weakening the bound to O(1), but no alternative bound is derived.
If wrong: If |\tilde I|/I0 is not small across the band of interest, the claim that the Green’s-function/time integration cannot generate log-periodic contamination at period ln b becomes unsupported; factorization accuracy becomes model-dependent.
- mediumEq. (13)–Eq. (15) — The integration-by-parts bound on the oscillatory Green-function term is plausible for smooth compact envelopes, but the conversion |I_tilde|/I_0 ≲ H_*/k ∼ τ_corr H_* mixes characteristic source-frame scales, comoving k, and redshift factors without a fully explicit convention. The later claim that linear-k oscillations cannot contaminate log-k periodicity is explicitly described as heuristic.
If wrong: The paper's stated per-cent-level correction estimate in Eq. (15) would not be generally established. The main multiplicative factorization remains exact only under the stronger separability/multiplicative ansatz, not under the broader smooth-envelope argument.
- mediumEq. (22)–Eq. (26) — The matched-filter scaling SNR_osc = (ε/√2) sqrt(N_periods) SNR_bin assumes complete log-periods and effectively constant or period-averaged baseline/noise weighting across periods. The derivation does not show how the result changes when Ω_GW^0(f)/σ(f) varies strongly over the band or when the number of periods is non-integer.
If wrong: The detectability contours in Figs. 3–4 could be quantitatively inaccurate. The qualitative ε-scaling remains plausible, but the sqrt(N_periods) enhancement is not generally established without specifying the weighting.
- mediumEq. (31) — The relation V_4(φ) ≈ V_CW(φ)[1 + 4δA_0 cos(2π ln(φ/φ_0)/ln b_0) + O(δA_0^2)] from a periodic warp-factor perturbation is asserted, with the paper explicitly saying it is not derived from a complete 5D action.
If wrong: The WTC parameter window ε_f ∈ [0.04,0.18], b_0 ∈ [1.7,2.8] would lose its stated holographic support. The phenomenological DSI template would remain valid, but the WTC UV-completion mapping would be speculative.
- mediumEq. (31), Sec 5.2 — Linear-order map from a periodic warp-factor perturbation δA_0 sin(n_p k y) to the 4D potential modulation V_CW[1 + 4 δA_0 cos(2π ln(φ/φ_0)/ln b_0)] is stated by reference to [17] without explicit derivation. The factor of 4 and the identification ln b_0 = kL/n_p are not derived in the text.
If wrong: If the prefactor or log-periodicity identification is off, the WTC parameter window ε_f∈[0.04,0.18], b_0∈[1.7,2.8] (Eq. 40) shifts by O(1) factors. This affects the WTC inverse-problem framing but not the phenomenological backbone (Sec 3-4).
- mediumEq. (32) (V(φ) modulation → propagator modulation δ(q)) — The chain-rule argument mapping a periodic modulation in the technidilaton potential to a multiplicative modulation of the gauge propagator is sketched without an explicit functional dependence D(q; m_V(φ(q))) and without showing that δm_V^2/m_V^2 inherits the same cosine with unit coefficient (up to Δ_φ).
If wrong: If the propagator modulation is not multiplicative or the mapping introduces phase shifts/harmonics/suppression, then the predicted ε_f window would not translate into the assumed δ(q), undermining the WTC parameter mapping.
- mediumEq. (35)–Eq. (38) — The convolution factorization initially assumes D_0(p) is sharply peaked with relative width Δp/p ∼ τ_corr H_* ≪ 1, allowing δ(p) ≈ δ(k). Later, the paper finds that realistic sound-shell support has σ/q_* ≈ 0.6 and washes out the modulation. The conditional narrow-support derivation and the later broad-support result are not cleanly reconciled in Eq. (38), which still presents a multiplicative UETC modulation with ε ∼ ε_f up to c_geom.
If wrong: The derivation of Eq. (38) cannot be used as a general WTC transfer formula. The observable amplitude must instead be obtained from the full convolution, and the intermediate claim of approximate factorization at the UETC level becomes model-dependent.
- mediumEq. (39) — The saddle-point expression c_geom(σ/q_*) ≈ exp[-2π^2(σ/q_*)^2/ln^2 b_0] is stated without showing the saddle point, the precise angular measure, normalization of c_geom, or the assumptions under which the Gaussian damping formula follows.
If wrong: The inferred rescue condition σ/q_* ≲ 0.2 and FWHM/q_* ≲ 0.5 may be quantitatively wrong. This would weaken the inverse-problem conclusion identifying the required spectral narrowness.
- mediumEq. (39) and surrounding text — Saddle-point expansion of the angular integral giving c_geom ≈ exp[...] is stated without derivation; no steps or assumptions are provided. The formula underpins the analytic condition for detectability.
If wrong: The quantitative threshold σ/q_* ≲ 0.2 for recoverable modulation could be misestimated, and the analytic explanation of the geometric suppression would be unsupported, though the numerical results in Fig. 5a independently show small c_geom for realistic widths.
- mediumEq. (39), Sec 5.3 — Closed-form saddle-point expression for c_geom(σ/q_*) is stated without showing the saddle-point derivation; only numerical agreement is provided.
If wrong: If the analytic form is incorrect, the extrapolated narrowness requirement σ/q_* ≲ 0.2 (the central 'inverse problem' result of Conclusion 5) would still be supported by the numerical data in the tested range but the functional extrapolation beyond tested σ/q_* values would be unreliable.
- mediumEq. (9) — Replacement of a finite-width temporal correlator F(k,Δη) by F(k)δ(η−η′) with error summarized as O(τ_corr H*), while the text also notes the Green’s function varies on k^{-1} and that at k~β/v_w one has kτ_corr~1 (marginal). A mathematically precise bound on the induced spectral error at/near the peak is not derived.
If wrong: If the δ-approximation induces order-unity distortion near the peak, then Eq. (15)–(16) may fail in the most relevant frequency region and the claimed clean multiplicative imprinting could be significantly degraded.
- mediumEq. (9) and surrounding text in Sec. 3.2 — The delta-function replacement F(k, Δη) ≃ F(k)δ(η−η′) and the subsequent evaluation of G_k(η,η_2) at η_2=η_1 are sketched. The stated slow-variation condition is also problematic: if G varies on scale k^{-1}, then replacing it by its value at η_1 over a correlation width τ_corr requires k τ_corr ≪ 1, whereas the text says that for k ≫ β/v_w, k^{-1} ≪ τ_corr is automatic, which is the opposite inequality for pointwise slow variation.
If wrong: The claimed O(τ_corr H_*) controlled error bound for the delta-function route to factorization would fail. The exact algebraic factorization for strictly separable multiplicative C(k) UETCs would still survive, but the broader controlled-approximation theorem for non-ideal UETCs would be weakened.
- mediumEqs. (23)–(26) matched-filter scaling — Derivation of SNR_osc scaling assumes (a) complete log-periods in band and (b) effectively constant weighting so that ⟨cos^2⟩=1/2 over each bin, but does not address edge effects, varying σ(f), or correlation between baseline parameters and oscillatory template when Ω0 is not known exactly. Additionally, baseline SNR definitions drift (SNR_bin vs SNR_total).
If wrong: If weighting varies strongly with f or Ω0 uncertainty is included, the √N_periods enhancement and the numerical detectability contours could change; the claimed amplification may be overestimated.
- mediumSec 3.2, scale-separation/spectral non-contamination claim — Argument that linear-k oscillations of tilde-I cannot generate log-periodic contamination at period ln b is acknowledged as 'heuristic' and supported only by the separable numerical test, which is not the relevant case for non-separable contamination.
If wrong: If beat/window phenomena between linear-k and log-k features can couple, additional spurious log-periodic structure could be generated in P^0_h, contaminating the template's interpretation. Author flags this honestly.
- lowEq. (15) factorization error statement — The statement P_h = C(k) P_h^0 [1+O(τ_corr H*)] is presented as a theorem with quantified error, but the paper also states that for generic non-separable UETCs the estimate is not universal and needs model-specific analysis. The mapping between these regimes is not formalized.
If wrong: Readers may over-apply the percent-level bound to non-separable sources; conclusions about ‘universal’ imprinting strength could be overstated outside the separable class.
- lowEq. (18) — The adopted sound-wave baseline formula is stated without derivation. In addition, the dependence on H_*/β is written quadratically, whereas the commonly used sound-wave fit is often linear in H_*/β before additional lifetime-suppression factors. This may be a convention or modeling choice, but it is not justified within the paper.
If wrong: The numerical baseline amplitude and hence the plotted detectability contours could shift. This does not invalidate the log-periodic template itself, but it affects quantitative LISA reach estimates.
- lowEq. (32), Sec 5.2 — Transfer of the modulation from V(φ) to the gauge propagator D(q) uses a chain-rule argument δm²_V/m²_V = ε_f cos(...) but glosses over the dependence on the technidilaton scaling dimension Δ_φ. The author acknowledges Δ_φ ≈ 1 'O(1) not exactly unity' shifts the inherited b.
If wrong: Would rescale b relative to b_0 by an O(1) factor; does not change the qualitative conclusion.
- lowFig. 1 numerical validation — The figure caption/text reports maximum deviation at the numerical floor, but the plotted label appears as approximately 1.80e16 rather than 1.80e-16. This is likely a typesetting/sign error. More substantively, the validation only tests exactly separable UETCs, for which factorization is algebraic, and therefore does not validate the non-separable O(τ_corr H_*) corrections advertised in Table 1.
If wrong: The numerical test would not support the claimed robustness beyond separable kernels. The exact separable case is still mathematically straightforward, but the simulation should not be used as evidence for the general correction budget.
- lowSec 3.2, mass-gap boundary estimate — The phase-space scaling argument that the small |k−p| region contributes ~m_V/q_* relative to bulk is sketched dimensionally rather than computed via an explicit integral.
If wrong: Sets the ~10% mass-gap error in the WTC error budget; would only marginally shift the already-small c_geom.
This paper presents a well-structured theoretical analysis of discrete scale invariance signatures in the stochastic gravitational-wave background. The phenomenological core is rigorously developed with controlled approximations, explicit error bounds, and numerical validation. The factorization theorem showing DSI transfer from source to observable spectrum is the key technical achievement, properly derived with O(τ_corr H_*) corrections quantified. The WTC application provides a concrete realization while appropriately acknowledging where the construction relies on plausible but not first-principles arguments. The work successfully addresses its stated goals of developing the phenomenological template and evaluating a specific UV completion, with the negative detectability result for WTC properly supported by explicit numerical calculations of geometric suppression factors.
This paper is fairly complete as a phenomenological paper. It succeeds in presenting a coherent argument that a log-periodic modulation in a DSI source UETC can propagate multiplicatively into the SGWB spectrum, and it gives an explicit observational template plus matched-filter scaling. The author also does a good job of stating assumptions and limitations rather than burying them. On completeness grounds, that matters: the reader can tell which results are exact within separability, which are controlled approximations, and which are candidate-model motivations.
The main caveat is that the WTC embedding is not complete in a first-principles sense. The paper itself concedes this, and that honesty helps, but it still means the UV realization is better viewed as an informed plausibility construction than a fully supported derivation. Still, because the paper's final claim is not that WTC definitely produces an observable signal, but rather that in the realizations examined the signal is suppressed and likely undetectable, the support is adequate for its stated scope. Overall, the submission is solidly developed but not fully exhaustive in its microphysical support structure.
This paper is an unusually well‑structured and self‑aware work. The core phenomenological results — the factorization theorem and the matched‑filter detectability — are derived with clear steps, explicit error bounds, and a numerical figure that eliminates doubt about the algebraic origin of the modulation transfer. Every approximation is catalogued, and the paper makes it easy to see where a future microphysical calculation would need to land. The application to walking technicolor is handled with appropriate caution: the parameter window is motivated rather than rigorously deduced, and the geometric suppression factor is computed concretely, leading to a crisp ‘not detectable’ verdict under the assumptions tested. The only gaps are the partially sketchy convolution analysis for the sound‑shell and TT‑projected cases, which rely on numerical evaluation rather than a full analytic bounding of all model‑dependent contributions. Overall, the work is complete within its stated goals and sets a strong foundation for follow‑up studies.
This is a scientifically worthwhile submission with a clear phenomenological contribution: it proposes a specific log-periodic SGWB template tied to discrete scale invariance in the source correlator, and it explains how such a signal would be searched for in practice. The most valuable aspect is not the particular walking-technicolor realization, but the combination of a reusable spectral template, an explicit detectability scaling, and a source-to-observable narrative that can be tested against future data. The paper is also refreshingly explicit that its UV completion is a candidate realization rather than an established derivation.
The main scientific caution is that the strongest theorem-like language applies most cleanly to separable UETCs, while broader applicability is supported by approximations and plausibility arguments rather than a uniformly strong derivation. On communication, the manuscript is organized and often self-aware, but symbol reuse and dense caveating reduce accessibility. Overall, the work is novel and testable enough to merit attention, especially as a phenomenological search framework, with the WTC section serving more as a quantified case study than as a definitive microphysical prediction.
This is an unusually disciplined and honest paper. The author develops a clean phenomenological template for log-periodic DSI signatures in the SGWB, proves a factorization theorem under explicit and quantified approximations, validates it numerically, derives the matched-filter detectability scaling, and then applies the framework to walking technicolor — only to discover that the convolution geometry suppresses the observable modulation by ~2 orders of magnitude below LISA's threshold. Rather than obscuring this negative result, the author reframes it as a sharp microphysical inverse problem (what propagator structure delivers σ/q_* ≲ 0.2?) and identifies specific candidate mechanisms for future work. The methodological transparency — Table 1 quantifying approximation errors, Table 2 demarcating epistemic status of each claim, Fig. 1 numerically validating factorization with the full kernel rather than the δ-function limit, Fig. 5 providing both numerical and saddle-point analytic forms — is exemplary.
The phenomenological template is testable in principle by LISA matched-filter analyses and the framework is model-independent (extending naturally to clockwork, Randall-Sundrum, and other DSI-bearing UV completions). The novelty lies in the concrete bridge from DSI source physics to SGWB observables and in the inverse-problem framing of the c_geom suppression. Principal weaknesses are: (i) severe text/equation rendering degradation in the submitted form that impedes readability; (ii) the WTC holographic chain involves several conjectural steps that, while properly flagged, leave the propagator-level parameter window as an order-of-magnitude estimate rather than a derived prediction; and (iii) the matched-filter SNR scaling does not account for trials factor across the (b, φ₀) search space. The work would benefit from clean typesetting and a brief discussion of look-elsewhere effects, but the scientific reasoning and intellectual honesty are of high quality.
Observable SGWB energy-density spectrum with a multiplicative log-periodic modulation: the primary phenomenological template for searches (Eq. (16)).
Matched-filter detectability scaling for the oscillatory component: oscillation SNR scales with amplitude ε, baseline per-log-period SNR, and the square root of the number of log-periods in-band (Eqs. (23)-(26)).
Factorization theorem: under the short-correlation-time (separability) approximation the DSI modulation C(k) factors multiplicatively from the source into the tensor power spectrum (Eq. (15)).
A multiplicative log-periodic modulation in the source UETC with amplitude ε and scale ratio b imprints a log-periodic sinusoidal modulation in ln f on the observable SGWB: \Omega_{GW}(f)=\Omega^0_{GW}(f)[1+\epsilon\cos(2\pi\ln(f/f_*)/\ln b+\phi_0)].
Falsifiable if: Observation by a GW detector (e.g. LISA) of a statistically significant log-periodic modulation in the SGWB with period and phase inconsistent with a multiplicative transfer from the UETC (e.g. modulation that is additive, strongly frequency-dependent in amplitude contrary to multiplicative factorization, or whose period does not match a single ln b across the band) would falsify the claim.
Matched-filter SNR for the oscillatory component follows SNR_osc ≃ (ε/√2) SNR_baseline √N_periods, so coherent log-periodic structure spanning N_periods increases detectability relative to a single-bin search.
Falsifiable if: If matched-filter searches on simulated or real SGWB data with injected log-periodic signals systematically yield SNR scaling that significantly deviates from the predicted √N_periods enhancement (beyond expected modeling/systematic uncertainties), the scaling claim would be falsified.
In the holographically motivated walking-technicolor realization, the propagator-level modulation parameters lie in the window ε_f ∈ [0.04,0.18], b ∈ [1.7,2.8], but the observable amplitude is ε ≃ c_geom ε_f with |c_geom| ≲ 0.02 for standard FOPT propagator structures, implying the WTC log-periodic feature is ≲ O(10^{-3}) and not LISA-detectable absent additional narrowing mechanisms.
Falsifiable if: Detection by LISA (or other SGWB measurement) of a log-periodic modulation with amplitude ε_obs ≳ 5×10^{-3} and b within the WTC-predicted range [1.7,2.8], at matched-filter significance above the stated detection threshold (e.g. equivalent to the paper's LISA 5σ criterion), or a microphysical calculation demonstrating c_geom ≳ 0.1 for realistic WTC finite-T propagators, would falsify the non-detectability claim.
To recover an observable geometric factor c_geom ≳ 0.1 (so that ε is not suppressed by two decades), the propagator must be spectrally narrow with relative width σ/q_* ≲ 0.2 (FWHM/q_* ≲ 0.5).
Falsifiable if: Explicit microphysical calculations of the finite-temperature WTC propagator showing a typical spectral width σ/q_* ≲ 0.2 (or observational evidence for a narrow-band feature at the relevant scale) would confirm rather than falsify; conversely, robust calculations or measurements that demonstrate σ/q_* ≳ 0.5 generically would falsify the possibility that standard WTC dynamics achieve c_geom ≳ 0.1 without extra mechanisms.
Share this Review
Post your AI review credential to social media, or copy the link to share anywhere.
theoryofeverything.ai/review-profile/paper/d1380e85-5976-4fa0-8df1-6585bb5dbfe1Embed a live badge
Paste into a GitHub README, preprint page, or personal site. It reads the current review, so it updates on its own if the score changes or the work is withdrawn.
[](https://theoryofeverything.ai/review-profile/paper/d1380e85-5976-4fa0-8df1-6585bb5dbfe1?utm_source=toeshare_badge)How to use it: Markdown goes in a GitHub README or any Markdown page. HTML goes in your own web page, wherever you want the badge to appear. Both show the live badge and link back to this review profile.
Zenodo descriptions strip images; there, link the text TOE-Share 3.0 / 5 to your review profile instead. Show us you shared your work on social media — tag @TOE_Share in your post, or reply to our newsletter with the link. Either works — we’ll add one free review credit to your account.
Share by Email
Email clients cannot render the full review profile page. We send a branded HTML summary plus a link to the live credential.
Sign in as the submission owner to send a branded HTML email from TOE-Share. Anyone can still copy the text or open their email app.
This review was conducted by TOE-Share's multi-agent AI specialist pipeline. Each dimension is independently evaluated by specialist agents (Math/Logic, Sources/Evidence, Science/Novelty), then synthesized by a coordinator agent. This methodology is aligned with the multi-model AI feedback approach validated in Thakkar et al., Nature Machine Intelligence 2026.
TOE-Share — theoryofeverything.ai