Beyond Murray's Law: Non-Universal Branching Exponents from Vessel-Wall Metabolic Costs

Murray's cubic branching law ($\alpha=3$) predicts a universal diameter scaling exponent for all hierarchical transport networks, yet arterial trees consistently yield $\alpha \sim 2.7$–$2.9$. We show that this discrepancy has a structural origin: Murray's universality is an artifact of his cost function's homogeneity, not a property of biological networks. Incorporating the empirical vessel-wall thickness law $h(r)=c_0 r^p$ ($p \approx 0.77$ across mammalian species) introduces a third metabolic cost term $\propto r^{1+p}$ that renders the cost function inhomogeneous with incommensurate scaling exponents. By Cauchy's functional equation, homogeneity is both necessary and sufficient for a universal branching exponent to exist; its absence rigorously implies non-universality, and Murray's cubic law is thereby identified as a singular degeneracy of the cost-function family rather than a general biological principle. We prove that the resulting scale-dependent exponent satisfies the strict bounds $(5+p)/2 < \alpha^*(Q) < 3$ independently of flow asymmetry (Theorem 4, Corollary 5), and that Murray's law is the unique member of this cost-function family admitting a universal exponent (Corollary 6). The static wall-tissue mechanism rigorously bounds the symmetric bifurcation exponent to $\alpha_t \in [2.90, 2.94]$ from independently measured parameters, representing a first-order symmetry breaking from Murray's law that narrows the empirical gap by one-third. The remaining discrepancy with the cardiovascular mean ($\alpha_{\mathrm{exp}} \approx 2.70$) is not a model failure but a mathematical necessity that signals the independent contribution of pulsatile wave dynamics, necessitating a unified variational treatment. Additionally, the wall cost strictly breaks Murray's topological degeneracy, bounding the optimal branching number to small finite integers and excluding star-like topologies; binary bifurcation emerges as the physiologically selected minimum under steric constraints (Theorem 12).